WIRIS cas

计算器, 图形计算器

WIRIS cas 是一个专为教育设计的数学计算在线平台。您可以通过包含积分和极限计算、二维或三维函数图形绘制以及符号矩阵操作等功能的 HTML 页面，访问一个强大的计算工具栏。

FormulaDesk Math

软件

FormulaDesk Math 是一款 Excel 插件，可为 Excel 带来真正的符号数学功能。可将公式以方程形式显示，即时绘制公式……所有工程师和学生日常所需的各种工具，现已集成到 Excel 中。

Blockpad

电子表格应用

Blockpad 是一款专为工程计算重新设计的电子表格软件。它主要是一个文字处理器，您可以在其中输入以数学符号形式显示的公式。它还包含单位智能、电子表格表格、绘图、求解器等功能。

Axiom

软件

Axiom 是一个通用的计算机代数系统，可用于数学算法的研究与开发。它定义了一个强类型、数学上正确的类型层次结构，具备编程语言和内置编译器。

OpenAxiom

软件

OpenAxiom 是 Axiom 的一个分支，是一个开源的符号、代数和数值计算平台。它提供了一个交互式环境、一种表达力强的编程语言、一个编译器以及一系列重要的数学库……

FriCAS 是一个先进的计算机代数系统，其功能涵盖微积分（积分与求导）到抽象代数等多个领域。它能够绘制函数图形，并具备内置的帮助系统。

Cadabra 是一个专为解决场论中遇到的问题而设计的计算机代数系统（CAS）。它在张量计算机代数、张量多项式简化（包括多项式对称性）、费米子和反交换等方面具有广泛的功能。

Ascend

软件

用于数学建模、非线性方程和优化问题的开源软件，支持动态系统和大规模模型，提供命令行和图形化界面，具备专用建模语言和先进的求解器架构。