MATLAB

MATLAB

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

PythonのMATLABの代替

SciPy & Numpy

SciPy & Numpy

SciPy(「Sigh Pie」と発音)は、数学、科学、工学用のオープンソースソフトウェアです。
Matplotlib

Matplotlib

matplotlibはpython 2Dプロットライブラリであり、さまざまなハードコピー形式とプラットフォーム間のインタラクティブ環境で出版品質の数値を生成します。
z3

z3

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