A special-purpose system for computations in Commutative Algebra.
Add your website to our directory for free.