Derivation of feasibility conditions in classical vibration problems by using the method of quantifier elimination - Ioakimidis, Nikolaos (2018)