The classical problem of a beam on a tensionless Winkler elastic foundation is reconsidered for the derivation of the conditions of complete contact between the beam and the foundation. This is achieved through the application of modern quantifier elimination software included in the computer algebra sys-tem Mathematica together with Taylor–Maclaurin series approximations to the deflection of the beam.Four particular beam problems have been considered in detail and the related QFFs (quantifier-freeformulae) have been obtained for several values of the order in the series approximations. Additional approximation possibilities have also been investigated with an emphasis put on the use of the Galerkin method based on weighted residuals. The present results seem to constitute one more interesting application of modern quantifier elimination algorithms and the related software (here in Mathematica) to applied and engineering mechanics.
For the newest resources, visit Wolfram Repositories and Archives »
