Overview
Objects
Functionality
Libraries
Examples
Applications
Availability
History
Contributors
Future
Examples - Human-Computer-Aided Proving


<-- Building Blocks

<-- Combined Applications


KL, 06/03 http://www.singular.uni-kl.de