Involution. The formal theory of differential equations and its applications in computer algebra
From MaRDI portal
Publication:1018922
DOI10.1007/978-3-642-01287-7zbMATH Open1205.35003OpenAlexW4232970652MaRDI QIDQ1018922FDOQ1018922
Authors: Werner M. Seiler 
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
Recommendations
differential idealformal integrabilityKoszul homologyPommaret basisSpencer cohomologyimplicit differential-algebraic equationsinvolutive systemnon-normal systemsoverdetermined and underdetermined equationssymbolic moduleVessiot theoryGröbner basisCartan-Kähler theory
Symbolic computation and algebraic computation (68W30) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Computational homological algebra (13P20) 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)
Cited In (91)
- BRST analysis of general mechanical systems
- Singularities of algebraic differential equations
- Multisymplectic discretization of wave map equations
- Deterministic genericity for polynomial ideals
- Thomas decomposition of algebraic and differential systems
- Title not available (Why is that?)
- Spencer cohomology, differential equations, and Pommaret bases
- Lie completion of pseudo-groups
- Bäcklund transformations
- Systems of generators for ideals of algebra of convergent differential series
- Higher-spin modes in a domain-wall universe
- Consistent interactions and involution
- Algebraic construction and numerical behavior of a new s-consistent difference scheme for the 2D Navier-Stokes equations
- Finite element systems for vector bundles: elasticity and curvature
- Title not available (Why is that?)
- Geometry of jet spaces and integrable systems
- On the determination of semi-inverse solutions of nonlinear Cauchy elasticity: the \textit{not so simple} case of anti-plane shear
- A logic based approach to finding real singularities of implicit ordinary differential equations
- Existence of \(\partial\)-parameterized Picard-Vessiot extensions over fields with algebraically closed constants
- Algorithmic Thomas decomposition of algebraic and differential systems
- Algebraic construction of a strongly consistent, permutationally symmetric and conservative difference scheme for 3D steady Stokes flow
- Global Lie-Tresse theorem
- Recursive moving frames for Lie pseudo-groups
- 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
- Singular initial value problems for scalar quasi-linear ordinary differential equations
- Multigraded modules of nested type
- Degree upper bounds for involutive bases
- Symmetry-based algorithms for invertible mappings of polynomially nonlinear PDE to linear PDE
- Symmetries of almost complex structures and pseudoholomorphic foliations
- Compatibility complexes of overdetermined PDEs of finite type, with applications to the Killing equation
- Singular reduction modules of differential equations
- Ideals Generated by Differential Equations
- Lagrangian constraints and differential Thomas decomposition
- Loewy decomposition of linear differential equations
- Covariant phase space, constraints, gauge and the Peierls formula
- On the free resolution induced by a Pommaret basis
- Term-ordering free involutive bases
- Discretization of quasilinear evolution equations by computer algebra methods
- Recursive structures in involutive bases theory
- An involutive GVW algorithm and the computation of Pommaret bases
- Generalized conditional symmetries of evolution equations
- The involutive system of higher-spin equations
- Detection of Hopf bifurcations in chemical reaction networks using convex coordinates
- Effective genericity, \(\delta\)-regularity and strong Noether position
- Improved computation of involutive bases
- Gauge symmetries in 2D field theory
- A certificate for semidefinite relaxations in computing positive-dimensional real radical ideals
- On the numerical analysis and visualisation of implicit ordinary differential equations
- BIBasis, a package for REDUCE and Macaulay2 computer algebra systems to compute Boolean involutive and Gröbner bases
- Complementary decompositions of monomial ideals and involutive bases
- Algebraic structure of classical field theory: kinematics and linearized dynamics for real scalar fields
- Involutive bases algorithm incorporating F\(_5\) criterion
- The profinite dimensional manifold structure of formal solution spaces of formally integrable PDEs
- The Calabi complex and Killing sheaf cohomology
- A general framework for Noetherian well ordered polynomial reductions
- The anti-plane shear problem in nonlinear elasticity revisited
- Algebraic and geometric structures of analytic partial differential equations
- Gröbner bases and gradings for partial difference ideals
- The differential counting polynomial
- Differential invariants and symmetry: Riemannian metrics and beyond
- Computing the resolution regularity of bi-homogeneous ideals
- Canonical reductions of the TED equation: integrable deformations of heavenly-type equations
- Title not available (Why is that?)
- On the consistency analysis of finite difference approximations
- Title not available (Why is that?)
- No Chaos in Dixon’s System
- On an integrable multi-dimensionally consistent \(2n + 2n\)-dimensional heavenly-type equation
- BGG sequences with weak regularity and applications
- Further perspectives on elimination
- Symmetry actions and brackets for adjoint-symmetries. I: Main results and applications
- Cellular structure of the Pommaret-Seiler resolution for quasi-stable ideals
- A single exponential time algorithm for homogeneous regular sequence tests
- On several classes of Ricci tensor
- On the general analytical solution of the kinematic Cosserat equations
- Relative Gröbner and involutive bases for ideals in quotient rings
- On the uniform dimension and the associated primes of skew PBW extensions
- Navier-Stokes equations, the algebraic aspect
- From Analytical Mechanics Problems to Rewriting Theory Through M. Janet’s Work
- Explicit solutions to the 3D incompressible Euler equations in Lagrangian formulation
- On the algorithmic linearizability of nonlinear ordinary differential equations
- On weak annihilators and nilpotent associated primes of skew PBW extensions
- A factorization algorithm for \(G\)-algebras and its applications
- Affine manifolds: the differential geometry of the multi-dimensionally consistent TED equation
- Explicit triangular decoupling of the separated Lichnerowicz tensor wave equation on Schwarzschild into scalar Regge-Wheeler equations
- Title not available (Why is that?)
- Reducing triangular systems of ODEs with rational coefficients, with applications to coupled Regge-Wheeler equations
- Symmetry analysis and hidden variational structure of Westervelt's equation in nonlinear acoustics
- On \(2+1\)-dimensional fibre-reinforced fluid motions: a magnetohydrodynamics nexus
- Uncertainty quantification in the numerical solution of coupled systems by involutive completion
Uses Software
This page was built for publication: Involution. The formal theory of differential equations and its applications in computer algebra
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1018922)
