Symbolics.jl:以Julia编写的符号数学库,基于scmutils建模