No label defined (Q3062086)

From MaRDI portal
scientific article
Language Label Description Also known as
English
No label defined
scientific article

    Statements

    3 January 2011
    0 references
    mechanical theorem proving in geometry
    0 references
    Wu's method
    0 references
    pseudodivision
    0 references
    computer algebra
    0 references

    Identifiers