Überblick

• Zahlen (große, genaue)
• Vektoren (Gitterbasen)
• Polynome
• Terme, Term-Ersetzungs-Systeme

  (Anwendung: Differentiation, Vereinfachung)

• Gröbnerbasen (Termination, Vervollständigung)
• Geometrische Konfigurationen

• ...und Beweise (Anwendung von Gröbnerbasen)
• Ausblick: A = B, Musik, Logik, Refactoring