Applying Quantifier Elimination to Stability Analysis of Difference Schemes (Q3140560)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Applying Quantifier Elimination to Stability Analysis of Difference Schemes |
scientific article |
Statements
Applying Quantifier Elimination to Stability Analysis of Difference Schemes (English)
0 references
1993
0 references
time dependent partial differential equations
0 references
von Neumann stability
0 references
cylindrical algebraic decomposition
0 references
