微信扫码实时跟踪AI前沿
Symbolica是一款计算机代数系统。它可以匹配复杂的数学模式并处理庞大的表达式。Symbolica具有最先进的多项式算术和表达式优化,还具有数值积分框架和Python、Rust和C++的API。现在提供在线演示。
ToRA是一系列工具集成的推理代理人,旨在通过与工具交互来解决具有挑战性的数学推理问题。通过与定理证明器、计算机代数系统等工具进行交互,ToRA能够发现新的证明策略,并在证明过程中自动应用这些策略。目前,ToRA...