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