|
Logik in der Informatik
Prof. Dr. Martin Grohe |
 Institut für Informatik |
Es ist gemeinhin bekannt, dass sich die Zahl der Lösungen linearer Gleichungssysteme über endlichen Körpern sehr einfach ermitteln lässt, denn dazu genügt es, den Gaußschen Algorithmus anzuwenden. Ein ebenfalls sehr altes, aber weit weniger bekanntes, Resultat besagt, dass sich auch die Zahl der Lösungen einzelner beliebiger quadratischer Formen über endlichen Körpern effizient (und sehr elegant) ermitteln lässt. Ich werde dieses Ergebnis in meinem Vortrag nachvollziehen.
|
Zurück zur Vortragsübersicht |