Use filters to refine the search results.
Results 1-4 of 4 (Search time: 0.002 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||-|
|21-Oct-2020||Generalized interval-based polynomial approximations to functions in applied mechanics by using 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||-|
|13-Oct-2019||Symbolic intervals for the unknown quantities in simple applied mechanics problems with the computational method of quantifier elimination||Ioakimidis, Nikolaos||-|