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.35003OpenAlexW4232970652MaRDI 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 basisKoszul homologyformal integrabilityinvolutive systemCartan-Kähler theorydifferential idealPommaret basisSpencer cohomologyimplicit differential-algebraic equationsnon-normal systemsoverdetermined and underdetermined equationssymbolic moduleVessiot theory
Symbolic computation and algebraic computation (68W30) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Research exposition (monographs, survey articles) pertaining to partial differential equations (35-02) Research exposition (monographs, survey articles) pertaining to commutative algebra (13-02) Software, source code, etc. for problems pertaining to partial differential equations (35-04) Computational homological algebra (13P20)
Related Items
Singularities of algebraic differential equations, Higher-spin modes in a domain-wall universe, Loewy decomposition of linear differential equations, On the determination of semi-inverse solutions of nonlinear Cauchy elasticity: the \textit{not so simple} case of anti-plane shear, Consistent interactions and involution, Multigraded modules of nested type, Unnamed Item, Symmetries of almost complex structures and pseudoholomorphic foliations, Detection of Hopf bifurcations in chemical reaction networks using convex coordinates, Singular initial value problems for scalar quasi-linear ordinary differential equations, 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, The anti-plane shear problem in nonlinear elasticity revisited, A factorization algorithm for \(G\)-algebras and its applications, Navier-Stokes equations, the algebraic aspect, Deterministic genericity for polynomial ideals, BRST analysis of general mechanical systems, Algebraic structure of classical field theory: kinematics and linearized dynamics for real scalar fields, Existence of \(\partial\)-parameterized Picard-Vessiot extensions over fields with algebraically closed constants, Symmetry actions and brackets for adjoint-symmetries. I: Main results and applications, On weak annihilators and nilpotent associated primes of skew PBW extensions, Lagrangian constraints and differential Thomas decomposition, Symmetry analysis and hidden variational structure of Westervelt's equation in nonlinear acoustics, Further perspectives on elimination, Differential invariants and symmetry: Riemannian metrics and beyond, Generalized conditional symmetries of evolution equations, Geometry of jet spaces and integrable systems, Algorithmic Thomas decomposition of algebraic and differential systems, Finite element systems for vector bundles: elasticity and curvature, Involutive bases algorithm incorporating F\(_5\) criterion, Recursive structures in involutive bases theory, Computing the resolution regularity of bi-homogeneous ideals, Discretization of quasilinear evolution equations by computer algebra methods, From Analytical Mechanics Problems to Rewriting Theory Through M. Janet’s Work, On the free resolution induced by a Pommaret basis, Term-ordering free involutive bases, The involutive system of higher-spin equations, Gauge symmetries in 2D field theory, A certificate for semidefinite relaxations in computing positive-dimensional real radical ideals, Algebraic construction and numerical behavior of a new s-consistent difference scheme for the 2D Navier-Stokes equations, Effective Genericity, δ-Regularity and Strong Noether Position, The profinite dimensional manifold structure of formal solution spaces of formally integrable PDEs, The Calabi complex and Killing sheaf cohomology, Covariant phase space, constraints, gauge and the Peierls formula, Compatibility complexes of overdetermined PDEs of finite type, with applications to the Killing equation, The differential counting polynomial, On an integrable multi-dimensionally consistent 2 n + 2 n -dimensional heavenly-type equation, Bäcklund transformations, Algebraic and geometric structures of analytic partial differential equations, A general framework for Noetherian well ordered polynomial reductions, BIBasis, a package for REDUCE and Macaulay2 computer algebra systems to compute Boolean involutive and Gröbner bases, Lie completion of pseudo-groups, Thomas Decomposition of Algebraic and Differential Systems, 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, Recursive moving frames for Lie pseudo-groups, Compatibility complex for black hole spacetimes, On the algorithmic linearizability of nonlinear ordinary differential equations, 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, MultiSymplectic Discretization of Wave Map Equations, Global Lie-Tresse theorem, An involutive GVW algorithm and the computation of Pommaret bases, Relative Gröbner and involutive bases for ideals in quotient rings, 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, Improved Computation of Involutive Bases, On the General Analytical Solution of the Kinematic Cosserat Equations, Singular reduction modules of differential equations, Gröbner bases and gradings for partial difference ideals, Explicit triangular decoupling of the separated Lichnerowicz tensor wave equation on Schwarzschild into scalar Regge-Wheeler equations, On the numerical analysis and visualisation of implicit ordinary differential equations, On \(2+1\)-dimensional fibre-reinforced fluid motions: a magnetohydrodynamics nexus, Uncertainty quantification in the numerical solution of coupled systems by involutive completion, No Chaos in Dixon’s System, Ideals Generated by Differential Equations, Complementary decompositions of monomial ideals and involutive bases
Uses Software
