漫话开发者 - UWL.ME 精选全球AI前沿科技和开源产品
2024-05-10 talkingdev

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

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

Read More
2023-10-27 talkingdev

ToRA:集成Agent工具解决数学推理难题

ToRA是一系列工具集成的推理代理人,旨在通过与工具交互来解决具有挑战性的数学推理问题。通过与定理证明器、计算机代数系统等工具进行交互,ToRA能够发现新的证明策略,并在证明过程中自动应用这些策略。目前,ToRA...

Read More