![z3](https://i.altapps.net/icons/z3-1bd05.png)
2
z3
Z3は、Microsoft Researchの定理証明者です。
ライセンスのあるすべてのプラットフォームでのz3の代替
![GNU Octave](https://i.altapps.net/icons/gnu-octave-ab83d.png)
172
GNU Octave
Octaveは数値計算を実行するためのコンピュータープログラムで、MATLABとほとんど互換性があります。これはGNUプロジェクトの一部です。
![R (programming language)](https://i.altapps.net/icons/r-project-1ce0e.png)
165
![Mathematica](https://i.altapps.net/icons/mathematica-d7a92.png)
140
![Cymath](https://i.altapps.net/icons/cymath-aaca8.png)
8
![Solve My Math](https://i.altapps.net/icons/solve-my-math-46fb6.png)
0
Solve My Math
数学の問題を解決し、その背後にある概念を理解できるように設計された100を超えるインスタントおよびステップバイステップの数学ソルバーと計算機で、数学のヘルプを高速かつオンラインで入手できます!
- 無料アプリ
- Web