Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Formalizing complex plane geometry - MaRDI portal

Formalizing complex plane geometry (Q2354913)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Formalizing complex plane geometry
scientific article

    Statements

    title
    Formalizing complex plane geometry (English)
    0 references
    author
    Filip Marić
    0 references
    Danijela Petrović
    0 references
    publication date
    27 July 2015
    0 references
    zbMATH Keywords
    interactive theorem proving
    0 references
    complex plane geometry
    0 references
    Möbius transformations
    0 references
    describes a project that uses
    Transfer
    0 references
    Isabelle/HOL
    0 references
    Lifting
    0 references
    Matrix Operations
    0 references
    CeTA
    0 references
    Archive Formal Proofs
    0 references
    Isar
    0 references
    OpenGeoProver
    0 references

    Identifiers

    zbMATH DE Number
    6464965
    0 references
    OpenAlex ID
    W2073744707
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2354913&oldid=36192674"
    Powered by MediaWiki