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

Maxima计算机代数系统 用 Common Lisp 编写的计算机代数系统 Maxima 是一种计算机代数系统，可与 Mathematica 和 Maple 等商业系统相媲美。它强调符号数学计算：代数、三角学、微积分等等。 例如，Maxima 求解 x^2-r*xs^2-r*s=0，给出符号结果 [x=r+s, x=-s]。 Maxima 可以使用精确的整数和分数、本机浮点数和高精度大浮点数进行计算。 Maxima 具有用户友好的前端、在线手册、绘图命令和数值库。用户可以使用其本地编程语言编写程序，并且在过去的几十年中，许多人在各个领域贡献了有用的包。 特征 专门从事符号运算，但也提供数字功能。 可以通过编程方式访问和扩展，因为可以从中调用底层 Lisp。 完整的编程语言，具有类似 ALGOL 的语法但类似 Lisp 的语义。 任意精度整数。 有理数的大小仅受机器内存限制。 任意大的浮点数（“bfloats”）。

人工智能-机器学习-计算机代数系统的设计与实现.pdf

由马欢编写的《Maxima快速参考手册》的1.1版。 Maxima是一个计算机代数（符号计算）系统， 这个介绍涵盖了初步的规则、算数运算、初等函数、 预定义常数、求和与求积、多项式展开与因式分解、 分式化简、对数、指数及根式的化简、三角函数变换、 解方程、复数、矩阵、线性代数、微积分微分方程、 作图、编程等多个方面，是现在能找到的Maxima中文 资料中内容最充实的一本。

本科生教材，第一、二、三章讲groebner基；第四章介绍吴方法；第五六章介绍groebner基在代数几何种的应用；第七章介绍量词消去法

用Python编写的Modelica到计算机代数系统（CAS）编译器。 安装 Python / PyPI： pip install pymoca Anaconda / Conda： 安装anaconda 3。 设置环境。 ./create_conda_env.sh enduser . activate pymoca jupyter notebook 例子 路线图 已完成的任务 解析Modelica 用于简单模型的Sympy Simulation / CAS创建 Casadi CAS创建简单模型 去做 收集需求并统一Casadi模型 延迟解析以读取大型库 支持更多的Modelica语言元素

SymPy：一个纯Python编写的计算机代数系统

计算机代数系统算法教程，从简单算法开始，阐述了如何设计计算机代数系统，以及涉及到的算法实现。

mathics 是一个开源、免费、通用、跨平台的计算机代数系统（CAS），语法、函数和Mathematica几乎 完全一致。它使用Python开发，依赖于Sympy（python的符号计算库）、mpath、gmpy等，并且可以借助Sagemath获得更强的能 力。类似于Sage，mathics也有在线版本，可以通过浏览器进行各种运算。 标签：Mathics

一种新型计算机代数系统编译器的设计与实现.pdf