The simplest axiom system for hyperbolic geometry revisited, again
type: Item
instance of: scholarly article
title: The simplest axiom system for hyperbolic geometry revisited, again
zbMATH Open document ID: 1301.03017
author: Jesse Alama
published in: Studia Logica
publication date: 2014-09-26T00:00:00Z
Mathematics Subject Classification ID: 03B30
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 51F05
Mathematics Subject Classification ID: 51M05
Mathematics Subject Classification ID: 51M09
Mathematics Subject Classification ID: 51M10
zbMATH DE Number: 6348345
zbMATH Keywords: hyperbolic geometry
zbMATH Keywords: automated theorem proving
zbMATH Keywords: absolute geometry
zbMATH Keywords: independent axiom
zbMATH Keywords: dependent axiom
zbMATH Keywords: proof analysis
describes a project that uses: Tipi
MaRDI profile type: Publication
full work available at URL: s11225-013-9509-0
OpenAlex ID: W1988732149
Wikidata QID: Q114017386
cites work: Simplicity
cites work: Q5748211
cites work: The simplest axiom system for plane hyperbolic geometry revisited
cites work: Axioms for Absolute Geometry
cites work: Q4074001
cites work: Q3267805
cites work: Q3268764
DOI: 10.1007/S11225-013-9509-0
description: scientific article; zbMATH DE number 6348345