Search


Current filters:
Start a new search
Add filters:

Use filters to refine the search results.


Results 1-10 of 11 (Search time: 0.001 seconds).
Item hits:
Issued DateTitleAuthor(s)Level
21-Oct-2020Generalized interval-based polynomial approximations to functions in applied mechanics by using the method of quantifier eliminationIoakimidis, Nikolaos-
25-Jun-2020Quantifier-elimination-based interval computations in beam problems studied by using the approximate methods of finite differences and of finite elementsIoakimidis, Nikolaos-
15-Nov-2018Stress concentration factors: determination of ranges of values by the method of quantifier eliminationIoakimidis, Nikolaos-
26-Jan-2018Computer algebra and symbolic computational mechanicsIoakimidis, Nikolaos-
20-Aug-2018Derivation of feasibility conditions in classical vibration problems by using 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-2019Interval computations in the formulae for the stress intensity factors at crack tips using the 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-
19-Aug-2019Sharp bounds based on quantifier elimination in truss and other applied mechanics problems with uncertain, interval forces/loads and other parametersIoakimidis, Nikolaos-
9-Mar-2020Determination of intervals in systems of parametric interval linear equilibrium equations in applied mechanics with the method of quantifier eliminationIoakimidis, Nikolaos-