Magnus (computer algebra system) とは

Magnusは、グループ理論の問題を解決するために設計されたコンピュータ代数システムでした。これは、UnixライクなオペレーティングシステムとWindows上で動作するように設計されています。開発プロセスは1994年に開始され、1997年に初めて公開されました。このプロジェクトは2005年8月に中止されました。Magnusのユニークな特徴は、無限のグループについて計算を行うための設備を提供したことでした。ほぼすべての記号代数システムは、十分な時間とリソースがあれば、答えを出すことが保証された有限の計算に向けられています。対照的に、マグヌスは無限群の実験と計算に関係していたが、場合によっては終了することが知られているが、他は一般的に再帰的に解けることが知られている。