http://www.singular.uni-kl.de
Mini-Course:
S
INGULAR
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 S
INGULAR
Session 2.
Using S
INGULAR
and its Standard Bases Engine
Session 3.
Hands-on Tutorial
Session 4.
"Human-Computer-Aided Proving" of Theorems