Axiom

Axiom

公理は、汎用のコンピューター代数システムです。数学的アルゴリズムの研究開発に役立ちます。
公理は、汎用のコンピューター代数システムです。数学的アルゴリズムの研究開発に役立ちます。強く型付けされた、数学的に正しい型階層を定義します。プログラミング言語と組み込みコンパイラがあります。
axiom

ウェブサイト:

カテゴリー

ライセンスのあるすべてのプラットフォームでのAxiomの代替

Yacas

Yacas

さらに別の（汎用）コンピューター代数システム。任意の精度の数値計算、記号計算、および視覚化がサポートされています。
Xcos
GAP
GiNaC
Function Analyzer

Function Analyzer

関数のグラフを参照してください。