The primary source code repository for Macaulay2, a system for computing...
General-Purpose Computer Algebra System as an EDSL in Haskell
Library for Polynomial System Solving through Algebraic Methods
Rings: efficient JVM library for polynomial rings