Pages that link to "Item:Q1905516"
From MaRDI portal
The following pages link to Application of quantifier elimination to a simple elastic beam finite element below a straight rigid obstacle (Q1905516):
Displaying 5 items.
- Lack-of-contact conditions for a penny-shaped crack under a polynomial normal loading (Q671211) (← links)
- Automatic derivation of positivity conditions inside boundary elements with the help of the REDLOG computer logic package. (Q1568438) (← links)
- Application of quantifier elimination to inverse buckling problems (Q1742348) (← links)
- Finite element linear and nonlinear, static and dynamic analysis of structural elements: a bibliography (1992‐1995) (Q2721478) (← links)
- Classical numerical methods in engineering: a note on existential quantifier elimination under parametric inequality constraints (Q4213662) (← links)
