Use filters to refine the search results.
Results 1-4 of 4 (Search time: 0.001 seconds).
|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||-|
|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||-|
|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||-|