Verified Quadratic Virtual Substitution for Real Arithmetic

MaRDI QIDQ7361245FDO

Authors Matias Scharager, Katherine Kosaian, Stefan Mitsch, André Platzer

Publication date 2 October 2021

Cites work

• Linear quantifier elimination
• Logical foundations of cyber-physical systems
• Quantifier elimination for real algebra -- the quadratic case and beyond
• The complexity of linear problems in fields

Cited in

(1)

• A First Complete Algorithm for Real Quantifier Elimination in Isabelle/HOL

This page was built for software: Verified Quadratic Virtual Substitution for Real Arithmetic