Magnus (computer algebra system)


Magnus was a computer algebra system designed to solve problems in group theory. It was designed to runs on Unix-like operating systems, as well as Windows. The development process was started in 1994 and the first public release appeared in 1997. The project was abandoned in August 2005. The unique feature of Magnus was that it provided facilities for doing calculations in and about infinite groups. Almost all symbolic algebra systems are oriented toward finite computations that are guaranteed to produce answers, given enough time and resources. By contrast, Magnus was concerned with experiments and computations on infinite groups which in some cases are known to terminate, while in others are known to be generally recursively unsolvable.

Features of Magnus