scientific article; zbMATH DE number 934502

zbMATH Open0854.65074MaRDI QIDQ4895201FDOQ4895201

Authors: R. Liska, Stanly Steinberg 

Publication date: 27 January 1997

Title of this publication is not available (Why is that?)

Recommendations

• Testing stability by quantifier elimination
• Stability analysis by quantifier elimination.
• Applying Quantifier Elimination to Stability Analysis of Difference Schemes
• Variant real quantifier elimination: algorithm and application

zbMATH Keywords

stabilitycomputer algebrafinite difference methodinitial value problemsRouth-Hurwitz criteriaquantifier elimination algorithms

Mathematics Subject Classification ID

Initial value problems for higher-order parabolic equations (35K30) Finite difference methods for initial value and initial-boundary value problems involving PDEs (65M06) Stability and convergence of numerical methods for initial value and initial-boundary value problems involving PDEs (65M12)

Cited In (4)

• Quantifier Elimination for Approximate Factorization of Linear Partial Differential Operators
• Applying Quantifier Elimination to Stability Analysis of Difference Schemes
• Stability analysis by quantifier elimination.
• Variant quantifier elimination

Uses Software

• QEPCAD

This page was built for publication:

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