Anwendungen der Algorithmen

• Vervollst.-Algorithmus

  ⇒ Wortproblem entscheiden ⇒ (Gleichungs-)Theorem beweisen

• L³ -Algorithmus

  ⇒ kurzen Gittervektor finden ⇒ Minimalpolynom finden, (Nachricht entschlüsseln, Polynom faktorisieren)

• arithm. Ausdruck simplifizieren (auf 0 testen)

  ⇒ geometrisches Theorem (v. rationalen konstruktiven Typ) beweisen

• Gröbnerbasis ausrechnen

  ⇒ Idealmitgliedschaft entscheiden ⇒ geometrisches Theorem (v. Gleichungstyp) beweisen