Resumen de La curva... ¿de Rosillo?

Nicolás Rosillo Fernández

• Following processes related to automated geometry theorem proving, we obtain a curve, named as Rosillo curve by Robert Ferreol (http://www.mathcurve.com)