Algebra (Lehrstuhl)
Aus RegioWiki Niederbayern
Algebra war ein Lehrstuhl der Fakultät für Informatik und Mathematik an der Universität Passau.
Inhaltsverzeichnis
Geschichte
Der Lehrstuhl wurde nach Ausscheiden des damaligen Lehrstuhlinhabers Prof. Dr. Volker Weispfenning durch den Lehrstuhl für Symbolic Computation unter Prof. Dr. Martin Kreuzer ersetzt.
Lehrstuhlinhaber
Forschungsschwerpunkte
Im Bereich der Computeralgebra beschäftigte sich der Lehrstuhl vor allem mit dem Entwurf und der Implementierung von symbolischen Algorithmen im Bereich der Forschung und der Anwendung von:
- Kommutativer Algebra
- Reeller Algebra
- Nicht-kommutativer Algebra
- Differentialalgebra
- Algebraischer Modelltheorie
- Gröbnerbasen
- Quantorenelimination