Application of quantifier elimination to inverse free vibration problems for inhomogeneous beams and bars - Ioakimidis, Nikolaos (2018)