Visualizar por autor "Botana Ferreiro, Francisco Ramón"

xmlui.themes.about.link

Mostrando ítems 1-14 de 14

A Parametric Approach to 3D Dynamic Geometry

Botana Ferreiro, Francisco Ramón (Elsevier, 2014-10)
A propósito de la envolvente de una familia de elipses

Botana Ferreiro, Francisco Ramón; Recio Muñiz, Tomás (Sociedad Puig Adam de profesores de matemáticas, 2013-10)
A Singular web service for geometric computations

Botana Ferreiro, Francisco Ramón; Kovács, Zoltán (Springer, 2014)
An algebraic taxonomy for locus computation in dynamic geometry

Abánades Astudillo, Miguel Ángel; Botana Ferreiro, Francisco Ramón; Montes, Antonio; Recio Muñiz, Tomás (Elsevier, 2014-11)
Automated Theorem Proving in GeoGebra: Current Achievements

Botana Ferreiro, Francisco Ramón; Hohenwarter, Markus; Janičić, Predrag; Kovács, Zoltán; Ivan, Petrović; Recio Muñiz, Tomás; Weitzhofer, Simon (Springer Netherlands, 2015-06)
Automatic Deduction in (Dynamic) Geometry: Loci Computation

Botana Ferreiro, Francisco Ramón; Abánades Astudillo, Miguel Ángel (Elsevier, 2014-01)
Computing bisectors in a dynamic geometry environment

Botana Ferreiro, Francisco Ramón (Taylor & Francis, 2013)
Computing envelopes in dynamic geometry environments

Botana Ferreiro, Francisco Ramón; Recio Muñiz, Tomás (2015-09)
Hacia un autómata geómetra

Botana Ferreiro, Francisco Ramón; Kovács, Zoltán; Recio Muñiz, Tomás; Vélez Melón, Pilar (Real Sociedad Matemática Española, 2020)
On the Unavoidable Uncertainty of Truth in Dynamic Geometry Proving

Botana Ferreiro, Francisco Ramón; Recio Muñiz, Tomás (2015)
Software using the Gröbner Cover for geometrical loci computation and classification

Abánades Astudillo, Miguel Ángel; Botana Ferreiro, Francisco Ramón; Montes, Antonio; Recio Muñiz, Tomás (Springer Berlin Heidelberg, 2014)
Some issues on the automatic computation of plane envelopes in interactive environments

Botana Ferreiro, Francisco Ramón; Recio Muñiz, Tomás (Elsevier, 2014-06)
Using a free open source software to teach mathematics

Botana Ferreiro, Francisco Ramón; Abánades Astudillo, Miguel Ángel; Escribano Martínez, Jesús (Wiley., 2012-05-10)
Using Maple's RegularChains library to automatically classify plane geometric loci

Botana Ferreiro, Francisco Ramón; Recio Muñiz, Tomás (Springer Berlin Heidelberg, 2014)