Finite differences/elements in classical beam problems: Derivation of feasibility conditions under parametric inequality constraints with the help of Reduce and REDLOG

DOI10.1007/s004660000223zbMath1031.74048OpenAlexW1984833496MaRDI QIDQ5937893

No author found.

Publication date: 11 September 2001

Published in: Computational Mechanics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s004660000223

zbMATH Keywords

finite difference methodcomputer algebra system Reducefinite beamparametric linear inequality constraintstriangular loadingWeispfenning quantifier elimination algorithms

Mathematics Subject Classification ID

Rods (beams, columns, shafts, arches, rings, etc.) (74K10) Finite element methods applied to problems in solid mechanics (74S05) Finite difference methods applied to problems in solid mechanics (74S20)

Related Items (2)

Finite element linear and nonlinear, static and dynamic analysis of structural elements, an addendum ⋮ Automatic derivation of positivity conditions inside boundary elements with the help of the REDLOG computer logic package.

Uses Software

• Theorema
• OTTER
• REDLOG

This page was built for publication: Finite differences/elements in classical beam problems: Derivation of feasibility conditions under parametric inequality constraints with the help of Reduce and REDLOG