Automated Deduction in Geometry - Botana (Springer International Publishing, 2015)