María Pilar Vélez Melón

• Artículos de revistas (6)
• Colaboraciones en obras colectivas (14)
• Libros (2)
• Tesis (1)
• Coordinación (4 publicaciones)

• Artículos de revistas

  • Seleccionado

    Towards an ecosystem for computer-supported geometric reasoning

    Zoltán Kovács, Tomás Jesús Recio Muñiz , Philippe R. Richard , Steven Van Vaerenbergh , María Pilar Vélez Melón

    International journal of mathematical education in science and technology, ISSN 0020-739X, Vol. 53, Nº. 7, 2022, págs. 1701-1710

    • Resumen
    
  • Seleccionado

    Inventing theorems with GeoGebra: a new altitude theorem

    Fernando Etayo Gordejuela , Nicolás de Lucas Sanz, Tomás Jesús Recio Muñiz , María Pilar Vélez Melón

    Boletín de la Sociedad Puig Adam de profesores de matemáticas, ISSN 1135-0261, Nº. 111, 2021, págs. 8-28

    • Resumen
    
  • Seleccionado

    Hacia un autómata geómetra

    Francisco Botana Ferreiro , Zoltán Kovács, Tomás Jesús Recio Muñiz , María Pilar Vélez Melón

    Gaceta de la Real Sociedad Matematica Española, ISSN 1138-8927, Vol. 23, Nº 2, 2020, págs. 343-373

    
  • Seleccionado

    Detecting truth, just on parts

    Zoltán Kovács, Tomás Jesús Recio Muñiz , María Pilar Vélez Melón

    Revista matemática complutense, ISSN-e 1988-2807, ISSN 1139-1138, Vol. 32, Nº 2, 2019, págs. 451-474

    
  • Seleccionado

    Enunciados ni ciertos ni falsos en razonamiento automático en geometría

    Zoltán Kovács, Tomás Jesús Recio Muñiz , María Pilar Vélez Melón

    Monografías de la Real Academia de Ciencias Exactas, Físicas, Químicas y Naturales de Zaragoza, ISSN 1132-6360, Nº. 43, 2018 (Ejemplar dedicado a: Proceedings of the XVI EACA Zaragoza Encuentros de Algebra Computacional y Aplicaciones), págs. 111-114

    • Resumen
    • Texto Completo Ejemplar
    
  • Seleccionado

    Detecting real singularities of a space curve from a real rational parametrization

    R. Rubio, Juan Manuel Serradilla Manrique , María Pilar Vélez Melón

    Journal of symbolic computation, ISSN 0747-7171, Vol. 44, Nº 5, 2009, págs. 490-498

    

