V Marinković,
P Janičić,
P Schreck - … , ADG 2014, Coimbra, Portugal, July 9 …, 2015 - Springer
Over the last sixty years, a number of methods for automated theorem proving in geometry,
especially Euclidean geometry, have been developed. Almost all of them focus on …