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 (79)
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
This page was built for publication: Involution. The formal theory of differential equations and its applications in computer algebra
