SINGULAR as a tool for Singularity Theory

7th Workshop on Real and Complex Singularities 29/07 - 02/08/02
ICMC-USP, Sao Carlos, Brazil

Christoph Lossen, Anne Frühbis-Krüger
Universität Kaiserslautern (Germany)

Session 1.   Presentation of the Computer Algebra System SINGULAR
Session 2.   Using SINGULAR and its Standard Bases Engine
Session 3.   Hands-on Tutorial
Session 4.   "Human-Computer-Aided Proving" of Theorems