매그너스는 그룹 이론의 문제를 해결하기 위해 고안된 컴퓨터 대수 체계였다.Windows뿐만 아니라 Unix와 유사한 운영 체제에서도 실행되도록 설계되었습니다.개발 과정은 1994년에 시작되었고 1997년에 처음으로 공개되었다.이 프로젝트는 2005년 8월에 포기되었다.Magnus의 독특한 특징은 무한대 그룹에서 계산을 수행할 수 있는 기능을 제공한다는 것입니다.거의 모든 기호 대수 시스템은 충분한 시간과 자원이 주어진다면 해답을 도출할 수 있는 유한한 계산을 지향한다.반대로, 마그누스는 어떤 경우에는 종료되는 것으로 알려진 무한 그룹에 대한 실험과 계산에 관심이 있었고, 다른 경우에는 일반적으로 재귀적으로 해결할 수 없는 것으로 알려져 있었다.
Magnus의 특징
- 사용하기 쉽고 직관적이며 기본 C++ 클래스를 자연스럽게 반영하는 그래피컬 객체 및 메서드 기반 사용자 인터페이스
- 사용자 인터페이스 또는 프런트엔드와 계산이 실행되는 백엔드 간에 통신하는 "세션 매니저"와 여러 알고리즘을 수반할 수 있는 계산을 지시하는 "컴퓨팅 매니저" 및 정보가 저장되는 "정보 센터"로 구성된 커널.
- 여러 절차를 병렬로 수행하고 동일한 문제에 대해 작업하는 여러 동시 알고리즘 각각에 자원을 할당하는 설비
- 유한 및 무한 대수 객체에 대해 상당한 양의 유한 근사치를 생성하고 일반 알고리즘이 존재하지 않는 경우에도 해답 검색을 수행할 수 있도록 하는 열거자
- 혁신적인 유전자 알고리즘
- 다른 사용자가 작성한 보다 특별한 목적의 알고리즘을 "플러그인"하는 패키지 매니저.
