Symbolica：一款强大的计算机代数系统

Symbolica是一款计算机代数系统。它可以匹配复杂的数学模式并处理庞大的表达式。Symbolica具有最先进的多项式算术和表达式优化，还具有数值积分框架和Python、Rust和C++的API。现在提供在线演示。

Read More