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 quantifier elimination to robust reliability under severe uncertainty conditions by using the info-gap decision theory (IGDT)

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

Application of the method of quantifier elimination to the determination of intervals when the uncertain parameters satisfy an ellipsoidal inequality constraint

Applications of quantifier elimination to the proofs of algebraic inequalities in engineering problems related to Todinov's method for risk reduction

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