Francisco Jesús Martín Mateos-rekin lankidetzan egindako argitalpenak (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