Involution. The formal theory of differential equations and its applications in computer algebra

Recommendations

scientific article; zbMATH DE number 2233304
scientific article; zbMATH DE number 1206825
Two algebraic byways from differential equations: Gröbner bases and quivers
On formal theory of differential equations. I.
Involution analysis for nonlinear exterior differential systems

Cited in

(91)

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

Describes a project that uses

Uses Software

EDS
MuPAD
SINGULAR

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)