The fragment of elementary plane Euclidean geometry based on perpendicularity alone with complexity PSPACE-complete
DOI10.1090/TRAN/9302MaRDI QIDQ6664346FDOQ6664346
Authors: T. B. Ivanova, Tinko Tinchev 
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) Foundations of classical theories (including reverse mathematics) (03B30) Categoricity and completeness of theories (03C35) Complexity of computation (including implicit computational complexity) (03D15) General topics in artificial intelligence (68T01) Research exposition (monographs, survey articles) pertaining to geometry (51-02) 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?)
- Relations on lines as primitive notions for Euclidean geometry
- Line-based affine reasoning in Euclidean plane
- Sur la complexité du principe de Tarski-Seidenberg
- On the combinatorial and algebraic complexity of quantifier elimination
- On the computational complexity and geometry of the first-order theory of the reals. III: Quantifier elimination
- New results on quantifier elimination over real closed fields and applications to constraint databases
- Tarski's System of Geometry
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Metamathematical discussion of some affine geometries
- Title not available (Why is that?)
- Title not available (Why is that?)
- A system of axioms for geometry.
- Vorlesungen über neuere Geometrie.
- Title not available (Why is that?)
- Title not available (Why is that?)
- 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)
