Automatic verification of the adequacy of models for families of geometric objects

DOI10.1007/978-3-642-21046-4_6MaRDI QIDQ3003231zbMATH OpenOpenAlexFDO

Authors Aless Lasaruk, Thomas Sturm

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)

Recommendations

• A new approach for automatic theorem proving in real geometry
• scientific article; zbMATH DE number 2247478
• scientific article; zbMATH DE number 95106
• Automated Deduction in Geometry
• Elimination procedures for mechanical theorem proving in geometry

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)