http://www.singular.uni-kl.de
4th Session:
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)
1.
Communication with Other CAS
2.
"Human-Computer-Aided Proving" of Theorems