Mathematica-based formula verification in applied mechanics - Ioakimidis, Nikolaos (2018)