The BKR Decision Procedure for Univariate Real Arithmetic

MaRDI QIDQ7361604FDO

Authors Katherine Kosaian, Yong Kiam Tan, André Platzer

Publication date 24 April 2021

Cites work

• On the computational complexity and geometry of the first-order theory of the reals. III: Quantifier elimination
• The complexity of elementary algebra and geometry

Cited in

(5)

• Fisher's Inequality: Linear Algebraic Proof Techniques for Combinatorics
• Two Theorems on Hermitian Matrices
• Hardness of Lattice Problems
• A First Complete Algorithm for Real Quantifier Elimination in Isabelle/HOL
• Babai's Nearest Plane Algorithm

This page was built for software: The BKR Decision Procedure for Univariate Real Arithmetic