Finding proofs in Tarskian geometry (Q2362499)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Finding proofs in Tarskian geometry
scientific article

    Statements

    title
    Finding proofs in Tarskian geometry (English)
    0 references
    author
    Michael J. Beeson
    0 references
    Larry Wos
    0 references
    publication date
    10 July 2017
    0 references
    zbMATH Keywords
    automated deduction
    0 references
    theorem proving
    0 references
    Tarskian geometry
    0 references
    describes a project that uses
    OTTER
    0 references
    Sledgehammer
    0 references
    Flyspeck
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68T15
    0 references
    51K05
    0 references
    51M05
    0 references
    zbMATH DE Number
    6741144
    0 references
    OpenAlex ID
    W2963109403
    0 references
    Wikidata QID
    Q113901246
    0 references
    arXiv ID
    1606.07095
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2362499&oldid=36332902"
    Powered by MediaWiki