Laureano
Lambán Pardo
PROFESOR TITULAR DE UNIVERSIDAD
![Foto de José Luis](/img/nophoto.png)
José Luis
Ruiz Reina
Publikationen, an denen er mitarbeitet José Luis Ruiz Reina (8)
2017
-
Using abstract stobjs in ACL2 to compute matrix normal forms
Lecture Notes in Computer Science, Vol. 10499 LNCS, pp. 354-370
2016
-
Towards a verifiable Topology of Data
XV Encuentro de Álgebra computacional y aplicaciones: EACA 2016
2014
-
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
-
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
-
Formalization of a Normalization Theorem in Simplicial Topology
Annals of Mathematics and Artificial Intelligence, Vol. 64, Núm. 1, pp. 1-37
2011
-
Applying ACL2 to the Formalization of Algebraic Topology: Simplicial Polynomials
Lecture Notes in Computer Science, Vol. 6898 LNCS, pp. 200-215
2010
-
Topología simplicial en ACL2
Contribuciones científicas en honor de Mirian Andrés Gómez (Universidad de La Rioja), pp. 1-19
2009
-
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