Capítulos de libros:
Divasón Mallagaray, José

Encontrados 7 registros. 1 de 1
  • 1
Título Autores Libro Año
Efficient certification of complexity proofs formalizing the Perron-Frobenius theorem (invited talk paper)

Divasón Mallagaray, José; Joosten, S.; Kunčar, O.; Thiemann, R.; Yamada, A.;  CPP 2018 - Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with POPL 2018 2018
A formalization of the Berlekamp-Zassenhaus factorization algorithm

Divasón Mallagaray, José; Joosten S.; Thiemann R.; Yamada A.;  CPP 2017 - Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs 2017
Verified Computer Linear Algebra

Aransay Azofra, Jesús MaríaDivasón Mallagaray, José XV Encuentro de Álgebra computacional y aplicaciones: EACA 2016 2016
Obtaining an ACL2 sprecification from an Isabelle/HOL theory

Texto completo open access 
Aransay Azofra, Jesús MaríaLambán Pardo, LaureanoRubio García, Angel LuisPascual Martínez-Losa, María VicoHeras Vicente, JonathanRubio García, JulioDivasón Mallagaray, José Lecture Notes in Artificial Intelligence. Proceedings of AISC 2014 2014
Formalization and execution of Linear Algebra: from theorems to algorithms

Texto completo open access 
Aransay Azofra, Jesús MaríaDivasón Mallagaray, José Revised Selected Papers of the Logic-Based Program Synthesis and Transformation (LOPSTR 2013) 2014
Performance Analysis of a Verified Linear Algebra Program in SML

Divasón Mallagaray, JoséAransay Azofra, Jesús María Taller de Programación Funcional - XII Spanish Conference on Programming and Computer Languages, PROLE 2013 2013
Formalizing an abstract algebra textbook in Isabelle/HOL

Aransay Azofra, Jesús MaríaDivasón Mallagaray, José Libro de Resúmenes del XIII Encuentro de Álgebra Computacional y Aplicaciones: EACA2012 2012
  • 1