The fragment of elementary plane Euclidean geometry based on perpendicularity alone with complexity PSPACE-complete

DOI10.1090/TRAN/9302MaRDI QIDQ6664346zbMATH OpenFDO

Authors T. B. Ivanova, Tinko Tinchev

Publication date 16 January 2025

Published in Transactions of the American Mathematical Society (Search for Journal in Brave)

Mathematics Subject Classification ID

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

• scientific article; zbMATH DE number 3113913 (Why is no real title available?)
• scientific article; zbMATH DE number 3120480 (Why is no real title available?)
• scientific article; zbMATH DE number 3120481 (Why is no real title available?)
• scientific article; zbMATH DE number 3150393 (Why is no real title available?)
• scientific article; zbMATH DE number 3151263 (Why is no real title available?)
• scientific article; zbMATH DE number 3899653 (Why is no real title available?)
• scientific article; zbMATH DE number 1157648 (Why is no real title available?)
• scientific article; zbMATH DE number 3241773 (Why is no real title available?)
• A system of axioms for geometry.
• La geometria elementare istituita sulle nozioni di ``punto e ``sfera.
• Line-based affine reasoning in Euclidean plane
• Metamathematical discussion of some affine geometries
• New results on quantifier elimination over real closed fields and applications to constraint databases
• 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
• Relations on lines as primitive notions for Euclidean geometry
• Sur la complexité du principe de Tarski-Seidenberg
• Tarski's System of Geometry
• Vorlesungen über neuere Geometrie.

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)