The fragment of elementary plane Euclidean geometry based on perpendicularity alone with complexity PSPACE-complete
DOI10.1090/TRAN/9302MaRDI QIDQ6664346
Publication date: 16 January 2025
Published in: Transactions of the American Mathematical Society (Search for Journal in Brave)
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Complexity of computation (including implicit computational complexity) (03D15) Foundations of classical theories (including reverse mathematics) (03B30) General topics in artificial intelligence (68T01) Research exposition (monographs, survey articles) pertaining to geometry (51-02) Categoricity and completeness of theories (03C35) Computational methods for problems pertaining to geometry (51-08) Computational methods for problems pertaining to mathematical logic and foundations (03-08)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- On the computational complexity and geometry of the first-order theory of the reals. III: Quantifier elimination
- A system of axioms for geometry.
- Vorlesungen über neuere Geometrie.
- Line-based affine reasoning in Euclidean plane
- New results on quantifier elimination over real closed fields and applications to constraint databases
- Metamathematical discussion of some affine geometries
- Relations on lines as primitive notions for Euclidean geometry
- Tarski's System of Geometry
- On the combinatorial and algebraic complexity of quantifier elimination
- Sur la complexité du principe de Tarski-Seidenberg
- La geometria elementare istituita sulle nozioni di ``punto e ``sfera.
This page was built for publication: The fragment of elementary plane Euclidean geometry based on perpendicularity alone with complexity PSPACE-complete
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6664346)
