http://www.singular.uni-kl.de

4th Session:
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)

1. Communication with Other CAS
2. "Human-Computer-Aided Proving" of Theorems