MATLABは、数値計算環境およびプログラミング言語です。MathWorksが管理するMATLABは、簡単なマトリックス操作、関数とデータのプロット、アルゴリズムの実装、ユーザーインターフェイスの作成、他の言語のプログラムとのインターフェイスを可能にします。オプションのツールボックスは数値のみですが、MuPADシンボリックエンジンを使用して、コンピューター代数機能にアクセスできます。追加のパッケージSimulinkは、動的な組み込みシステム向けのグラフィカルなマルチドメインシミュレーションとモデルベースデザインを追加します。
LinuxのMATLABの代替
9
9
Mirai Math
GNU Octaveのグラフィカルフロントエンド。数式のネイティブな数学表記を編集します。Linux x586 / x86_64、WinXP、Vista、およびMacOSで利用可能/テスト済み。
8
jasymca
Jasymcaは、数学の問題を解決するためのインタラクティブなシステムです。任意精度の数値とシンボリック変数をサポートしています。
8
Yakindu Statechart Tools
無料で使用できるオープンソースツールキットYAKINDU Statechart Tools（SCT）は、リアクティブなイベント駆動型の仕様と開発のための統合モデリング環境を提供します。
6
Mathomatic
Mathomaticは、代数方程式を自動的に解決、微分、単純化、結合、および比較できる、無料のポータブルな汎用コンピューター代数システム（CAS）です...
6
5
4
4
2
z3
Z3は、Microsoft Researchの定理証明者です。
