Computerized proofs of geometric theorems: applications to mechanism problems - Ioakimidis, Nikolaos (2018)