Pages that link to "Item:Q1565849"
From MaRDI portal
The following pages link to Stability analysis by quantifier elimination. (Q1565849):
Displaying 6 items.
- Variant quantifier elimination (Q420753) (← links)
- Testing stability by quantifier elimination (Q1368692) (← links)
- Symbolic-numerical computation of the stability regions for Jameson's schemes. (Q1565846) (← links)
- Variant real quantifier elimination: algorithm and application (Q2883815) (← links)
- Applying Quantifier Elimination to Stability Analysis of Difference Schemes (Q3140560) (← links)
- Computer algebra and problems of motion stability (Q5950175) (← links)