Search
Add filters:
Use filters to refine the search results.
Results 1-3 of 3 (Search time: 0.001 seconds).
- previous
- 1
- next
Item hits:
Issued Date | Title | Author(s) | Level |
---|---|---|---|
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 | - |
24-May-2019 | Sharp enclosures of the real roots of the classical parametric quadratic equation with one interval coefficient by the method of quantifier elimination | Ioakimidis, Nikolaos | - |
24-May-2019 | Interval computations in the formulae for the stress intensity factors at crack tips using the method of quantifier elimination | Ioakimidis, Nikolaos | - |