Clifford algebraic reduction method for automated theorem proving in differential geometry (Q1272600)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Clifford algebraic reduction method for automated theorem proving in differential geometry
scientific article

    Statements

    Clifford algebraic reduction method for automated theorem proving in differential geometry (English)
    0 references
    0 references
    0 references
    3 January 1999
    0 references
    automated theorem proving
    0 references
    Wu's method
    0 references
    local theory of space curves
    0 references
    equation set solving
    0 references
    Clifford algebra
    0 references

    Identifiers

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