Überblick

• Rechnen mit Zahlen (beliebig groß, beliebig genau)
• Rechnen mit Polynomen und Funktions-Ausdrücken (klassische Computeralgebra, z. B. Differentiation, Summation, Integration)
• Rechnen mit Figuren (geometrische Konstruktionen und Beweise)
• Rechnen mit Programmen (Programmtransformationen, Refactoring)
• Rechnen mit logischen Formeln (automatische Beweiser und Beweis-Überprüfer)