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

From MaRDI portal
scientific article
Language Label Description Also known as
English
Automated generation of geometric theorems from images of diagrams
scientific article

    Statements

    Automated generation of geometric theorems from images of diagrams (English)
    0 references
    0 references
    0 references
    0 references
    27 July 2015
    0 references
    theorem discovery
    0 references
    pattern recognition
    0 references
    image processing
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references