InstitucionesÁrea de conocimientoPortal Institucional (Dialnet CRIS)Identificadores de autorPeriodo de publicación recogido
|
|
|
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
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
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
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
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
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
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
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
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
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
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).
Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Dialnet. 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.
© 2001-2024 Fundación Dialnet · Todos los derechos reservados