GeoThms — a Web System for Euclidean Constructive Geometry (Q2867934)

From MaRDI portal
Revision as of 15:20, 13 November 2024 by Daniel (talk | contribs) (‎Created claim: DBLP publication ID (P1635): journals/entcs/QuaresmaJ07, #quickstatements; #temporary_batch_1731505720702)
scientific article
Language Label Description Also known as
English
GeoThms — a Web System for Euclidean Constructive Geometry
scientific article

    Statements

    title
    GeoThms — a Web System for Euclidean Constructive Geometry (English)
    0 references
    author
    Pedro Quaresma
    0 references
    Predrag Janičić
    0 references
    publication date
    20 December 2013
    0 references
    zbMATH Keywords
    web interfaces for proof systems
    0 references
    automated geometry theorem proving
    0 references
    dynamic geometry software
    0 references
    describes a project that uses
    GCLC
    0 references
    Xeukleides
    0 references
    MMP/Geometer
    0 references
    GEOTHER 1.1
    0 references
    Coq
    0 references
    GEX
    0 references
    GeoThms
    0 references
    GCLCprover
    0 references
    Cinderella
    0 references
    GeoGebra
    0 references
    Theorema
    0 references
    Eukleides
    0 references
    WinGCLC
    0 references
    GeoView
    0 references

    Identifiers

    zbMATH DE Number
    6241757
    0 references
    OpenAlex ID
    W2157101175
    0 references
    Wikidata QID
    Q57552312
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2867934&oldid=37906696"
    Powered by MediaWiki