Pages that link to "Item:Q1290082"
From MaRDI portal
The following pages link to Quantifier elimination in applied mechanics problems with cylindrical algebraic decomposition (Q1290082):
Displaying 6 items.
- Automatic derivation of positivity conditions inside boundary elements with the help of the REDLOG computer logic package. (Q1568438) (← links)
- Quantified constraints under perturbation (Q1600045) (← links)
- Application of quantifier elimination to inverse buckling problems (Q1742348) (← links)
- Classical numerical methods in engineering: a note on existential quantifier elimination under parametric inequality constraints (Q4213662) (← links)
- Derivation of feasibility conditions in engineering problems under parametric inequality constraints with classical Fourier elimination (Q4506060) (← links)
- BEAMS ON TENSIONLESS ELASTIC FOUNDATION: APPROXIMATE QUANTIFIER ELIMINATION WITH CHEBYSHEV SERIES (Q4871659) (← links)