xmlui.themes.about.link
Visualizar D21 Proyectos de Investigación por autor "Recio Muñiz, Tomás"
Mostrando ítems 1-17 de 17
-
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)
-
Enunciados ni ciertos ni falsos en razonamiento automático en geometría
Kovács, Zoltán; Recio Muñiz, Tomás; Vélez, M. Pilar (Academia de Ciencias Exactas Físicas Químicas y Naturales, 2018)
-
Generalizing the Steiner–Lehmus theorem using the Gröbner cover
Montes, Antonio; Recio Muñiz, Tomás (Elsevier, 2014-10)
-
Reparametrizing Swung Surfaces over the Reals
Andradas, Carlos; Recio Muñiz, Tomás; Sendra Pons, Juan Rafael; Tabera Alonso, Luis Felipe; Villarino Cabellos, Carlos (Springer Berlin Heidelberg, 2014)
-
Using Automated Reasoning Tools in GeoGebra in the Teaching and Learning of Proving in Geometry
Kovács, Zoltán; Recio Muñiz, Tomás; Vélez, M. Pilar (Research Information, 2018)
-
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)
