- idUS
- Listar por autor
Listar por autor "Palomo Lozano, Francisco"
Mostrando ítems 1-3 de 3
-
Ponencia
A Certified Polynomial-Based Decision Procedure for Propositional Logic
Medina Bulo, Inmaculada; Palomo Lozano, Francisco; Alonso Jiménez, José Antonio (Springer, 2001)In this paper we present the formalization of a decision procedure for Propositional Logic based on polynomial normalization. ...
-
Artículo
A verified Common Lisp implementation of Buchberger's algorithm in ACL2
Medina Bulo, Inmaculada; Palomo Lozano, Francisco; Ruiz Reina, José Luis (Elsevier, 2010)In this article, we present the formal verification of a Common Lisp implementation of Buchberger's algorithm for ...
-
Ponencia
Verified Computer Algebra in ACL2 (Gröbner Bases Computation)
Medina Bulo, Inmaculada; Palomo Lozano, Francisco; Alonso Jiménez, José Antonio; Ruiz Reina, José Luis (Springer, 2004)In this paper, we present the formal verification of a Common Lisp implementation of Buchberger’s algorithm for ...