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