z3

z3

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

ウェブサイト:

特徴

カテゴリー

Windowsのz3の代替

MATLAB

MATLAB

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

GNU Octave

Octaveは数値計算を実行するためのコンピュータープログラムで、MATLABとほとんど互換性があります。これはGNUプロジェクトの一部です。
R (programming language)

R (programming language)

Rは、統計計算とグラフィックスのためのフリーソフトウェア環境です。
Mathematica

Mathematica

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