TY  - RPRT
TI  - On Euler's inequality and automated reasoning with dynamic geometry
AU  - Zoltán Kovács
AU  - Róbert Vajda
AU  - Aaron Montag
PY  - 2020
UR  - https://arxiv.org/abs/1708.02993
ID  - 1708.02993
ER  -