具有任何许可的所有平台的z3替代品

• 所有平台
  所有平台 Windows Mac Linux Android iPhone iPad Web BSD
• 任何牌照
  任何牌照 免费许可证 开源许可证 商业牌照

180

MATLAB

企业级计算环境和用于数字计算的编程语言。

• 付费应用
• Windows
• Mac
• Linux
• Android
• iPhone
• iPad
• Web

172

GNU Octave

Octave是用于执行数值计算的计算机程序，该程序与MATLAB最兼容。它是GNU项目的一部分。

• 免费应用
• Windows
• Mac
• Linux
• BSD

165

R (programming language)

R是用于统计计算和图形的免费软件环境。

• 免费应用
• Windows
• Mac
• Linux
• BSD

140

Mathematica

权威的技术计算系统，涵盖了机器学习和神经网络，数据科学，可视化等等。

• 付费应用
• Web
• Windows
• Mac
• Linux

41

fxSolver

在线数学求解器，方程式编辑器和数据库，图形计算器和科学/工程问题帮助器。

• 免费应用
• Web

8

Cymath

输入您的数学问题，然后让Cymath一步一步为您解决！对于高中学生，Cymath涵盖了代数的主题，例如：-方程求解-分解

• 免费应用

0

Solve My Math

一百多个即时甚至逐步的数学求解器和计算器，可帮助您快速在线获得数学帮助，旨在帮助您解决数学问题并理解其背后的概念！

• 免费应用
• Web