fxSolver

fxSolver

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

OCaml版fxSolver的替代品

z3

z3

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