1. Nemertes

Search


Current filters:
Start a new search
Add filters:

Use filters to refine the search results.

 | 
Results 1-7 of 7 (Search time: 0.001 seconds).
  • previous
  • 1
  • next
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-
11-Jan-2018Elementary engineering mechanics applications of the OTTER automated reasoning systemIoakimidis, Nikolaos-
8-Jan-2018Elementary theorem-proving applications of the OTTER automated deduction system in structural mechanicsIoakimidis, Nikolaos-
14-Feb-2018An inequality constraint for the deflection of an elastic beam under a uniform distributed loadingIoakimidis, Nikolaos-
3-Oct-2018Computation of ranges of functions in problems of applied mechanics with the computational method of quantifier eliminationIoakimidis, 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