Quantifier Elimination for Approximate Factorization of Linear Partial Differential Operators

DOI10.1007/978-3-540-73086-6_9MaRDI QIDQ5428263zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

Describes a project that uses

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)