Overview
Objects
Functionality
Libraries
Examples
Applications
Availability
History
Contributors
Future
Examples - Human-Computer-Aided Proving
Existence of Hypersurfaces with Prescribed Singularities
Common Transversals to 2 Lines and 2 Quadrics in P
3
Finite Groups: A Problem
Moduli Spaces for Space Curve Singularities
<--
Building Blocks
<--
Combined Applications
KL, 06/03
http://www.singular.uni-kl.de