符号计算软件列表

贡献者： addis

• SymPy
• SageMath 集成了众多开源库，打算代替 Mathematica 等。见 github 页面。可以参考一下它用到了哪些库。
• Mathematica 和 Maxima 基本是最快的，后者是开源的（用 Common Lisp 写的）
• Axiom 1971 开始开发，投入约 300 人年（Lisp 和 C）
• JuliaSymbolics
• mathmu：清华学生做的符号计算软件，网站有很多数值/符号计算文档
• SymEngine：一个 C++ 写的符号计算库，可以在线用 binder 和 cling 交互试用。
• FORM（github）高能物理中历史悠久的符号计算系统。
• Math.js 是 Javascript 的主要第三方数学库。包含一些符号计算功能，如 simplify 等操作
• Algebrite 是 Javascript 的一个符号计算库
• Nerdamer 是 Javascript 的一个符号计算库
• CortexJS，甚至还包含一个 WYSIWYG 公式编辑器子项目 MathLive，以及用 json 表示公式的标准 MathJson。