Browsing by Author "Rubio, Julio"
Now showing items 1-9 of 9
-
Presentation
ACL2 Verification of Simplicial Degeneracy Programs in the Kenzo System
(Springer, 2009)Kenzo is a Computer Algebra system devoted to Algebraic Topology, and written in the Common Lisp programming language. ...
-
Presentation
Applying ACL2 to the Formalization of Algebraic Topology: Simplicial Polynomials
(Springer, 2011)In this paper we present a complete formalization, using the ACL2 theorem prover, of the Normalization Theorem, a result ...
-
Presentation
Certified Symbolic Manipulation: Bivariate Simplicial Polynomials
(ACM, 2013)Certified symbolic manipulation is an emerging new field where programs are accompanied by certificates that, suitably ...
-
Article
Formalization of a normalization theorem in simplicial topology
(Springer, 2012)In this paper we present a complete formalization of the Normalization Theorem, a result in Algebraic Simplicial Topology ...
-
Article
On automation and certification of a homological method to process biomedical digital images
(Universidad de Sevilla, 2011)In this paper a methodology to extract and compute homological information from biomedical images is proposed; automating ...
-
Chapter of Book
Topología simplicial en ACL2
(Universidad de la Rioja, 2010) -
Presentation
Towards a verifiable topology of data
(Universidad de La Rioja, Departamento de Matemáticas y Computación, 2016) -
Presentation
Using Abstract Stobjs in ACL2 to Compute Matrix Normal Forms
(Springer, 2017)We present here an application of abstract single threaded objects (abstract stobjs) in the ACL2 theorem prover, to define ...
-
Article
Verifying the bridge between simplicial topology and algebra: the Eilenberg–Zilber algorithm
(Oxford Academic, 2013)The Eilenberg–Zilber algorithm is one of the central components of the computer algebra system called Kenzo, devoted ...