Thousands of Geometric Problems for Geometric Theorem Provers (TGTP) (Q3102742)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Thousands of Geometric Problems for Geometric Theorem Provers (TGTP)
scientific article

    Statements

    Thousands of Geometric Problems for Geometric Theorem Provers (TGTP) (English)
    0 references
    0 references
    25 November 2011
    0 references
    library of problems in geometry
    0 references
    geometric automated theorem proving
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers