Automated generation of geometric theorems from images of diagrams (Q2354910)

From MaRDI portal
Revision as of 21:15, 29 July 2024 by Daniel (talk | contribs) (‎Created claim: Wikidata QID (P12): Q56602972, #quickstatements; #temporary_batch_1722280142910)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Automated generation of geometric theorems from images of diagrams
scientific article

    Statements

    title
    Automated generation of geometric theorems from images of diagrams (English)
    0 references
    author
    Dan Song
    0 references
    Dongming Wang
    0 references
    Xiao-yu Chen
    0 references
    publication date
    27 July 2015
    0 references
    zbMATH Keywords
    theorem discovery
    0 references
    pattern recognition
    0 references
    image processing
    0 references
    describes a project that uses
    webDiscovery
    0 references
    GeoGebra
    0 references
    GeoThms
    0 references
    TGTP
    0 references
    cites work
    Q4946223
    0 references
    Q4434825
    0 references
    Elimination methods
    0 references
    Q2988089
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68T15
    0 references
    68T10
    0 references
    68U05
    0 references
    68U10
    0 references
    94A08
    0 references
    zbMATH DE Number
    6464963
    0 references
    OpenAlex ID
    W2006962766
    0 references
    arXiv ID
    1406.1638
    0 references
    Wikidata QID
    Q56602972
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2354910&oldid=36839228"
    Powered by MediaWiki