• Colaboraciones en obras colectivas

  • Seleccionado

    Dealing with degeneracies in automated theorem proving in geometry: A zero-dimensional approach

    Zoltán Kovács, Tomás Jesús Recio Muñiz , Luis Felipe Tabera Alonso , María Pilar Vélez Melón

    EACA 2022: XVII Encuentro de Álgebra Computacional y Aplicaciones / coord. por Carlos Galindo Pastor , Philippe Giménez , Fernando Javier Hernando Carrillo, F. Monserrat Delpalillo , Julio José Moyano Fernández, 2023, ISBN 978-84-19647-46-7, págs. 111-114

    • Resumen
    • Texto Completo Libro
    
  • Seleccionado

    Automated Reasoning Tools with GeoGebra: What Are They? What Are They Good For?

    Zoltán Kovács, Tomás Jesús Recio Muñiz , María Pilar Vélez Melón

    Mathematics education in the age of Artificial Intelligence: How Artificial Intelligence can serve mathematical human learning / coord. por Philippe R. Richard , María Pilar Vélez Melón, Steven Van Vaerenbergh , 2022, ISBN 978-3-030-86908-3, págs. 23-44

    
  • Seleccionado

    Actividad de creación de videos para la evaluación de las competencias oral y escrita en Matemáticas

    María Pilar Vélez Melón, Alia Baroudi, Maria Belén Ariño Morera

    Actas de las III Jornadas Nebrija de Transversalidad en la Docencia: 19 y 20 de junio de 2020 / coord. por Rocío Santamaría Martínez, Beatriz Contreras, Alicia de la Peña Portero, Rubén Darío Alves López, Jessica Bayón, Alfonso Diestro Fernández, Irene Flores Guerra, Patricia Ibáñez, Raquel Gómez Leal, Nicolás Grijalba de la Calle, Susana Guil, Ana Heredero, Daniel Magaña Martínez, Aida Maoudj Esteban, Carolina Andrea Mendoza Parra, Cristina Villalonga Gómez, Melisa Teves Romero, Rocío Morales de la Prida, Arturo Márquez Miranda, 2021, págs. 55-59

    
  • Seleccionado

    Detecting truth, just on parts, in automatic reasoning in geometry

    Zoltán Kovács, Tomás Jesús Recio Muñiz , María Pilar Vélez Melón

    Applications of Computer Algebra: proceedings / coord. por Francisco Botana Ferreiro , Felipe Gago Couso , Manuel Ladra González , 2018, ISBN 978-84-16954-87-2, págs. 32-35

    
  • Seleccionado

    Educando destrezas lógico-matemáticas y funciones ejecutivas: programación de videojuegos

    María Pilar Vélez Melón, Elena Rodríguez Mayol

    Funciones ejecutivas y aprendizaje: experiencias en educación superior / coord. por Nuria Camuñas Sánchez-Paulete, María Vaíllo Rodríguez, 2017, ISBN 978-84-9177-593-5, págs. 307-323

    
  • Seleccionado

    Verificación de la eficiencia de códigos DS-LDPC aplicados a la protección de memorias de alta velocidad

    María del Rosario Rubio San Miguel , María Pilar Vélez Melón

    XV Encuentro de Álgebra computacional y aplicaciones: EACA 2016 / coord. por Jónathan Heras Vicente , Ana Romero Ibáñez , 2016, ISBN 978-84-608-9024-9, págs. 145-148

    • Texto Completo Libro
    
  • Seleccionado

    Aplicación de los polinomios de Chebyshev al procesamiento rápido de las ecuaciones de la dinámica vehicular

    Alberto López Rosado , María Pilar Vélez Melón, Cristina Moriano Sánchez

    Actas del Décimo Encuentro de Álgebra Computacional y Aplicaciones: Book of abstracts Tenth Meeting on Computer Algebra and Applications : Sevilla, 7-9 de septiembre de 2006 / coord. por Francisco Jesús Castro Jiménez , José María Ucha Enríquez , 2006, ISBN 84-611-2311-5, págs. 131-134

    
  • Seleccionado

    Parametrizaciones birracionales y singularidades de curvas racionales

    R. Rubio, J. M. Serradilla Serradilla, María Pilar Vélez Melón

    EACA 2004: Santander, 1-3 julio 2004, Universidad de Cantabria : Actas de los encuentros de álgebra computacional y aplicaciones, 2004 / coord. por Laureano González Vega , T. Recio, 2004, págs. 255-260

    
  • Seleccionado

    Análisis e implementación de un algoritmo de convexidad

    María Pilar Vélez Melón, María del Rosario Rubio San Miguel

    EACA 2001 : 7 Encuentro de álgebra computacional y aplicaciones: del 12 al 14 de septiembre de 2001, Ezcaray, La Rioja / coord. por Julio Rubio García , 2001, ISBN 84-95301-52-0, págs. 254-258

    
  • Seleccionado

    Teoría de ramificación real

    María Emilia Alonso García , María Pilar Vélez Melón

    Contribuciones matemáticas: libro homenaje al profesor D. Joaquín Arregui Fernández / Joaquín Arregui Fernández (hom.) , 2000, ISBN 84-7491-581-3, págs. 1-26

    
  • Seleccionado

    Politopos convexos sobre cuerpos ordenados

    Carlos Andradas Heranz , María Pilar Vélez Melón

    EACA-99: Actas del quinto Encuentro de Álgebra Computacional y Aplicaciones : Tenerife, 8-11 de septiembre, 1999 / coord. por María Isabel Bermejo Díaz , 1999, págs. 303-308

    
  • Seleccionado

    Aspectos algorítmicos de algunos problemas de Geometría semialgebraica

    María Pilar Vélez Melón

    Segundo Encuentro de Álgebra Computacional y Aplicaciones: Sevilla, 26 y 27 de Septiembre de 1996, 1996, págs. 129-135

    
  • Seleccionado

    Un algoritmo para determinar la basicidad de un semialgebraico plano

    María Pilar Vélez Melón

    Actas del primer Encuentro de Algebra Computacional y Aplicaciones, [EACA-95] : Santander, 18 y 19 de septiembre de 1995 / Laureano González Vega (ed. lit.) , 1995, págs. 179-192

    
  • Seleccionado

    Caracterización algorítmica de semialgebraicos básicos

    María Pilar Vélez Melón

    Actas del primer Encuentro de Algebra Computacional y Aplicaciones, [EACA-95] : Santander, 18 y 19 de septiembre de 1995 / Laureano González Vega (ed. lit.) , 1995, págs. 193-197

    

