一个可信的、工业级的交互式定理证明器及依赖类型编程语言，用于数学、计算机科学等领域的机械化推理。

提供 4 个替代方案

Reanimate 致力于提供一种开箱即用的动画和插图创作方式。它基于两个核心理念：（1）图形（包括静态和动态图形）应以代码形式表达；（2）响应式编程是处理随时间变化的数据动画的最佳范式。

提供 2 个替代方案

Tux, of Math Command，又称 TuxMath，让孩子们在抵御来袭彗星保护企鹅的过程中磨练算术技能，或利用自身的因式分解能力安全穿越小行星带！

提供 13 个替代方案

一款支持用户自定义变量和函数、类似数学的语法，以及导数和积分（估算）等一些高级运算和复数的计算器，具备语法高亮功能。

提供 34 个替代方案

Reinteract 是一个用于 Python 交互式实验的系统。Reinteract 工作表包含 Python 代码及其结果，结果以文本或图形化图表的形式展示。您可以返回并编辑之前输入的语句，结果将随之更新。

提供 38 个替代方案

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

绘制二维、三维和四维的显式、隐式或参数函数图像。绘制不等式、等高线图、密度图和向量场。使用直角坐标、极坐标、柱坐标或球坐标。数值、图形或符号求解方程。

提供 9 个替代方案

Smartclip 是一款功能丰富的工具，旨在通过用户友好的界面快速访问各种实用功能，从而简化工作流程。与 Apple 的 Spotlight、Celebro 和 Albert 等流行应用启动器类似，Smartclip 超越了基本的搜索功能……

提供 4 个替代方案

Penrose 是一个平台，用户只需在纯文本中输入数学符号，即可创建精美的图表。其目标是让非专业人士也能轻松创建和探索高质量的图表，从而更深入地理解复杂的技術概念。

提供 55 个替代方案

Agda 是一种依赖类型函数式编程语言。它具有归纳族，即依赖于值的数据类型，例如指定长度的向量类型。它还支持参数化模块、混合运算符、Unicode 字符以及交互式 Emacs...

使用分数计算器应用是处理数学分数最简便的方法。它能有效帮助您验证计算结果并解决分数问题。分数计算器可帮助您进行分数、假分数的加法、减法、乘法、除法、比较和转换等操作。

提供 3 个替代方案

几何计算器可帮助您快速计算多种几何图形的周长和面积。我们的计算器界面专业，结果准确。

提供 3 个替代方案

Algogo 是一个算法编辑器和解释器。轻量级且易于使用，免费开源。Algogo 有三个版本：

提供 3 个替代方案

该工具提供了一个非常简单的图形界面，可在输入时直接渲染LaTeX表达式，并能将渲染后的图像复制到剪贴板，或另存至桌面，同时保持透明度信息。

提供 8 个替代方案

关于一款基础科学计算器 设计精美，支持百分比运算、工程指数键、记忆功能等。 除了小部件计算器外，还包含一个科学模式，可连接到eCalc的高级在线功能。

提供 72 个替代方案

WolfCalc 是功能强大的 Wolfram|Alpha™ 计算知识引擎™ 的轻量级极简前端，它是世界上功能最强大的计算器之一，可用于解决各种问题。

提供 11 个替代方案

Doronix 数学工具箱是一种数值计算环境及编程语言，可作为 MATLAB 的替代方案。它支持矩阵运算、函数和数据绘图、算法实现、用户自定义函数创建以及 CSV 文件的导入导出等功能。

提供 53 个替代方案

一款为 Typst 和现代时代重写的类 LyX 体验。

JFLAP 是用于实验形式语言相关主题的软件，包括非确定性有限自动机、非确定性下推自动机、多带图灵机、多种类型的语法、解析以及 L 系统。

魔术计算器是一款科学计算器，支持以中缀表达式形式输入计算式。