Jesús María Aransay Azofra

• Artículos de revistas (9)
• Colaboraciones en obras colectivas (11)
• Libros (1)
• Tesis (1)
• Tesis dirigidas (1)

• Artículos de revistas

  • Seleccionado

    Could a theorem be acyclic?

    Jesús María Aransay Azofra, Laureano Lambán Pardo , Julio Rubio García

    Boletín de la Sociedad Puig Adam de profesores de matemáticas, ISSN 1135-0261, Nº. Extra 117 (Abril), 2024 (Ejemplar dedicado a: Profesor Eugenio Roanes Lozano), págs. 54-63

    • Resumen
    
  • Seleccionado

    GitHub y Google Colaboratory para el desarrollo, comunicación y gestión de prácticas en los laboratorios de informática

    Jesús María Aransay Azofra, Ángela Casado García, César Domínguez , Manuel García Domínguez, Jónathan Heras Vicente , Adrián Inés Armas, Gadea Mata Martínez , Beatriz Pérez Valle

    Actas de las Jornadas sobre la Enseñanza Universitaria de la Informática (JENUI), ISSN 2531-0607, Nº. 7, 2022, págs. 183-190

    • Resumen
    • Texto completo
    
  • Seleccionado

    Fin de un viaje infinito: integración continua para prácticas de programación

    Jesús María Aransay Azofra, Jónathan Heras Vicente

    Actas de las Jornadas sobre la Enseñanza Universitaria de la Informática (JENUI), ISSN 2531-0607, Nº. 5, 2020 (Ejemplar dedicado a: XXVI Jornadas sobre la Enseñanza Universitaria de la Informática (JENUI 2020) / coord. por José Manuel Badía Contelles , Francisco Grimaldo Moreno ), págs. 21-28

    • Resumen
    • Texto completo
    
  • Seleccionado

    Uso de herramientas y técnicas DevOps para la gestión y corrección de prácticas de programación

    Jesús María Aransay Azofra, Jónathan Heras Vicente

    Actas de las Jornadas sobre la Enseñanza Universitaria de la Informática (JENUI), ISSN 2531-0607, Nº. 4, 2019 (Ejemplar dedicado a: XXV Jornadas sobre la Enseñanza Universitaria de la Informática, Murcia, 3-5 de julio de 2019 / coord. por Oscar Cánovas Reverte , Jesús Joaquín García Molina , Pedro Enrique López de Teruel Alcolea , Antonio Ruiz Martínez )

    • Resumen
    • Texto completo
    
  • Seleccionado

    Creación de un servidor de integración continua para gestión y corrección de entregas de prácticas

    Jesús María Aransay Azofra, Francisco José García Izquierdo , Jónathan Heras Vicente , Adrián Inés Armas, Gadea Mata Martínez

    Actas de las Jornadas sobre la Enseñanza Universitaria de la Informática (JENUI), ISSN 2531-0607, Nº. 3, 2018

    • Resumen
    • Texto completo
    
  • Seleccionado

    Análisis del uso de datos geográficos y Sistemas de Información Geográfica en las enseñanzas de grado y máster de una universidad

    María Soledad Andrades Rodríguez, Jesús María Aransay Azofra, José Ángel Llorente Adán, María Paz Diago Santamaría , Eduardo Sáenz de Cabezón Irigaray , Javier Tardáguila Laso

    Actas de las Jornadas sobre la Enseñanza Universitaria de la Informática (JENUI), ISSN 2531-0607, Nº. 3, 2018

    • Resumen
    • Texto completo
    
  • Seleccionado

    Towards a verified smith normal form algorithm in isabelle/hol

    Jose Divasón Mallagaray, Jesús María Aransay Azofra

    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. 43-46

    • Resumen
    • Texto Completo Ejemplar
    
  • Seleccionado

    Informática para las Matemáticas, Matemáticas para la Informática, Informática Aplicada

    Jesús María Aransay Azofra, Jose Divasón Mallagaray, César Domínguez , Francisco José García Izquierdo , Jónathan Heras Vicente , Arturo Jaime Elizondo , Laureano Lambán Pardo , Eloy Javier Mata Sotés, Gadea Mata Martínez , Juan José Olarte Larrea, María Vico Pascual Martínez-Losa , Beatriz Pérez Valle , Ana Romero Ibáñez , Ángel Luis Rubio García , Julio Rubio García , Eduardo Sáenz de Cabezón Irigaray

    Zubía, ISSN 0213-4306, Nº Extra 26, 2014 (Ejemplar dedicado a: Investigación en el Departamento de Matemáticas y Computación de la Universidad de La Rioja), págs. 19-37

    • Resumen
    • Texto completo
    
  • Seleccionado

    Demostración asistida por ordenador

    Jesús María Aransay Azofra, César Domínguez

    Gaceta de la Real Sociedad Matematica Española, ISSN 1138-8927, Vol. 15, Nº 1, 2012, págs. 75-104

    

