Axiom

Axiom

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

ウェブサイト:

カテゴリー

Windows Phone用のAxiomの代替ライセンス(無料ライセンス付き)

Wolfram Alpha

Wolfram Alpha

Wolfram Alphaは「計算知識エンジン」です。検索エンジンとは異なり、構造化データから答えを計算することにより、事実に基づくクエリーに直接答えます...