Quantifier Elimination for Approximate Factorization of Linear Partial Differential Operators

DOI10.1007/978-3-540-73086-6_9zbMATH Open1202.68491OpenAlexW1920821698MaRDI QIDQ5428263FDOQ5428263

Authors: 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

Recommendations

• scientific article; zbMATH DE number 934502
• Factoring and solving linear partial differential equations
• Quantifier elimination for real algebra -- the quadratic case and beyond
• Partial cylindrical algebraic decomposition for quantifier elimination
• QEPCAD B

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5428263)