On Euler's inequality and automated reasoning with dynamic geometry
Symbolic Computation
2020-04-07 v3 History and Overview
Abstract
Euler's inequality can be investigated in a novel way by using implicit loci in GeoGebra. Some unavoidable side effects of the implicit locus computation introduce unexpected algebraic curves. By using a mixture of symbolic and numerical methods a possible approach is sketched up to investigate the situation. By exploiting fast GPU computations, a web application written in CindyJS helps in understanding the situation even better.
Keywords
Cite
@article{arxiv.1708.02993,
title = {On Euler's inequality and automated reasoning with dynamic geometry},
author = {Zoltán Kovács and Róbert Vajda and Aaron Montag},
journal= {arXiv preprint arXiv:1708.02993},
year = {2020}
}
Comments
14 pages, 9 figures