AnyMath 文档
Symbolics Examples
Mixed Symbolic-Numeric Perturbation Theory