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

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

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

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

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)