Zoltan Kovács, R. Vajda,
"A note about Euler's inequality and automated reasoning with dynamic geometry"
, in CoRR - Computing Research Repository, Serie abs/1708.02993v2, 2018
Original Titel:
A note about Euler's inequality and automated reasoning with dynamic geometry