Formal Algorithmic Elimination for PDEs
type: Item
instance of: scholarly article
title: Formal Algorithmic Elimination for PDEs
zbMATH Open document ID: 1364.35008
DOI: 10.1145/2930889.2930941
author: Daniel Robertz
published in: Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation
publication date: 2017-05-10T00:00:00Z
Mathematics Subject Classification ID: 35-04
Mathematics Subject Classification ID: 35C05
Mathematics Subject Classification ID: 35Q30
Mathematics Subject Classification ID: 12H05
Mathematics Subject Classification ID: 68W30
zbMATH DE Number: 6713932
zbMATH Keywords: Thomas decomposition
zbMATH Keywords: analytic functions
zbMATH Keywords: differential eliminiation
zbMATH Keywords: nonlinear pdes
describes a project that uses: RegularChains
describes a project that uses: DifferentialThomas
describes a project that uses: AlgebraicThomas
describes a project that uses: Maple
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1145/2930889.2930941
OpenAlex ID: W4301508226
description: scientific article