CasADi是c++写的符号计算包，它本身定位并不是一个完整的计算代数包，它的目的是为了非线性优化和自动微分。基于它有很多学术界和工业界的应用。有很多模型预测控制的例子。有人为它写了julia界面CasADi.jl。
Symbolics.jl是julia语言下的符号计算包。功能非常强大。有很多的julia包基于Symbolics.jl。Symbolics.jl对完成自动微分、符号计算、优化模型构建等非常有帮助。
SymPy是python语言下的符号计算包。我没有深入研究过。只是为了方便python用户列出在这里。
EPANET EnergyPlus和openstudio
ModelingToolkit.jl（符号建模包）
DifferentialEquations.jl（常微分方程求解包）
NeuralPDE.jl（偏微分方程求解包）
Symbolics.jl（MTK依赖的符号求解包）
JuMP.jl（优化求解器包）
DiffEqParamEstim.jl（基于DE的参数辨识包）
Plots.ji（可视化包）
DataFrames.jl（大规模数据批量处理包）
Unitful（单位计算包）
GalacticOptim.jl(Sciml优化包)
