Laureano
Lambán Pardo
PROFESOR TITULAR DE UNIVERSIDAD
Publications (42) Publications de Laureano Lambán Pardo
2023
-
A new method to h-regularize finite topological spaces
Discrete Mathematics, Vol. 346, Núm. 12
-
Effective homological computations on finite topological spaces
Applicable Algebra in Engineering, Communications and Computing, Vol. 34, Núm. 1, pp. 33-56
-
Evasiveness Through Binary Decision Diagrams
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2021
-
Q-learning and MCTS techniques for improving an algorithm to compute discrete vector fields on finite topological spaces
9th International Symposium on Symbolic Computation in Software Science (SCSS 2021), short and work-in-progress papers
2018
-
New algorithms for computeer homology of finite topological scpaces
Applications of Computer Algebra: proceedings
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
-
Informática para las Matemáticas, Matemáticas para la Informática, Informática Aplicada
Zubía, Núm. 26, pp. 19-37
-
Obtaining an ACL2 specification from an Isabelle/HOL theory
Lecture Notes in Computer Science, Vol. 8884, pp. 49-63
-
Obtaining an ACL2 sprecification from an Isabelle/HOL theory
Lecture Notes in Artificial Intelligence. Proceedings of AISC 2014 (Springer), pp. 49-63
-
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
-
Contribuciones científicas en honor de Mirian Andrés Gómez
coord.
Universidad de La Rioja
-
Presentación
Contribuciones científicas en honor de Mirian Andrés Gómez (Universidad de La Rioja), pp. 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
-
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
2008
-
First Efforts to Increase the Reliability of Kenzo Using ACL2
EACA 2008: XI Encuentro de Álgebra Computacional y Aplicaciones : Granada, del 10 al 12 de septiembre
2007
-
Executing in Common Lisp, Proving in ACL2.
Lecture Notes in Computer Science, Vol. 4573 LNAI, pp. 1-12