Automated discovery of geometric theorems based on vector equations (Q2666956)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Automated discovery of geometric theorems based on vector equations
scientific article

    Statements

    Automated discovery of geometric theorems based on vector equations (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    23 November 2021
    0 references
    vector equation
    0 references
    automated geometric theorem discovery
    0 references
    geometric theorem proving
    0 references
    elimination method
    0 references
    0 references
    0 references
    0 references

    Identifiers