• Libros

  • Seleccionado

    Pasión por las matemáticas: : lección magistral curso académico 2022-2023 : acto de apertura curso 2022-2023 : Campus Madrid-Princesa 16 de septiembre de 2022

    María Pilar Vélez Melón

    Universidad Antonio de Nebrija, 2022

    • Resumen
    
  • Seleccionado

    En recuerdo de Alonso Zamora Vicente: Madrid, 1916-2006 : presidente de la Fundación Antonio de Nebrija (1993-2005)

    Jesús Sánchez Lobato (dir.), María Pilar Vélez Melón (dir.), Alonso Zamora Vicente (hom.)

    Fundación Antonio de Nebrija, 2016. ISBN 978-84-88957-70-2

    

• Tesis

  • Seleccionado

    La geometría de los abanicos en dimensión 2

    María Pilar Vélez Melón

    Tesis doctoral dirigida por Jesús María Ruiz Sancho (dir. tes.) . Universidad Complutense de Madrid (1995).

    • Resumen
    • Tesis en acceso abierto en: Docta Complutense
    

• Coordinación

  • Obras Colectivas

    • Seleccionado

      Mathematics education in the age of Artificial Intelligence: How Artificial Intelligence can serve mathematical human learning

      coord. por Philippe R. Richard , María Pilar Vélez Melón, Steven Van Vaerenbergh

      Springer Suiza, 2022. ISBN 978-3-030-86908-3

      • Resumen
      
    • Seleccionado

      Actas II Jornada Smart Campus [Resumen]: 10 de julio de 2020

      Patricia Ibáñez Ibáñez (coord.), Irene Flores Guerra (coord.), María Beatriz Juárez Escribano (coord.), Beatriz Manzano García (coord.), Jordi Regí Rodríguez (coord.), María Pilar Vélez Melón (coord.), Cristina Villalonga Gómez (coord.), Clara Vizoso (coord.)

      Universidad Antonio de Nebrija, 2020

      • Texto Completo Libro
      
    • Seleccionado

      Actas I Jornada Smart Campus [Resumen]: 17 de mayo de 2019

      Patricia Ibáñez Ibáñez (coord.), Francisco Javier Benitez Verguizas (coord.), Beatriz Manzano García (coord.), Begoña Miguel San Emeterio (coord.), Jordi Regí Rodríguez (coord.), Roberto Soto Varela (coord.), María Pilar Vélez Melón (coord.), Cristina Villalonga Gómez (coord.), Clara Vizoso (coord.)

      Universidad Antonio de Nebrija, 2019

      • Resumen
      • Texto Completo Libro
      
    • Seleccionado

      Actas de las I Jornadas Nebrija de Transversalidad en la Docencia: 20 y 21 de junio de 2018

      coord. por Rubén Darío Alves López, Patricia Ibáñez Cruz, Francisco Javier Pericacho Gómez, Ana Quintana Jiménez, Marta Saavedra Llamas, Melisa Teves Romero, María Vaíllo Rodríguez, María Pilar Vélez Melón, Cristina Villalonga Gómez; Alicia de la Peña Portero (ed. lit.)

      Universidad Antonio de Nebrija, 2018

      • Texto Completo Libro
      

Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Documat. En ningún caso se trata de una página que recoja la producción bibliográfica de un autor de manera exhaustiva. Nos gustaría que los datos aparecieran de la manera más correcta posible, de manera que si detecta algún error en la información que facilitamos, puede hacernos llegar su Sugerencia / Errata.