CASA: A Computer Algebra Package for Constructive Algebraic Geometry.

R. Gebauer, Michael Kalkbrener, B. Wall, Franz Winkler

Browse the full ISSAC paper archive.