Acceleration measurements at high frequency mechanical vibrations (shocks) and evaluation of lumbar spine injuries using ISO® 2631 – Part 5 Standard on Ermioni HSC Seats

An application of Ben-Haim's info-gap decision theory (IGDT) to Todinov's method of algebraic inequalities by employing the method of quantifier elimination

Application of complex path-independent integrals to locating circular holes and inclusions in classical plane elasticity

Application of Mathematica to the Rayleigh–Ritz method for plane elasticity problems

Application of quantifier elimination to inverse free vibration problems for inhomogeneous beams and bars

Application of the method of caustics to the experimental determination of the Poisson ratio

Application of the method of quantifier elimination to Ben-Haim's info-gap decision theory (IGDT) under the presence of both horizon-of-uncertainty-related and ordinary interval uncertain variables

Automata-theoretic and datalog-based solutions of monadic second-order logic evaluation problems over structures of bounded-treewidth

Biclustering based on association analysis

A closed-form formula for the critical buckling load of a bar with one end fixed and the other pinned

Computation of ranges of functions in problems of applied mechanics with the computational method of quantifier elimination

Computerized proofs of geometric theorems: applications to mechanism problems

Derivation of feasibility conditions in classical vibration problems by using the method of quantifier elimination

Detection of loading/geometrical singularities in isotropic elastic media with the use of Gröbner bases

Determination of intervals in systems of parametric interval linear equilibrium equations in applied mechanics with the method of quantifier elimination

Direct solution of plane elasticity problems by using the Muskhelishvili functional equation and computer algebra software

Elementary engineering mechanics applications of the OTTER automated reasoning system

Elementary quantifier-free formulae in boundary elements

Elementary theorem-proving applications of the OTTER automated deduction system in structural mechanics

Formulae for the exponential, the hyperbolic and the trigonometric functions in terms of the logarithmic function