Free to use for everyone. Macaulay - Macaulay is a computer algebra system for mathematical computations in algebraic geometry and commutative algebra. At its core is a carefully tuned implementation of Grobner basis methods for manipulating systems of polynomial equations. Macaulay 2 - A new software system devoted to supporting research in algebraic geometry and commutative algebra. MuPAD - Free, Open Source computer algebra system for symbolic and numerical computations.
Library routines for linear algebra, integration, polynomials, graphics and more.
Can generate and be called from C or Fortran code. Started in 1989 and used worldwide. Over 20 years old. Comes with full source code. Frequently Asked Questions, Live Demos, software for download, events, bibliography, research groups, researcher directory and more.