Laureano Lambán

According to our database, Laureano Lambán authored at least 17 papers between 1999 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

A new method to h-regularize finite topological spaces.

Julián Cuevas-Rozo, Laureano Lambán, Ana Romero, Humberto Sarria

Discret. Math., December, 2023

Effective homological computations on finite topological spaces.

Julián Cuevas-Rozo, Laureano Lambán, Ana Romero, Humberto Sarria

Appl. Algebra Eng. Commun. Comput., 2023

Evasiveness Through Binary Decision Diagrams.

Jesús Aransay, Laureano Lambán, Julio Rubio

Proceedings of the Intelligent Computer Mathematics - 16th International Conference, 2023

2022

Formalizing Alexander duality through BDDs.

Jesús Aransay, Laureano Lambán, Julius Michaelis, Julio Rubio

Proceedings of the International Symposium on Artificial Intelligence and Mathematics 2022 (ISAIM 2022), 2022

2017

Using Abstract Stobjs in ACL2 to Compute Matrix Normal Forms.

Laureano Lambán, Francisco J. Martín-Mateos, Julio Rubio, José-Luis Ruiz-Reina

Proceedings of the Interactive Theorem Proving - 8th International Conference, 2017

2014

Verifying the bridge between simplicial topology and algebra: the Eilenberg-Zilber algorithm.

Laureano Lambán, Julio Rubio, Francisco-Jesús Martín-Mateos, José-Luis Ruiz-Reina

Log. J. IGPL, 2014

Obtaining an ACL2 Specification from an Isabelle/HOL Theory.

Jesús Aransay-Azofra, Jose Divasón, Jónathan Heras, Laureano Lambán, María Vico Pascual, Ángel Luis Rubio, Julio Rubio

Proceedings of the Artificial Intelligence and Symbolic Computation, 2014

2013

Certified symbolic manipulation: bivariate simplicial polynomials.

Laureano Lambán, Francisco-Jesús Martín-Mateos, Julio Rubio, José-Luis Ruiz-Reina

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2013

2012

Formalization of a normalization theorem in simplicial topology.

Laureano Lambán, Francisco-Jesús Martín-Mateos, Julio Rubio, José-Luis Ruiz-Reina

Ann. Math. Artif. Intell., 2012

2011

Applying ACL2 to the Formalization of Algebraic Topology: Simplicial Polynomials.

Laureano Lambán, Francisco-Jesús Martín-Mateos, Julio Rubio, José-Luis Ruiz-Reina

Proceedings of the Interactive Theorem Proving - Second International Conference, 2011

2007

Object oriented institutions to specify symbolic computation systems.

César Domínguez, Laureano Lambán, Julio Rubio

RAIRO Theor. Informatics Appl., 2007

Executing in Common Lisp, Proving in ACL2.

Mirian Andrés, Laureano Lambán, Julio Rubio

Proceedings of the Towards Mechanized Mathematical Assistants, 14th Symposium, 2007

2005

Towards Diagrammatic Specifications of Symbolic Computation Systems.

César Domínguez, Dominique Duval, Laureano Lambán, Julio Rubio Garcia

Proceedings of the Mathematics, Algorithms, Proofs, 9.-14. January 2005, 2005

2003

An Object-oriented Interpretation of the EAT System.

Laureano Lambán, Vico Pascual, Julio Rubio

Appl. Algebra Eng. Commun. Comput., 2003

2001

Hidden Specification of a Functional System.

César Domínguez, Laureano Lambán, Vico Pascual, Julio Rubio

Proceedings of the Computer Aided Systems Theory, 2001

1999

Simplicial sets in the EAT system.

Laureano Lambán, Vico Pascual, Julio Rubio

SIGSAM Bull., 1999

Specifying Implementations.

Laureano Lambán, Vico Pascual, Julio Rubio

Proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation, 1999