Formal algorithmic elimination for PDEs

DOI10.1007/978-3-319-11445-3zbMath1339.35007OpenAlexW4378105013MaRDI QIDQ468363

Daniel Robertz

Publication date: 6 November 2014

Published in: Lecture Notes in Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-11445-3

zbMATH Keywords

implicitizationcompatibility conditionsdifferential polynomialsdifferential algebraeliminationJanet basespolynomial nonlinearitiesformal theoryfully nonlinear systemsOre algebrasThomas decomposition

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Ordinary and skew polynomial rings and semigroup rings (16S36) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Syzygies, resolutions, complexes in associative algebras (16E05) Differential algebra (12H05) Research exposition (monographs, survey articles) pertaining to partial differential equations (35-02) Software, source code, etc. for problems pertaining to partial differential equations (35-04)

Related Items (26)

A strongly-consistent difference scheme for 3D nonlinear Navier-Stokes equations ⋮ Singularities of algebraic differential equations ⋮ Normal forms in differential Galois theory for the classical groups ⋮ The algebro-geometric method: Solving algebraic differential equations by parametrizations ⋮ On differential approximations of difference schemes ⋮ Algebraic and Puiseux series solutions of systems of autonomous algebraic ODEs of dimension one in several variables ⋮ Rational general solutions of systems of first-order algebraic partial differential equations ⋮ The Maple package TDDS for computing Thomas decompositions of systems of nonlinear PDEs ⋮ Effective power series computations ⋮ Lagrangian constraints and differential Thomas decomposition ⋮ On constructing boundaries for boundary value problems: the general case ⋮ Thomas Decomposition and Nonlinear Control Systems ⋮ On Symbolic Approaches to Integro-Differential Equations ⋮ A nullstellensatz for linear partial differential equations with polynomial coefficients ⋮ From Analytical Mechanics Problems to Rewriting Theory Through M. Janet’s Work ⋮ An equivalence theorem for regular differential chains ⋮ Algebraic construction and numerical behavior of a new s-consistent difference scheme for the 2D Navier-Stokes equations ⋮ Desingularization in the \(q\)-Weyl algebra ⋮ An integro-differential structure for Dirac distributions ⋮ On the algorithmic linearizability of nonlinear ordinary differential equations ⋮ 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 ⋮ Automatic pre- and postconditions for partial differential equations ⋮ On the consistency analysis of finite difference approximations ⋮ On the General Analytical Solution of the Kinematic Cosserat Equations ⋮ On boundary conditions parametrized by analytic functions

Uses Software

• CoCoA
• GAP
• Ginv
• homalg
• Macaulay2
• Magma
• Maple
• MuPAD
• Plural
• REDUCE
• RegularChains
• SINGULAR
• ALLTYPES
• OreModules
• CRACK
• Janet
• DifferentialThomas
• DIFFALG
• Jets
• primdec
• OreMorphisms
• AlgebraicThomas
• InvolutiveBases

This page was built for publication: Formal algorithmic elimination for PDEs