Andreas Weiermann

Research disciplines
  • Natural sciences
    • Convex and discrete geometry
    • Combinatorics
    • History and biography of mathematical sciences
    • Mathematical logic and foundations
    • History and foundations not elsewhere classified
    • Applied discrete mathematics
    • Coding and information theory
    • Computational logic and formal languages
    • Theoretical computer science not elsewhere classified
  • Engineering and technology
    • Mathematical software
Term rewriting systems Mathematical Logic Proof theory