groebner-basis
Symbolica is a high-performance computer algebra library for Python and Rust. Manipulate large expressions, match patterns, and generate optimized numerical code — at unprecedented speed.
An easy-to-use, general and open-source tool to solve the guess-and-determine problem
