SageMath

Calcpad 是一个轻量级的数学平台，适用于云和桌面端。它可解析简单的文本脚本，并将其转换为专业的 HTML 报告。支持复数、变量、函数、绘图、单位及数值方法。

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

GAP 是一个用于计算离散代数的系统，特别侧重于计算群论。GAP 提供了一种编程语言，包含数千个函数库，这些函数实现了用 GAP 语言编写的代数算法，以及大型数据资源库……

Python(x,y) 是一个基于 Python 编程语言和 Qt 图形用户界面的免费科学与工程开发软件，用于数值计算、数据分析和数据可视化。

Enthought Python 发行版为科学家提供了全面的工具，用于进行严谨的数据分析和可视化。Python 以其灵活性、一致性和易用性著称，正迅速成为……的首选编程语言。

一个用于求解代数、数论、几何和组合数学中计算难题的软件包。

Livebook 是一个用于编写交互式和协作式代码笔记本的网页应用。支持 Markdown 的代码笔记本，以及可随时评估 Elixir 代码的代码单元格。

Mathics 是一个通用的计算机代数系统（CAS），旨在成为 Mathematica 的免费轻量级替代品。它使用类似 Mathematica 的语言进行编程，并通过网页界面实现用户交互。