An efficient algebraic algorithm for the geometric completion to involution

DOI10.1007/s002000200099zbMath1095.13550OpenAlexW2025473889MaRDI QIDQ1871798

Marcus Hausdorf, Werner M. Seiler

Publication date: 4 May 2003

Published in: Applicable Algebra in Engineering, Communication and Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s002000200099

zbMATH Keywords

partial differential equationcompletioninvolutive basis\(\delta\)-regularityCartan-Kuranishi theorem

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Cohomology of classifying spaces for pseudogroup structures (Spencer, Gelfand-Fuks, etc.) (58H10) General topics in partial differential equations (35A99)

Related Items

Fast computation of discrete invariants associated to a differential rational mapping, Algebraic Theory of Linear Systems: A Survey, Noether normalization guided by monomial cone decompositions, Under- and overdetermined systems of differential equations, Deterministic genericity for polynomial ideals, On decomposition of algebraic PDE systems into simple subsystems, Effective Genericity, δ-Regularity and Strong Noether Position, Index Concepts for General Systems of Partial Differential Equations, Differential invariant algebras of Lie pseudo-groups, Relative Gröbner and involutive bases for ideals in quotient rings, A combinatorial approach to involution and \(\delta \)-regularity. II: Structure analysis of polynomial modules with Pommaret bases, A combinatorial approach to involution and \(\delta \)-regularity. I: Involutive bases in polynomial algebras of solvable type