1. Nemertes

Search


Current filters:
Start a new search
Add filters:

Use filters to refine the search results.

 | 
Results 1-10 of 59 (Search time: 0.001 seconds).
Item hits:
Issued DateTitleAuthor(s)Level
15-Nov-2018Stress concentration factors: determination of ranges of values by 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-
21-Oct-2020Generalized interval-based polynomial approximations to functions in applied mechanics by using the method of quantifier eliminationIoakimidis, Nikolaos-
3-Jan-2018Mathematica-based formula verification in applied mechanicsIoakimidis, Nikolaos-
16-Feb-2018REDLOG-aided derivation of feasibility conditions in applied mechanics and engineering problems under simple inequality constraintsIoakimidis, Nikolaos-
25-Jan-2018Symbolic computations for the approximate solution of singular integral equations: application to a crack problemIoakimidis, Nikolaos-
13-Feb-2018Locating inclusions of the same material in finite plane isotropic elastic media by using complex path-independent integralsIoakimidis, Nikolaos-
16-Jan-2018A new approach to the construction of some path-independent integrals about crack tipsIoakimidis, Nikolaos-
8-Jan-2018Elementary theorem-proving applications of the OTTER automated deduction system in structural mechanicsIoakimidis, Nikolaos-
8-Jan-2018Application of Mathematica to the Rayleigh–Ritz method for plane elasticity problemsIoakimidis, Nikolaos-

Discover