Publicaciones (42) Publicaciones de Laureano Lambán Pardo

2023

  1. A new method to h-regularize finite topological spaces

    Discrete Mathematics, Vol. 346, Núm. 12

  2. Effective homological computations on finite topological spaces

    Applicable Algebra in Engineering, Communications and Computing, Vol. 34, Núm. 1, pp. 33-56

  3. Evasiveness Through Binary Decision Diagrams

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2021

  1. 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

  1. New algorithms for computeer homology of finite topological scpaces

    Applications of Computer Algebra: proceedings

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

2014

  1. Informática para las Matemáticas, Matemáticas para la Informática, Informática Aplicada

    Zubía, Núm. 26, pp. 19-37

  2. Obtaining an ACL2 specification from an Isabelle/HOL theory

    Lecture Notes in Computer Science, Vol. 8884, pp. 49-63

  3. Obtaining an ACL2 sprecification from an Isabelle/HOL theory

    Lecture Notes in Artificial Intelligence. Proceedings of AISC 2014 (Springer), pp. 49-63

  4. 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. Contribuciones científicas en honor de Mirian Andrés Gómez coord.

    Universidad de La Rioja

  2. Presentación

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

  3. 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. 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

  1. 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

  1. Executing in Common Lisp, Proving in ACL2.

    Lecture Notes in Computer Science, Vol. 4573 LNAI, pp. 1-12