Search
Add filters:
Use filters to refine the search results.
Results 1-5 of 5 (Search time: 0.0 seconds).
- previous
- 1
- next
Item hits:
Issued Date | Title | Author(s) | Level |
---|---|---|---|
21-Oct-2020 | Generalized interval-based polynomial approximations to functions in applied mechanics by using the method of quantifier elimination | Ioakimidis, Nikolaos | - |
25-Jun-2020 | Quantifier-elimination-based interval computations in beam problems studied by using the approximate methods of finite differences and of finite elements | Ioakimidis, Nikolaos | - |
7-Feb-2020 | Intervals for the resultants of interval forces with existentially and/or universally quantified formulae with the help of the method of quantifier elimination | Ioakimidis, Nikolaos | - |
9-Mar-2020 | Determination of intervals in systems of parametric interval linear equilibrium equations in applied mechanics with the method of quantifier elimination | Ioakimidis, Nikolaos | - |
7-Feb-2020 | Interval computations in various direct and inverse applied mechanics problems related to quantifiers by using the method of quantifier elimination | Ioakimidis, Nikolaos | - |