The simplest axiom system for hyperbolic geometry revisited, again (Q456972)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The simplest axiom system for hyperbolic geometry revisited, again
scientific article

    Statements

    The simplest axiom system for hyperbolic geometry revisited, again (English)
    0 references
    0 references
    26 September 2014
    0 references
    hyperbolic geometry
    0 references
    automated theorem proving
    0 references
    absolute geometry
    0 references
    independent axiom
    0 references
    dependent axiom
    0 references
    proof analysis
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references