Forschung
Computeralgebra, in particular the design and implementation of symbolic algorithms for research and application of
- commutative algebra
- real algebra
- non-commutative algebra
- differential algebra
- lattice and order theory
- algebraic model theory
- Gröbner bases
Projects
- REDLOG
Reduce Logic - Symbolic manipulation of first oder formulas - REDUCE
The open source REDUCE general purpose computer algebra system - MAS
The Modula II computer algebra system
Ich bin damit einverstanden, dass beim Abspielen des Videos eine Verbindung zum Server von Vimeo hergestellt wird und dabei personenbezogenen Daten (z.B. Ihre IP-Adresse) übermittelt werden.
Ich bin damit einverstanden, dass beim Abspielen des Videos eine Verbindung zum Server von YouTube hergestellt wird und dabei personenbezogenen Daten (z.B. Ihre IP-Adresse) übermittelt werden.
Video anzeigen
