Publicaciones en las que colabora con Francisco Jesús Martín Mateos (10)

2017

  1. Using abstract stobjs in ACL2 to compute matrix normal forms

    Lecture Notes in Computer Science, Vol. 10499 LNCS, pp. 354-370

2016

  1. Towards a verifiable Topology of Data

    XV Encuentro de Álgebra computacional y aplicaciones: EACA 2016

2015

  1. Modelling algebraic structures and morphisms in ACL2

    Applicable Algebra in Engineering, Communications and Computing, Vol. 26, Núm. 3, pp. 277-303

2014

  1. Verifying the bridge between simplicial topology and algebra: The Eilenberg-Zilber algorithm

    Logic Journal of the IGPL, Vol. 22, Núm. 1, pp. 39-65

2013

  1. Certified symbolic manipulation: Bivariate simplicial polynomialsModos de exclusión de las mujeres en la sociedad actual

    Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC, pp. 243-250

2012

  1. Formalization of a Normalization Theorem in Simplicial Topology

    Annals of Mathematics and Artificial Intelligence, Vol. 64, Núm. 1, pp. 1-37

2011

  1. Applying ACL2 to the Formalization of Algebraic Topology: Simplicial Polynomials

    Lecture Notes in Computer Science, Vol. 6898 LNCS, pp. 200-215

2010

  1. Topología simplicial en ACL2

    Contribuciones científicas en honor de Mirian Andrés Gómez (Universidad de La Rioja), pp. 1-19

2009

  1. ACL2 verification of simplicial degeneracy programs in the Kenzo system

    Intelligent Computer Mathematics (SPRINGER-VERLAG), pp. 106-121

  2. Verificación y eficiencia en programas para el cálculo simbólico: estudio de un caso

    Programación y lenguajes: IX Jornadas sobre Programación y Lenguajes, PROLE'09, I Taller de Programación Funcional, TPF'09, San Sebastián, España, del 8 al 11 de septiembre de 2009