Julio Jesús Rubio García

Available identifiers

zbMath Open rubio-garcia.julio-jesusMaRDI QIDQ1565829

List of research outcomes

Publication	Date of Publication	Type
Evasiveness through binary decision diagrams	2024-02-28	Paper
Constructing new spectral systems from simplicial fibrations	2022-09-06	Paper
A new Kenzo module for computing the Eilenberg-Moore spectral sequence	2022-09-06	Paper
Effective spectral systems relating Serre and Eilenberg-Moore spectral sequences	2022-07-18	Paper
An implementation of effective homotopy of fibrations	2019-06-20	Paper
Using abstract stobjs in ACL2 to compute matrix normal forms	2018-01-04	Paper
https://portal.mardi4nfdi.de/entity/Q2988093	2017-05-18	Paper
Certified symbolic manipulation	2017-02-10	Paper
Modeling inheritance as coercion in a symbolic computation system	2017-02-03	Paper
A Certified Reduction Strategy for Homological Image Processing	2015-09-17	Paper
Verifying the bridge between simplicial topology and algebra: the Eilenberg-Zilber algorithm	2015-02-12	Paper
https://portal.mardi4nfdi.de/entity/Q5403899	2014-03-19	Paper
On the role of formalization in computational mathematics	2013-10-21	Paper
Homotopy groups of suspended classifying spaces: An experimental approach	2013-08-06	Paper
Formalization of a normalization theorem in simplicial topology	2012-12-28	Paper
https://portal.mardi4nfdi.de/entity/Q3145742	2012-12-23	Paper
Verifying an Algorithm Computing Discrete Vector Fields for Digital Imaging	2012-09-07	Paper
Constructive Homological Algebra and Applications	2012-08-19	Paper
Computing the homology of groups: the geometric way.	2012-05-23	Paper
Interoperating between computer algebra systems	2012-05-13	Paper
https://portal.mardi4nfdi.de/entity/Q3101174	2011-11-22	Paper
Applying ACL2 to the Formalization of Algebraic Topology: Simplicial Polynomials	2011-08-17	Paper
A System for Computing and Reasoning in Algebraic Topology	2011-07-29	Paper
Proving with ACL2 the Correctness of Simplicial Sets in the Kenzo System	2011-05-27	Paper
fKenzo: a user interface for computations in algebraic topology	2011-04-05	Paper
Effective homology of bicomplexes, formalized in Coq	2011-03-14	Paper
Computing in Coq with Infinite Algebraic Data Structures	2010-08-24	Paper
Integrating Multiple Sources to Answer Questions in Algebraic Topology	2010-08-24	Paper
A case study of 𝐴∞-structure	2010-05-31	Paper
Generating certified code from formal proofs: a case study in homological algebra	2010-05-05	Paper
ACL2 Verification of Simplicial Degeneracy Programs in the Kenzo System	2009-07-09	Paper
Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems	2009-07-09	Paper
Mediated Access to Symbolic Computation Systems	2009-01-27	Paper
A mechanized proof of the basic perturbation lemma	2008-06-11	Paper
Object oriented institutions to specify symbolic computation systems	2008-02-15	Paper
Executing in Common Lisp, Proving in ACL2	2007-11-28	Paper
Computing spectral sequences	2007-10-23	Paper
Computer Aided Systems Theory – EUROCAST 2005	2006-11-01	Paper
Computational Science – ICCS 2005	2005-11-30	Paper
Algebraic models for homotopy types	2005-10-27	Paper
Computing with locally effective matrices	2005-10-27	Paper
Artificial Intelligence and Symbolic Computation	2005-08-19	Paper
https://portal.mardi4nfdi.de/entity/Q4676271	2005-05-03	Paper
https://portal.mardi4nfdi.de/entity/Q4471956	2004-07-30	Paper
An object-oriented interpretation of the EAT system	2003-11-17	Paper
https://portal.mardi4nfdi.de/entity/Q4433988	2003-11-03	Paper
Integrating functional programming and symbolic computation.	2003-05-27	Paper
Constructive algebraic topology	2003-03-18	Paper
https://portal.mardi4nfdi.de/entity/Q2764961	2002-10-10	Paper
https://portal.mardi4nfdi.de/entity/Q3135181	1994-11-20	Paper
https://portal.mardi4nfdi.de/entity/Q4293684	1994-07-07	Paper
https://portal.mardi4nfdi.de/entity/Q3975344	1992-06-26	Paper
https://portal.mardi4nfdi.de/entity/Q3787156	1988-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Julio Jesús Rubio García