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

DOI10.1007/978-3-642-21046-4_6zbMath1302.14046OpenAlexW1658832970MaRDI QIDQ3003231

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)

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