symbolica-dev/symbolica

Symbolica 是一个用于 Python 和 Rust 的高性能计算机代数库。以空前速度运算大型表达式、进行模式匹配，并生成优化的数值代码。