Similar Items: Formal proofs in real algebraic geometry: from ordered fields to quantifier elimination
- Transfer Function Synthesis without Quantifier Elimination
- Modularizing the Elimination of r=0 in Kleene Algebra
- Formal Theories for Linear Algebra
- Coherence for Frobenius pseudomonoids and the geometry of linear proofs
- Pebble Games and Algebraic Proof Systems
- A Formal Proof of the Irrationality of $zeta(3)$