公理は、汎用のコンピューター代数システムです。数学的アルゴリズムの研究開発に役立ちます。強く型付けされた、数学的に正しい型階層を定義します。プログラミング言語と組み込みコンパイラがあります。
axiom
ウェブサイト:
http://www.axiom-developer.org/カテゴリー
MacのAxiomの代替
![GNU Octave](https://i.altapps.net/icons/gnu-octave-ab83d.png)
172
GNU Octave
Octaveは数値計算を実行するためのコンピュータープログラムで、MATLABとほとんど互換性があります。これはGNUプロジェクトの一部です。
![R (programming language)](https://i.altapps.net/icons/r-project-1ce0e.png)
165
![Mathematica](https://i.altapps.net/icons/mathematica-d7a92.png)
140
![Sage](https://i.altapps.net/icons/sage-1029e.png)
132
![Scilab](https://i.altapps.net/icons/scilab-555ac.png)
87
![wxMaxima](https://i.altapps.net/icons/wxmaxima-7a7e6.png)
49
![Spyder](https://i.altapps.net/icons/spyder-feb6b.png)
48
![Julia](https://i.altapps.net/icons/julia-21b7f.png)
42
![Maple](https://i.altapps.net/icons/maple-4fef1.png)
39
![Mathomatic](https://i.altapps.net/icons/mathomatic-850fa.png)
6
Mathomatic
Mathomaticは、代数方程式を自動的に解決、微分、単純化、結合、および比較できる、無料のポータブルな汎用コンピューター代数システム(CAS)です...