• Colaboraciones en obras colectivas

  • Seleccionado

    Análisis de la eficacia de una metodología activa diseñada para mejorar la adquisición de competencias relacionadas con los sistemas de información geográfica en la Universidad de la Rioja

    José Ángel Llorente Adán, María Soledad Andrades Rodríguez, Jesús María Aransay Azofra, María Paz Diago Santamaría , Purificación Ruiz Flaño, Noemí Lana-Renault Monreal

    La transformación digital de la universidad: XI CIDU Congreso Iberoamericano de Docencia Universitaria / coord. por Amador Guarro Pallás, Manuel Area Moreira , Javier Marrero Acosta , Juan José Sosa Alonso, 2021, ISBN 978-84-09-27632-5, págs. 949-960

    
  • Seleccionado

    Uso de datos GPS (formatos y herramientas)

    Jesús María Aransay Azofra

    Enseñanza de Sistemas de Información Geográfica (SIG) en estudios de grado y posgrado en la Universidad de La Rioja: principios teóricos y ejercicios prácticos / María Soledad Andrades Rodríguez (aut.), Jesús María Aransay Azofra (aut.), María Paz Diago Santamaría (aut.) , Noemí Lana-Renault Monreal (aut.), José Ángel Llorente Adán (aut.), Purificación Ruiz Flaño (aut.), Eduardo Sáenz de Cabezón Irigaray (aut.) , 2020, ISBN 978-84-09-17400-3, págs. 21-30

    • Texto Completo Libro
    
  • Seleccionado

    Librerías (APIs) para la creación de cartografía digital

    Jesús María Aransay Azofra

    Enseñanza de Sistemas de Información Geográfica (SIG) en estudios de grado y posgrado en la Universidad de La Rioja: principios teóricos y ejercicios prácticos / María Soledad Andrades Rodríguez (aut.), Jesús María Aransay Azofra (aut.), María Paz Diago Santamaría (aut.) , Noemí Lana-Renault Monreal (aut.), José Ángel Llorente Adán (aut.), Purificación Ruiz Flaño (aut.), Eduardo Sáenz de Cabezón Irigaray (aut.) , 2020, ISBN 978-84-09-17400-3, págs. 103-122

    • Texto Completo Libro
    
  • Seleccionado

    Aplicación y evaluación de metodologías activas de enseñanza-aprendizaje que faciliten la adquisición de competencias relacionadas con los Sistemas de Información Geográfica en los programas de Grado y Máster de la Universidad de La Rioja

    María Paz Diago Santamaría , María Soledad Andrades Rodríguez, Jesús María Aransay Azofra, José Ángel Llorente Adán, Purificación Ruiz Flaño, Noemí Lana-Renault Monreal

    In-Red 2020: VI Congreso nacional de innovación educativa y docencia en red / coord. por Eduardo Vendrell Vidal , Virginia Vega Carrero, 2020, ISBN 978-84-9048-833-1

    • Texto completo
    
  • Seleccionado

    Uso de Software y datos geográficos en trabajos fin de estudio (TFG y TFM) y tesis doctorales en la Universidad de La Rioja: (1992-2018)

    José Ángel Llorente Adán, Jesús María Aransay Azofra, Eduardo Sáenz de Cabezón Irigaray , María Paz Diago Santamaría , Noemí Lana-Renault Monreal, Purificación Ruiz Flaño, María Soledad Andrades Rodríguez

    In-RED 2019: V Congreso de Innovación Educativa y Docencia en Red / coord. por Virginia Vega Carrero, Eduardo Vendrell Vidal , 2019, ISBN 978-84-9048-522-4, págs. 241-251

    • Resumen
    • Texto completo
    
  • Seleccionado

    Verified Computer Linear Algebra

    Jesús María Aransay Azofra, Jose Divasón Mallagaray

    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. 35-38

    • Texto Completo Libro
    
  • Seleccionado

    Formalizing an abstract algebra textbook in Isabelle/HOL

    Jesús María Aransay Azofra, Jose Divasón Mallagaray

    Libro de Resúmenes del XIII Encuentro de Álgebra Computacional y Aplicaciones: EACA 2012 / Juan Rafael Sendra Pons (ed. lit.) , Carlos Villarino Cabellos (ed. lit.), 2012, ISBN 978-84-8138-770-4, págs. 47-50

    
  • Seleccionado

    Formalizing simplicial topology in Isabelle/ HOL and Coq

    Jesús María Aransay Azofra, César Domínguez

    Contribuciones científicas en honor de Mirian Andrés Gómez / coord. por Laureano Lambán Pardo , Ana Romero Ibáñez , Julio Rubio García ; Mirian Andrés Gómez (hom.), 2010, ISBN 978-84-96487-50-5, págs. 21-41

    • Texto completo
    
  • Seleccionado

    Representation of Graded Structures in Proof Assistants

    Jesús María Aransay Azofra, César Domínguez

    EACA 2008: XI Encuentro de Álgebra Computacional y Aplicaciones : Granada, del 10 al 12 de septiembre / coord. por Óscar Cortadellas Izquierdo, José Gómez Torrecillas , F.J. Lobillo Borrero , 2008, págs. 139-142

    
  • Seleccionado

    Towards an automated proof of the Basic Perturbation Lemma

    Jesús María Aransay Azofra, Julio Rubio García , Clemens Ballarin

    Actas del EACA-2002: Octavo Encuentro de Álgebra Computacional y Aplicaciones, Peñaranda de Duero, 11-13 septiembre de 2002 / coord. por Philippe Giménez , 2002, págs. 91-94

    
  • Seleccionado

    Implementación orientada a objetos de estructuras algebraicas: estudio de un caso en Java y C++

    Jesús María Aransay Azofra, Julio Rubio García , Juan José Olarte Larrea

    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. 78-82

    

