Title: A note about Euler's inequality and automated reasoning with dynamic geometry,
Abstract: Using implicit loci in GeoGebra Euler's $R\geq 2r$ inequality can be
investigated in a novel way. 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.