Jose Divasón Mallagaray

• Artículos de revistas (6)
• Colaboraciones en obras colectivas (5)
• Tesis (1)

• Artículos de revistas

  • Seleccionado

    Modelos de inteligencia artificial para asesorar el proceso evaluador de trabajos informáticos complejos

    Jose Divasón Mallagaray, Francisco Javier Martínez de Pisón Ascacíbar , Ana Romero Ibáñez , Eduardo Sáenz de Cabezón Irigaray

    Actas de las Jornadas sobre la Enseñanza Universitaria de la Informática (JENUI), ISSN 2531-0607, Nº. 6, 2021, págs. 43-50

    • Resumen
    • Texto completo
    
  • Seleccionado

    Nuevas experiencias para un docente que hace no tanto era alumno

    Jose Divasón Mallagaray

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

    • Resumen
    • Texto completo
    
  • Seleccionado

    Experiencia con una herramienta para automatizar la comprobación de requisitos de los trabajos HTML-CSS de Sistemas Informáticos

    Jose Divasón Mallagaray, Ana Romero Ibáñez , Eduardo Sáenz de Cabezón Irigaray

    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

    La experiencia de un docente que hace no tanto era alumno

    Jose Divasón Mallagaray

    Actas de las Jornadas sobre la Enseñanza Universitaria de la Informática (JENUI), ISSN 2531-0607, Nº. 2, 2017 (Ejemplar dedicado a: Actas de las XXIII Jornadas sobre Enseñanza Universitaria de la Informática (Cáceres, 5, 6 y 7 de julio de 2017) / coord. por Alberto Gómez Mancha, Roberto Rodríguez Echeverría ), ISBN 978-84-697-4267-9

    • Resumen
    • Texto completo
    
  • 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
    

• Colaboraciones en obras colectivas

  • Seleccionado

    Faster Kenzo computations via Sagemath, and vice versa

    Jose Divasón Mallagaray, Miguel A. Marco Buzunáriz , Ana Romero

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

    • Resumen
    • Texto Completo Libro
    
  • Seleccionado

    Herramientas personalizadas para asesorar a los estudiantes con sus trabajos y a los profesores en su corrección

    Jose Divasón Mallagaray, Francisco Javier Martínez de Pisón Ascacíbar , Ana Romero Ibáñez , Eduardo Sáenz de Cabezón Irigaray

    Jornada de Innovación docente de la Universidad de La Rioja 2021: #InnovaDocenteUR: libro de resúmenes / coord. por Juan Miguel Ribera Puchades, 2022, ISBN 978-84-09-36603-3, pág. 25

    • Texto completo
    
  • Seleccionado

    Generación semiautomática de rúbricas por medio de Inteligencia Artificial

    Jose Divasón Mallagaray, Francisco Javier Martínez de Pisón Ascacíbar , Ana Romero Ibáñez , Eduardo Sáenz de Cabezón Irigaray

    Jornadas de Innovación Docente UR-CRIE 2022: #InnovaDocenteUR : Libro de resúmenes / coord. por Natalia Ollora Triana, Tomás Cámara Pastor, Adriana Díez Gómez del Casal, Jesús Vicente Ruiz Omeñaca, 2022, ISBN 978-84-09-46259-9, págs. 22-22

    • 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

    

• Tesis

  • 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.