Symbolic algebra program designed to support research in
commutative algebra and algebraic geometry.
It's good at computing Greobner bases and free resolutions
of modules over various rings. This amounts to giving
qualitative information about systems of polynomial
equations in several variables.