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的一个定理证明者。