scientific article; zbMATH DE number 2133993

zbMATH Open1061.51013MaRDI QIDQ3159141FDOQ3159141

Authors: Victor V. Pambuccian 

Publication date: 14 February 2005

Title of this publication is not available (Why is that?)

Recommendations

• Aruler and segment-transporter constructive axiomatization of plane hyperbolic geometry
• Axiomatizing geometric constructions
• The simplest axiom system for plane hyperbolic geometry revisited
• Fragments of Euclidean and hyperbolic geometry
• The complexity of plane hyperbolic incidence geometry is ????

zbMATH Keywords

hyperbolic geometrygeometric constructionquantifier-free axiomatization

Mathematics Subject Classification ID

Hyperbolic and elliptic geometries (general) and generalizations (51M10) Foundations of classical theories (including reverse mathematics) (03B30) Other constructive mathematics (03F65)

Cited In (5)

• Aruler and segment-transporter constructive axiomatization of plane hyperbolic geometry
• Automated triangle constructions in hyperbolic geometry
• Axiomatizing geometric constructions
• Fragments of Euclidean and hyperbolic geometry
• On R. Baer's generalized hyperbolic planes

This page was built for publication:

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