Use filters to refine the search results.
|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||-|
|13-Oct-2019||Symbolic intervals for the unknown quantities in simple applied mechanics problems with the computational method of quantifier elimination||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||-|
|4-Jan-2021||Application of the method of quantifier elimination to the determination of intervals when the uncertain parameters satisfy an ellipsoidal inequality constraint||Ioakimidis, Nikolaos||-|