1. Nemertes

Search


Current filters:

Start a new search
Add filters:

Use filters to refine the search results.

 | 
Results 1-10 of 15 (Search time: 0.002 seconds).
Item hits:
Issued DateTitleAuthor(s)Level
3-Jan-2018Mathematica-based formula verification in applied mechanicsIoakimidis, Nikolaos-
8-Jan-2018Application of Mathematica to the Rayleigh–Ritz method for plane elasticity problemsIoakimidis, Nikolaos-
26-Jan-2018Computer algebra and symbolic computational mechanicsIoakimidis, Nikolaos-
15-Nov-2018Stress concentration factors: determination of ranges of values by the method of quantifier eliminationIoakimidis, Nikolaos-
3-Oct-2018Computation of ranges of functions in problems of applied mechanics with the computational method of quantifier eliminationIoakimidis, Nikolaos-
24-May-2019Sharp enclosures of the real roots of the classical parametric quadratic equation with one interval coefficient by the method of quantifier eliminationIoakimidis, Nikolaos-
20-Aug-2018Derivation of feasibility conditions in classical vibration problems by using the method of quantifier eliminationIoakimidis, Nikolaos-
24-May-2019Interval computations in the formulae for the stress intensity factors at crack tips using the method of quantifier eliminationIoakimidis, Nikolaos-
15-Jun-2018Application of quantifier elimination to inverse free vibration problems for inhomogeneous beams and barsIoakimidis, Nikolaos-
7-Feb-2020Interval computations in various direct and inverse applied mechanics problems related to quantifiers by using the method of quantifier eliminationIoakimidis, Nikolaos-

Discover