SYMBOLICA

Summary from the TLDR newsletter

Symbolica is a computer algebra system. It can match complicated mathematical patterns and work with huge expressions. Symbolica features state-of-the-art polynomial arithmetic and expression optimization, a framework for numerical integration, and APIs for Python, Rust, and C++. A live demo is available.