Quantifier elimination supported proofs in the numerical treatment of fluid flows

DOI10.1007/s00200-007-0057-6zbMath1149.76646OpenAlexW2077691941MaRDI QIDQ945006

Pavel Váchal, Richard Liska

Publication date: 10 September 2008

Published in: Applicable Algebra in Engineering, Communication and Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00200-007-0057-6

zbMATH Keywords

stabilityfinite difference methodquantifier eliminationadvection-diffusion equationnumerical methods for fluid flows

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Finite difference methods applied to problems in fluid mechanics (76M20) 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) Initial value problems for second-order parabolic equations (35K15)

Uses Software

• QEPCAD
• REDLOG
• AQCS

Cites Work

• Quantifier elimination for real algebra -- the quadratic case and beyond
• Pseudo-time algorithms for the Navier-Stokes equations
• Partial cylindrical algebraic decomposition for quantifier elimination
• Testing stability by quantifier elimination
• Solving systems of strict polynomial inequalities
• QEPCAD B
• Computational Science – ICCS 2005
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Quantifier elimination supported proofs in the numerical treatment of fluid flows