GNU Octave

GNU Octave

Octaveは数値計算を実行するためのコンピュータープログラムで、MATLABとほとんど互換性があります。これはGNUプロジェクトの一部です。
オクターブは数値計算を実行するためのコンピュータプログラムで、ほとんど互換性があります。これはGNUプロジェクトの一部です。GNU General Public Licenseの条件の下でのフリーソフトウェアです。GNU Octaveは、主に数値計算を目的とした高レベルのインタープリター言語です。線形および非線形問題の数値解法、および他の数値実験を実行する機能を提供します。また、データの視覚化と操作のための広範なグラフィック機能も提供します。Octaveインタープリターは、コンソールとしてGUIモード(バージョン4.0.0の新機能)で実行するか、シェルスクリプトの一部として呼び出すことができます。Octaveは通常、対話型インターフェイスを介して使用されますが、非対話型プログラムを作成するためにも使用できます。
gnu-octave

カテゴリー

WebAssemblyのGNU Octaveの代替

z3

z3

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