Pages that link to "Item:Q3140560"
From MaRDI portal
The following pages link to Applying Quantifier Elimination to Stability Analysis of Difference Schemes (Q3140560):
Displaying 11 items.
- Variant quantifier elimination (Q420753) (← links)
- Testing stability by quantifier elimination (Q1368692) (← links)
- Stability analysis by quantifier elimination. (Q1565849) (← links)
- Quantifier elimination for trigonometric polynomials by cylindrical trigonometric decomposition (Q1581134) (← links)
- Quantified constraints under perturbation (Q1600045) (← links)
- Open weak CAD and its applications (Q1711996) (← links)
- The exact region of stability for MacCormack scheme (Q1916052) (← links)
- Special algorithm for stability analysis of multistable biological regulatory systems (Q2343243) (← links)
- Real quantifier elimination for the synthesis of optimal numerical algorithms (case study: square root computation) (Q2635072) (← links)
- (Q4730773) (← links)
- Faster one block quantifier elimination for regular polynomial systems of equations (Q6666546) (← links)