NumeRe

数值计算软件, 编程语言

★5

用于数值计算和高级统计分析的开源框架，支持非线性曲线拟合、常微分方程求解、一维/二维高质量出版级可视化、傅里叶变换和小波变换，具有直观的语法结构以及基于命名空间的代码组织方式，适用于科研工作。

Singular

软件

Singular 是一个开源的计算机代数系统，主要用于多项式计算，特别侧重于交换代数、非交换代数、代数几何和奇点理论。

OpenAxiom

软件

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

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

GiNaC

软件

GiNaC 是一个 C++ 库。它旨在使开发者能够构建集成系统，将符号运算与计算机科学中其他成熟领域（如计算密集型数值应用、图形界面等）结合在一起，实现一体化。

Mathway

数学求解器

Mathway 为学生提供了解决数学问题所需的工具。已有数千万个问题被解决，Mathway 是学生、家长和教师可使用的在线问题解决资源中的第一名。

TI-Nspire CX CAS Student Software

计算器

★4

功能强大的计算机软件，配备计算机代数系统（CAS），可满足从小学中学到大学阶段的数学和科学课程需求。

Positron

IDE

一个由 Posit PBC 开发的免费下一代数据科学集成开发环境。一个可扩展的多语言工具，用于编写代码和探索数据。一个用于可复现创作和发布的熟悉环境。