在线数学求解器、方程编辑器与数据库、图形计算器及科学/工程问题助手。

提供 142 个替代方案

您可以在文档中直接输入文本和数学内容，无需了解编程语言或切换到公式编辑器。无需掌握复杂的语法，即可对函数进行求值、化简、求解和绘图。

提供 20 个替代方案

Isabelle 是一个用于通过计算机编写和检查数学证明的证明助手。

F* 是一种类似 ML 的函数式编程语言，旨在实现程序验证。F* 可以表达程序的精确规范，包括功能正确性性质。用 F* 编写的程序可被转换为 OCaml 或 F# 以供执行。

提供 6 个替代方案

您已经使用电子表格来跟踪所有事项。现在，您可以直接从电子表格数据中，通过公式而非代码，自动化任务并创建自定义工作流。

提供 6 个替代方案

FormulaShapes 是一个交互式网络平台，旨在帮助学生、教师和数学爱好者探索几何图形及其公式。用户可从众多二维和三维图形中进行选择，包括三角形、圆形、圆柱体、立方体、棱锥等……