Use filters to refine the search results.
Results 1-5 of 5 (Search time: 0.0 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||-|
|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||-|
|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||-|
|19-Aug-2019||Sharp bounds based on quantifier elimination in truss and other applied mechanics problems with uncertain, interval forces/loads and other parameters||Ioakimidis, Nikolaos||-|