Axiom

Axiom

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

ウェブサイト:

カテゴリー

商用ライセンスを使用するLinuxのAxiomの代替

MATLAB

MATLAB

数値計算用のエンタープライズクラスのコンピューティング環境とプログラミング言語。
Mathematica

Mathematica

機械学習とニューラルネットワーク、データサイエンス、視覚化などにまたがる決定的なテクニカルコンピューティングシステム。
Maple

Maple

Mapleは、汎用の商用コンピューター代数システムです。ユーザーは、従来の数学表記で数学を入力できます。カスタムユーザーインターフェイスも作成できます。