Network


Latest external collaboration on country level. Dive into details by clicking on the dots.

Hotspot


Dive into the research topics where Francisco Botana Ferreiro is active.

Publication


Featured researches published by Francisco Botana Ferreiro.


international congress on mathematical software | 2014

Software using the Gröbner cover for geometrical loci computation and classification

Miguel A. Abánades Astudillo; Francisco Botana Ferreiro; Antonio Montes; Tomás Jesús Recio Muñiz

We describe here a properly recent application of the Grobner Cover algorithm (GC) providing an algebraic support to Dynamic Geometry computations of geometrical loci. It provides a complete algebraic solution of locus computation as well as a suitable taxonomy allowing to distinguish the nature of the different components. We included a new algorithm Locus into the Singular grobcov.lib library for this purpose. A web prototype has been implemented using it in Geogebra.


Libro de Resúmenes del XIII Encuentro de Álgebra Computacional y Aplicaciones: EACA 2012, 2012, ISBN 978-84-8138-770-4, págs. 67-69 | 2012

Implementing theorem proving in GeoGebra by using a Singular webservice

Francisco Botana Ferreiro; Zoltán Kovács; Simon Weitzhofer


Boletín de la Sociedad Puig Adam de profesores de matemáticas | 2013

A propósito de la envolvente de una familia de elipses

Francisco Botana Ferreiro; Tomás Jesús Recio Muñiz


Gaceta de la Real Sociedad Matematica Española | 2009

Software matemático libre

Miguel A. Abánades Astudillo; Francisco Botana Ferreiro; Jesús Escribano; Luis Felipe Tabera Alonso


XV Encuentro de Álgebra computacional y aplicaciones: EACA 2016, 2016, ISBN 978-84-608-9024-9, págs. 23-26 | 2016

Descubrimiento Automático en GeoGebra: Primeros pasos

Miguel A. Abánades Astudillo; Francisco Botana Ferreiro; Tomás Jesús Recio Muñiz


Archive | 2015

Computing envelopes in dynamic geometry environments

Francisco Botana Ferreiro; Tomás Jesús Recio Muñiz


Archive | 2015

On the Unavoidable Uncertainty of Truth in Dynamic Geometry Proving

Francisco Botana Ferreiro; Tomás Jesús Recio Muñiz


Archive | 2013

A symbolic-numeric dynamic geometry environment for the computation of equidistant curves

Miguel A. Abánades Astudillo; Francisco Botana Ferreiro


Libro de Resúmenes del XIII Encuentro de Álgebra Computacional y Aplicaciones: EACA 2012, 2012, ISBN 978-84-8138-770-4, págs. 63-66 | 2012

A demo on using the GröbnerCover algorithm for dynamic geometry tasks

Francisco Botana Ferreiro; Miguel A. Abánades Astudillo


Suma: Revista sobre Enseñanza y Aprendizaje de las Matemáticas | 2011

Sage: una aplicación libre para matemáticas

Francisco Botana Ferreiro; Jesús Escribano; Miguel A. Abánades Astudillo

Collaboration


Dive into the Francisco Botana Ferreiro's collaboration.

Top Co-Authors

Avatar
Top Co-Authors

Avatar
Top Co-Authors

Avatar

Antonio Montes

Polytechnic University of Catalonia

View shared research outputs
Top Co-Authors

Avatar

Eugenio Roanes Lozano

Complutense University of Madrid

View shared research outputs
Top Co-Authors

Avatar

Eugenio Roanes Macías

Complutense University of Madrid

View shared research outputs
Top Co-Authors

Avatar

Simon Weitzhofer

Johannes Kepler University of Linz

View shared research outputs
Top Co-Authors

Avatar

Zoltán Kovács

Johannes Kepler University of Linz

View shared research outputs
Researchain Logo
Decentralizing Knowledge