
41
Mac版fxSolver的替代品

18
MathType
使用MathType键入并手写数学符号。轻松地在文档和数字内容中包括质量数学方程式。

8
Mathpix Snip
Mathpix是第一个可让您通过拍照来解决数学问题的应用程序。只需拍摄一张照片即可获得准确的绘图和解决方案。

7

7
MathStudio
MathStudio(以前为SpaceTime)是可用于移动设备的最全面的数学应用程序。

3
Mathpix Snip
拍摄数学屏幕快照,然后将LaTeX粘贴到编辑器中,只需一个键盘快捷键即可。

2
WIRIS editor
WIRIS编辑器是一种可视化编辑器(WYSIWYG),可以在网页中插入数学公式。

2

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