Involution. The formal theory of differential equations and its applications in computer algebra
From MaRDI portal
Publication:1018922
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
Loewy decomposition of linear differential equations, Effective Genericity, δ-Regularity and Strong Noether Position, Unnamed Item, Compatibility complexes of overdetermined PDEs of finite type, with applications to the Killing equation, On an integrable multi-dimensionally consistent 2 n + 2 n -dimensional heavenly-type equation, Covariant phase space, constraints, gauge and the Peierls formula, Gröbner bases and gradings for partial difference ideals, Uncertainty quantification in the numerical solution of coupled systems by involutive completion, No Chaos in Dixon’s System, Ideals Generated by Differential Equations, Symmetry actions and brackets for adjoint-symmetries. I: Main results and applications, On weak annihilators and nilpotent associated primes of skew PBW extensions, Symmetry analysis and hidden variational structure of Westervelt's equation in nonlinear acoustics, Further perspectives on elimination, Higher-spin modes in a domain-wall universe, Consistent interactions and involution, Multigraded modules of nested type, Detection of Hopf bifurcations in chemical reaction networks using convex coordinates, The anti-plane shear problem in nonlinear elasticity revisited, BRST analysis of general mechanical systems, Algorithmic Thomas decomposition of algebraic and differential systems, On the free resolution induced by a Pommaret basis, Term-ordering free involutive bases, Gauge symmetries in 2D field theory, A certificate for semidefinite relaxations in computing positive-dimensional real radical ideals, The profinite dimensional manifold structure of formal solution spaces of formally integrable PDEs, The Calabi complex and Killing sheaf cohomology, Bäcklund transformations, Algebraic and geometric structures of analytic partial differential equations, Lie completion of pseudo-groups, Geometry of jet spaces and integrable systems, Recursive moving frames for Lie pseudo-groups, Global Lie-Tresse theorem, On the numerical analysis and visualisation of implicit ordinary differential equations, Singularities of algebraic differential equations, Lagrangian constraints and differential Thomas decomposition, Differential invariants and symmetry: Riemannian metrics and beyond, On the determination of semi-inverse solutions of nonlinear Cauchy elasticity: the \textit{not so simple} case of anti-plane shear, Deterministic genericity for polynomial ideals, Algebraic construction and numerical behavior of a new s-consistent difference scheme for the 2D Navier-Stokes equations, The differential counting polynomial, BIBasis, a package for REDUCE and Macaulay2 computer algebra systems to compute Boolean involutive and Gröbner bases, Existence of \(\partial\)-parameterized Picard-Vessiot extensions over fields with algebraically closed constants, A general framework for Noetherian well ordered polynomial reductions, Systems of generators for ideals of algebra of convergent differential series, Invariants of surfaces in three-dimensional affine geometry, On the explicit solutions of separation of variables type for the incompressible 2D Euler equations, Compatibility complex for black hole spacetimes, Degree upper bounds for involutive bases, Symmetry-based algorithms for invertible mappings of polynomially nonlinear PDE to linear PDE, A logic based approach to finding real singularities of implicit ordinary differential equations, An involutive GVW algorithm and the computation of Pommaret bases, Relative Gröbner and involutive bases for ideals in quotient rings, Explicit triangular decoupling of the separated Lichnerowicz tensor wave equation on Schwarzschild into scalar Regge-Wheeler equations, On \(2+1\)-dimensional fibre-reinforced fluid motions: a magnetohydrodynamics nexus, Complementary decompositions of monomial ideals and involutive bases, Explicit solutions to the 3D incompressible Euler equations in Lagrangian formulation, Reducing triangular systems of ODEs with rational coefficients, with applications to coupled Regge-Wheeler equations, Computing the resolution regularity of bi-homogeneous ideals, Discretization of quasilinear evolution equations by computer algebra methods, The involutive system of higher-spin equations, On the algorithmic linearizability of nonlinear ordinary differential equations, On the consistency analysis of finite difference approximations, Algebraic construction of a strongly consistent, permutationally symmetric and conservative difference scheme for 3D steady Stokes flow, A factorization algorithm for \(G\)-algebras and its applications, Algebraic structure of classical field theory: kinematics and linearized dynamics for real scalar fields, Generalized conditional symmetries of evolution equations, Involutive bases algorithm incorporating F\(_5\) criterion, Singular initial value problems for scalar quasi-linear ordinary differential equations, Navier-Stokes equations, the algebraic aspect, Finite element systems for vector bundles: elasticity and curvature, Recursive structures in involutive bases theory, MultiSymplectic Discretization of Wave Map Equations, Improved Computation of Involutive Bases, On the General Analytical Solution of the Kinematic Cosserat Equations, Singular reduction modules of differential equations, Symmetries of almost complex structures and pseudoholomorphic foliations, From Analytical Mechanics Problems to Rewriting Theory Through M. Janet’s Work, Thomas Decomposition of Algebraic and Differential Systems
Uses Software
