| Summary: | Problems involving symbolic computations and quantified variables in parametric inequality constraints appear quite naturally and frequently in applied mechanics and engineering. In this technical report, we illustrate the use of REDLOG, a recent logic package of the well-known Reduce computer algebra system, for the solution of several such problems, i.e. for the derivation of simultaneously necessary and sufficient parametric feasibility conditions (free from the quantified variables) so that our parametric inequality constraints can be completely satisfied. The present applications concern some simple problems from the theory of plates, heat transfer, elasticity and strength of materials, whereas an extremely large number of additional related problems appearing in engineering practice can also be solved with the help of REDLOG.
|
|---|
