MATLAB

MATLAB

数値計算用のエンタープライズクラスのコンピューティング環境とプログラミング言語。
MATLABは、数値計算環境およびプログラミング言語です。MathWorksが管理するMATLABは、簡単なマトリックス操作、関数とデータのプロット、アルゴリズムの実装、ユーザーインターフェイスの作成、他の言語のプログラムとのインターフェイスを可能にします。オプションのツールボックスは数値のみですが、MuPADシンボリックエンジンを使用して、コンピューター代数機能にアクセスできます。追加のパッケージSimulinkは、動的な組み込みシステム向けのグラフィカルなマルチドメインシミュレーションとモデルベースデザインを追加します。
matlab

ウェブサイト:

特徴

カテゴリー

C++のMATLABの代替

z3

z3

Z3は、Microsoft Researchの定理証明者です。