Challenging theorem provers with Mathematical Olympiad problems in solid geometry (Q294381)

From MaRDI portal
Revision as of 13:37, 9 December 2024 by Import241208061232 (talk | contribs) (Normalize DOI.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Challenging theorem provers with Mathematical Olympiad problems in solid geometry
scientific article

    Statements

    Challenging theorem provers with Mathematical Olympiad problems in solid geometry (English)
    0 references
    0 references
    0 references
    0 references
    16 June 2016
    0 references
    automated geometric theorem proving
    0 references
    characteristic set
    0 references
    Gröbner basis
    0 references
    vector algebra
    0 references
    non-degeneracy condition (NDG)
    0 references
    0 references
    0 references

    Identifiers