Laureano Lambán

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Evasiveness through binary decision diagrams Lecture Notes in Computer Science	2024-02-28	Paper
A new method to h-regularize finite topological spaces Discrete Mathematics	2023-10-04	Paper
Effective homological computations on finite topological spaces Applicable Algebra in Engineering, Communication and Computing	2023-01-31	Paper
Using abstract stobjs in ACL2 to compute matrix normal forms	2018-01-04	Paper
Certified symbolic manipulation: bivariate simplicial polynomials Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation	2017-02-10	Paper
Verifying the bridge between simplicial topology and algebra: the Eilenberg-Zilber algorithm Logic Journal of the IGPL	2015-02-12	Paper
Formalization of a normalization theorem in simplicial topology Annals of Mathematics and Artificial Intelligence	2012-12-28	Paper
scientific article; zbMATH DE number 6118174 (Why is no real title available?)	2012-12-23	Paper
Applying ACL2 to the formalization of algebraic topology: simplicial polynomials Interactive Theorem Proving	2011-08-17	Paper
Simplicial topology in ACL2	2011-01-03	Paper
Object oriented institutions to specify symbolic computation systems RAIRO - Theoretical Informatics and Applications	2008-02-15	Paper
Object oriented institutions to specify symbolic computation systems RAIRO - Theoretical Informatics and Applications	2008-02-15	Paper
Executing in Common Lisp, Proving in ACL2 Towards Mechanized Mathematical Assistants	2007-11-28	Paper
An object-oriented interpretation of the EAT system Applicable Algebra in Engineering, Communication and Computing	2003-11-17	Paper
scientific article; zbMATH DE number 2000439 (Why is no real title available?)	2003-11-03	Paper
On bornologies, locales and toposes of \(M\)-sets Journal of Pure and Applied Algebra	2003-03-09	Paper
A tensor-hom adjunction in a topos related to vector topologies and bornologies Journal of Pure and Applied Algebra	2001-08-12	Paper

Research outcomes over time

This page was built for person: Laureano Lambán