symbolic-computation

完全在你的浏览器中运行、编译与执行用于科学计算与数据可视化的 JavaScript！一个完全在浏览器中的开源科学计算环境，具备 GPU 加速矩阵运算、TeX 支持、数据可视化与符号运算。

一个用于 Julia 中自动并行化科学机器学习 (SciML) 的因果建模框架。用于集成符号学的计算机代数系统，支持物理信息机器学习与微分方程的自动转换

针对机器人的快速符号计算、代码生成与非线性优化

用 Javascript (Typescript) 写的计算机代数系统

Symbolica 是一个用于 Python 和 Rust 的高性能计算机代数库。以空前速度运算大型表达式、进行模式匹配，并生成优化的数值代码。

使用 Rust 重新实现的 Wolfram Language / Mathematica（Wolfram oxidized）

Julia 语言中的分布式高性能符号回归

用于建立复杂神经网络的简单库。

Lean 4 中的科学计算。