
41
Linux版fxSolver的替代品

27

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

7

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

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

0