Automatic discovery of theorems in elementary geometry (Q1808565)

From MaRDI portal
Revision as of 04:46, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
scientific article
Language Label Description Also known as
English
Automatic discovery of theorems in elementary geometry
scientific article

    Statements

    Automatic discovery of theorems in elementary geometry (English)
    0 references
    0 references
    25 November 1999
    0 references
    Gröbner basis
    0 references
    automatic theorem proving
    0 references
    elementary geometry
    0 references
    algorithmic commutative algebra
    0 references
    algebraic geometry
    0 references
    automatic discovery
    0 references

    Identifiers

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