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

From MaRDI portal
Revision as of 10:23, 28 February 2024 by SwMATHimport240215 (talk | contribs) (‎Changed an Item)
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

    Identifiers