Application of quantifier elimination to a simple elastic beam finite element below a straight rigid obstacle
From MaRDI portal
Publication:1905516
DOI10.1016/0093-6413(95)00023-KzbMath0850.73343OpenAlexW2007279767MaRDI QIDQ1905516
Publication date: 17 July 1996
Published in: Mechanics Research Communications (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0093-6413(95)00023-k
Rods (beams, columns, shafts, arches, rings, etc.) (74K10) Finite element methods applied to problems in solid mechanics (74S05)
Related Items
Finite element linear and nonlinear, static and dynamic analysis of structural elements: a bibliography (1992‐1995) ⋮ Lack-of-contact conditions for a penny-shaped crack under a polynomial normal loading ⋮ Application of quantifier elimination to inverse buckling problems ⋮ Classical numerical methods in engineering: a note on existential quantifier elimination under parametric inequality constraints ⋮ Automatic derivation of positivity conditions inside boundary elements with the help of the REDLOG computer logic package.
Uses Software
