fxSolver

fxSolver

在线数学求解器，方程式编辑器和数据库，图形计算器和科学/工程问题帮助器。
  • 免费应用
  • Web
在线数学求解器，方程式库，图形计算器和科学/工程问题帮助器。一次计算多个方程式，编辑现有公式并创建新公式，计算大量值，绘制图表，链接结果，解决所有问题并与朋友共享工作表。fxSolver是由一组工程师和程序员开发的免费工具，其唯一目的是提供独特，有用和免费的服务。开发团队的愿景是让学生，工程师和业余爱好者接触数学，并能够解决问题，而不必熟悉专业的数学软件或编程语言。
fxsolver

网站:

特征

分类目录

OCaml版fxSolver的替代品

z3

z3

Z3是Microsoft Research的一个定理证明者。