Formalization of the Poincaré disc model of hyperbolic geometry (Q2031408)

From MaRDI portal
Revision as of 22:18, 25 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
Formalization of the Poincaré disc model of hyperbolic geometry
scientific article

    Statements

    title
    Formalization of the Poincaré disc model of hyperbolic geometry (English)
    0 references
    author
    Danijela Simić
    0 references
    Filip Marić
    0 references
    Pierre Boutry
    0 references
    publication date
    9 June 2021
    0 references
    zbMATH Keywords
    Poincaré model
    0 references
    Isabelle/HOL
    0 references
    formalization of geometry
    0 references
    describes a project that uses
    Archive Formal Proofs
    0 references
    GeoCoq
    0 references
    Isabelle/Isar
    0 references
    Poincare_Disc
    0 references
    Complex_Geometry
    0 references
    Coq
    0 references
    Isabelle/HOL
    0 references
    Transfer
    0 references
    Lifting
    0 references
    cites work
    Q3270252
    0 references
    From Tarski to Hilbert
    0 references
    Q4434670
    0 references
    Q4531863
    0 references
    Q4530838
    0 references
    Alfred Tarski
    0 references
    Q4556039
    0 references
    Q3128958
    0 references
    Q4094049
    0 references
    Q4790670
    0 references
    Tarski geometry axioms
    0 references
    Q3678266
    0 references
    Q3943557
    0 references

    Identifiers

    zbMATH DE Number
    7356967
    0 references
    OpenAlex ID
    W3022308686
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2031408&oldid=36688061"
    Powered by MediaWiki