Formalization of Wu’s Simple Method in Coq (Q3100204)

From MaRDI portal
Revision as of 20:23, 28 February 2024 by SwMATHimport240215 (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
Formalization of Wu’s Simple Method in Coq
scientific article

    Statements

    title
    Formalization of Wu’s Simple Method in Coq (English)
    0 references
    author
    Jean-David Génevaux
    0 references
    Julien Narboux
    0 references
    Pascal Schreck
    0 references
    publication date
    22 November 2011
    0 references
    zbMATH Keywords
    formalization
    0 references
    automation
    0 references
    geometry
    0 references
    Wu's method
    0 references
    proof assistant
    0 references
    Coq
    0 references
    describes a project that uses
    OCaml
    0 references
    JGEX
    0 references
    GeoProof
    0 references
    MMP/Geometer
    0 references
    GEOTHER 1.1
    0 references
    Coq
    0 references
    GEX
    0 references
    GCLCprover
    0 references

    Identifiers

    zbMATH DE Number
    5977505
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3100204&oldid=23502849"
    Powered by MediaWiki