Laureano Lambán

Available identifiers

Publication	Date of Publication	Type
Evasiveness through binary decision diagrams	2024-02-28	Paper
A new method to h-regularize finite topological spaces	2023-10-04	Paper
Effective homological computations on finite topological spaces	2023-01-31	Paper
Using abstract stobjs in ACL2 to compute matrix normal forms	2018-01-04	Paper
Certified symbolic manipulation	2017-02-10	Paper
Verifying the bridge between simplicial topology and algebra: the Eilenberg-Zilber algorithm	2015-02-12	Paper
Formalization of a normalization theorem in simplicial topology	2012-12-28	Paper
https://portal.mardi4nfdi.de/entity/Q3145742	2012-12-23	Paper
Applying ACL2 to the Formalization of Algebraic Topology: Simplicial Polynomials	2011-08-17	Paper
https://portal.mardi4nfdi.de/entity/Q3062057	2011-01-03	Paper
Object oriented institutions to specify symbolic computation systems	2008-02-15	Paper
Executing in Common Lisp, Proving in ACL2	2007-11-28	Paper
An object-oriented interpretation of the EAT system	2003-11-17	Paper
https://portal.mardi4nfdi.de/entity/Q4433988	2003-11-03	Paper
On bornologies, locales and toposes of \(M\)-sets	2003-03-09	Paper
A tensor-hom adjunction in a topos related to vector topologies and bornologies	2001-08-12	Paper

This page was built for person: Laureano Lambán