Automatic Verification of the Adequacy of Models for Families of Geometric Objects

DOI10.1007/978-3-642-21046-4_6zbMATH Open1302.14046OpenAlexW1658832970MaRDI QIDQ3003231FDOQ3003231

Thomas Sturm, Aless Lasaruk

Publication date: 26 May 2011

Published in: Automated Deduction in Geometry (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-21046-4_6

zbMATH Keywords

real geometryautomated provingreal quantifier eliminationunique representation

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Semialgebraic sets and related spaces (14P10)

Cited In (2)

• Computer-aided construction of finite geometric spaces: Automated verification of geometric constraints
• Automatic Verification of Regular Constructions in Dynamic Geometry Systems

This page was built for publication: Automatic Verification of the Adequacy of Models for Families of Geometric Objects

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3003231)