Research Areas
- Arithmetic Reasoning
In arithmetic reasoning, we study the combination of first-order logic and arithmetic in theory and practice. This includes, among others, real quantifier elimination, superposition and formal verification.
In arithmetic reasoning, we study the combination of first-order logic and arithmetic in theory and practice. This includes, among others, real quantifier elimination, superposition and formal verification.