%0 Journal Article %1 journals/corr/abs-1708-02993 %A Kovács, Zoltán %A Vajda, Róbert %D 2017 %J CoRR %K dblp %T A note about Euler's inequality and automated reasoning with dynamic geometry. %U http://dblp.uni-trier.de/db/journals/corr/corr1708.html#abs-1708-02993 %V abs/1708.02993

@article{journals/corr/abs-1708-02993, added-at = {2020-10-16T00:00:00.000+0200}, author = {Kovács, Zoltán and Vajda, Róbert}, biburl = {https://www.bibsonomy.org/bibtex/2769dc1723a3ef21adce2fde64147e6b5/dblp}, ee = {http://arxiv.org/abs/1708.02993}, interhash = {1aef375e4bf4d15caa5d26c1ac65be18}, intrahash = {769dc1723a3ef21adce2fde64147e6b5}, journal = {CoRR}, keywords = {dblp}, timestamp = {2020-10-17T11:34:11.000+0200}, title = {A note about Euler's inequality and automated reasoning with dynamic geometry.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1708.html#abs-1708-02993}, volume = {abs/1708.02993}, year = 2017 }