ModelingToolkit.jl：Julia中用于自动并行化科学机器学习（SciML）的建模框架。 用于集成符号的计算机代数系统，用于物理知识的机器学习和微分方程的自动转换

象征引擎 SymEngine是一个独立的快速C ++符号操作库。 可选的薄包装器允许使用其他语言的库，例如： C包装器允许从C使用，或作为其他包装器的基础（ 文件） Python包装器可轻松使用Python并与和 （ 存储库）集成 Ruby包装器（ 存储库） Julia包装器（ 存储库） Haskell包装器（ 存储库） ... 尝试SymEngine 教程位于。 使用以下命令与SymEngine运行交互式C ++会话 。 执照 所有文件均已获得MIT许可，请参阅以获取更多信息。 打包的第三方代码已获得BSD 3条款许可（请参阅LICENSE文件）。 通讯录，聊天 SymEngine邮件列表： http ://groups.google.com/group/symengine 安装 conda包装经理 conda install symengine -c conda-

Sequencer——纯算法数字序列识别 音序器识别数字序列。 也就是说，给定一个数字列表，如 (a(n)) = 1, 2, 4, 8, 16, 32, ... 在这种情况下，它会找到一个生成它们的公式 a(n) = 2^(n-1) Sequencer 既不使用序列库，也不使用一组有限的算法来查找封闭形式。 相反，它会生成特定大小的所有公式，然后根据提供的数字检查它们。 对于验证，该系统使用混合方法，即快速数字检查器后跟由计算机代数系统驱动的符号验证器。 结合一些旨在快速生成潜在有趣公式的技巧和启发式方法，Sequencer 可以在商品硬件上运行时在几秒钟内识别具有非常复杂的封闭形式的序列。 Sequencer 能够找到超出任何现有系统（如 、 和封闭形式。 在涉及递推关系或不寻常的函数组合时，它尤其强大。 例如，上面提到的任何服务目前都无法理解序列 (a(n)) = 1, 1,

Modern Computer Algebra - Von Zur Gathen, Gerhard.djvu, 剑桥出版，1999年第一版

计算代数圣经. 有助于理解像Mathemetica等计算代数系统实现细节.