Involution. The formal theory of differential equations and its applications in computer algebra
DOI10.1007/978-3-642-01287-7zbMath1205.35003MaRDI QIDQ1018922
Publication date: 26 May 2009
Published in: Algorithms and Computation in Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-01287-7
Gröbner basis; Koszul homology; formal integrability; involutive system; Cartan-Kähler theory; differential ideal; Pommaret basis; Spencer cohomology; implicit differential-algebraic equations; non-normal systems; overdetermined and underdetermined equations; symbolic module; Vessiot theory
68W30: Symbolic computation and algebraic computation
13P10: Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases)
35-02: Research exposition (monographs, survey articles) pertaining to partial differential equations
13-02: Research exposition (monographs, survey articles) pertaining to commutative algebra
35-04: Software, source code, etc. for problems pertaining to partial differential equations
13P20: Computational homological algebra
Related Items
Uses Software