公理は、汎用のコンピューター代数システムです。数学的アルゴリズムの研究開発に役立ちます。強く型付けされた、数学的に正しい型階層を定義します。プログラミング言語と組み込みコンパイラがあります。
            
            ウェブサイト:
http://www.axiom-developer.org/カテゴリー
LinuxのAxiomの代替
172
                GNU Octave
Octaveは数値計算を実行するためのコンピュータープログラムで、MATLABとほとんど互換性があります。これはGNUプロジェクトの一部です。
                    
                  165
                140
                132
                87
                49
                48
                42
                39
                6
                Mathomatic
Mathomaticは、代数方程式を自動的に解決、微分、単純化、結合、および比較できる、無料のポータブルな汎用コンピューター代数システム(CAS)です...
                    
                  

