Use filters to refine the search results.
|11-May-2018||Redlog-based derivation of feasibility conditions for singular integral equations of crack problems under parametric inequality constraints||Ioakimidis, Nikolaos||-|
|15-Jun-2018||Application of quantifier elimination to inverse free vibration problems for inhomogeneous beams and bars||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||-|