The Maple package TDDS for computing Thomas decompositions of systems of nonlinear PDEs

DOI10.1016/j.cpc.2018.07.025arXiv1801.09942OpenAlexW2787227876WikidataQ114192795 ScholiaQ114192795MaRDI QIDQ6043324

Daniel Robertz, Vladimir P. Gerdt, Markus Lange-Hegermann

Publication date: 5 May 2023

Published in: Computer Physics Communications (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1801.09942

zbMATH Keywords

consistencydifferential eliminationdifferential systemThomas decompositionsimple systemcompletion to involution

Mathematics Subject Classification ID

Numerical analysis (65-XX) Systems theory; control (93-XX)

Related Items (9)

A strongly-consistent difference scheme for 3D nonlinear Navier-Stokes equations ⋮ Singularities of algebraic differential equations ⋮ Algebraic and Puiseux series solutions of systems of autonomous algebraic ODEs of dimension one in several variables ⋮ Thomas Decomposition and Nonlinear Control Systems ⋮ Surfing on curved surfaces -- the Maple package Surf ⋮ On the algorithmic linearizability of nonlinear ordinary differential equations ⋮ A logic based approach to finding real singularities of implicit ordinary differential equations ⋮ Periodic Pólya urns, the density method and asymptotics of Young tableaux ⋮ On boundary conditions parametrized by analytic functions

Cites Work

• Algorithmic Thomas decomposition of algebraic and differential systems
• Formal algorithmic elimination for PDEs
• Lagrangian constraints and differential Thomas decomposition
• On decomposition of algebraic PDE systems into simple subsystems
• Computing representations for radicals of finitely generated differential ideals
• Elimination methods
• The differential counting polynomial
• Essential components of an algebraic differential equation
• Reduction of systems of nonlinear partial differential equations to simplified involutive forms
• Classical Mechanics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The Maple package TDDS for computing Thomas decompositions of systems of nonlinear PDEs