Quantifier-elimination-based interval computations in beam problems studied by using the approximate methods of finite differences and of finite elements - Ioakimidis, Nikolaos (Αυτο-έκδοση, 2020)