Solving geometric problems with real quantifier elimination

DOI10.1007/3-540-47997-X_2MaRDI QIDQ4946076zbMATH OpenFDO

Authors Andreas Dolzmann

Publication date 22 March 2000

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-47997-X_2

zbMATH Keywords

Enneper surfacefirst-order formulasquantifier eliminationreal geometryREDLOG

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Quantifier elimination, model completeness, and related topics (03C10) Software, source code, etc. for problems pertaining to geometry (51-04)

Recommendations

• Real quantifier elimination in practice
• scientific article; zbMATH DE number 2247478
• Computational geometry problems in REDLOG
• Quantifier elimination for real algebra -- the quadratic case and beyond
• Real quantifier elimination in the RegularChains library

Cited in

(4)

• Automatic derivation of positivity conditions inside boundary elements with the help of the REDLOG computer logic package.
• Computational geometry problems in REDLOG
• scientific article; zbMATH DE number 778202 (Why is no real title available?)
• Formula Simplification for Real Quantifier Elimination Using Geometric Invariance

Describes a project that uses

Uses Software

• REDLOG
• QEPCAD

This page was built for publication: Solving geometric problems with real quantifier elimination

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