• Libros

  • Seleccionado

    Enseñanza de Sistemas de Información Geográfica (SIG) en estudios de grado y posgrado en la Universidad de La Rioja: principios teóricos y ejercicios prácticos

    María Soledad Andrades Rodríguez (aut.), Jesús María Aransay Azofra (aut.), María Paz Diago Santamaría (aut.) , Noemí Lana-Renault Monreal (aut.), José Ángel Llorente Adán (aut.), Purificación Ruiz Flaño (aut.), Eduardo Sáenz de Cabezón Irigaray (aut.)

    Universidad de La Rioja, 2020. ISBN 978-84-09-17400-3

    • Texto Completo Libro
    

• Tesis

  • Seleccionado

    Razonamiento mecanizado en álgebra homológica

    Jesús María Aransay Azofra

    Tesis doctoral dirigida por Clemens Ballarin (dir. tes.) , Julio Rubio García (dir. tes.) . Universidad de La Rioja (2006).

    • Resumen
    • Tesis en acceso abierto en: Dialnet
    

• Tesis dirigidas

  • Seleccionado

    Formalisation and execution of Linear Algebra: theorems and algorithms

    Jose Divasón Mallagaray

    Tesis doctoral dirigida por Jesús María Aransay Azofra (dir. tes.), Julio Rubio García (dir. tes.) . Universidad de La Rioja (2016).

    • Resumen
    • Tesis en acceso abierto en: Dialnet
    

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.