Symbolica是一个速度极快的计算机代数系统，它可以匹配复杂的数学模式，处理庞大的表达式，拥有最先进的多项式算法和表达式优化框架，并提供Python、Rust和C++的API接口。Symbolica被设计成一个库，可以绑定到Python、Rust、C++和Mathematica。