Using Gröbner bases to reason about geometry problems (Q1094150)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Using Gröbner bases to reason about geometry problems
scientific article

    Statements

    Using Gröbner bases to reason about geometry problems (English)
    0 references
    0 references
    1986
    0 references
    Gröbner basis computation
    0 references
    reasoning about geometry
    0 references
    polynomial equations
    0 references
    automated geometry theorem proving
    0 references

    Identifiers