Applying Quantifier Elimination to Stability Analysis of Difference Schemes

DOI10.1093/COMJNL/36.5.497MaRDI QIDQ3140560zbMATH OpenOpenAlexFDO

Authors R. Liska, Stanly Steinberg

Publication date 1993

Published in The Computer Journal (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/comjnl/36.5.497

zbMATH Keywords

cylindrical algebraic decompositiontime dependent partial differential equationsvon Neumann stability

Mathematics Subject Classification ID

Quantifier elimination, model completeness, and related topics (03C10) Symbolic computation and algebraic computation (68W30)

Recommendations

• Stability analysis by quantifier elimination.
• scientific article; zbMATH DE number 934502
• Testing stability by quantifier elimination
• scientific article; zbMATH DE number 4133428
• scientific article; zbMATH DE number 1263337

Cited in

(12)

• Testing stability by quantifier elimination
• Stability analysis by quantifier elimination.
• Quantifier elimination for trigonometric polynomials by cylindrical trigonometric decomposition
• Quantified constraints under perturbation
• Open weak CAD and its applications
• The exact region of stability for MacCormack scheme
• Special algorithm for stability analysis of multistable biological regulatory systems
• Real quantifier elimination for the synthesis of optimal numerical algorithms (case study: square root computation)
• Variant quantifier elimination
• scientific article; zbMATH DE number 4115953 (Why is no real title available?)
• scientific article; zbMATH DE number 934502 (Why is no real title available?)
• Faster one block quantifier elimination for regular polynomial systems of equations

Describes a project that uses

Uses Software

• QEPCAD
• REDUCE

This page was built for publication: Applying Quantifier Elimination to Stability Analysis of Difference Schemes

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