Interval computations in the formulae for the stress intensity factors at crack tips using the method of quantifier elimination - Ioakimidis, Nikolaos (2019)