Stability analysis by quantifier elimination.

DOI10.1016/S0378-4754(96)00039-0zbMath1037.65506OpenAlexW2003455785MaRDI QIDQ1565849

Richard Liska, Stanly L. Steinberg

Publication date: 27 May 2003

Published in: Mathematics and Computers in Simulation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0378-4754(96)00039-0

zbMATH Keywords

stability analysisquantifier eliminationdifference schemespartial differential equationcomputer algebra

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) 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)

Related Items (1)

Computer algebra and problems of motion stability

Uses Software

• FIDE
• Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The stability analysis of difference schemes by numerical solution of the generalized Routh-Hurwitz problem
• Partial cylindrical algebraic decomposition for quantifier elimination
• Stability and accuracy of differencing methods for viscoplastic models in wavecodes
• Improved FCT algorithm for shock hydrodynamics

This page was built for publication: Stability analysis by quantifier elimination.