A decision method for the integrability of differential-algebraic Pfaffian systems (Q895975)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A decision method for the integrability of differential-algebraic Pfaffian systems
scientific article

    Statements

    A decision method for the integrability of differential-algebraic Pfaffian systems (English)
    0 references
    0 references
    0 references
    0 references
    11 December 2015
    0 references
    0 references
    0 references
    0 references
    0 references
    Pfaffian systems
    0 references
    Frobenius theorem
    0 references
    integrability of PDAE
    0 references
    differential Nullstellensatz
    0 references
    0 references
    0 references