Quantifier Elimination for Approximate Factorization of Linear Partial Differential Operators

DOI10.1007/978-3-540-73086-6_9zbMath1202.68491OpenAlexW1920821698MaRDI QIDQ5428263

Scott McCallum, Elena A. Kartashova

Publication date: 28 November 2007

Published in: Towards Mechanized Mathematical Assistants (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-73086-6_9

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) General theory of partial differential operators (47F05) Hyperbolic equations and hyperbolic systems (35L99)

Uses Software

• QEPCAD

This page was built for publication: Quantifier Elimination for Approximate Factorization of Linear Partial Differential Operators