×

zbMATH — the first resource for mathematics

Rubio García, Julio Jesús

Compute Distance To:
Author ID: rubio-garcia.julio-jesus Recent zbMATH articles by "Rubio García, Julio Jesús"
Published as: Rubio, Julio; Rubio, J.; Rubio García, Julio Jesús
External Links: ORCID
Documents Indexed: 52 Publications since 1988, including 2 Books

Publications by Year

Citations contained in zbMATH Open

31 Publications have been cited 136 times in 49 Documents Cited by Year
Constructive algebraic topology. Zbl 1007.55019
Rubio, Julio; Sergeraert, Francis
23
2002
A mechanized proof of the basic perturbation lemma. Zbl 1140.68059
Aransay, Jesús; Ballarin, Clemens; Rubio, Julio
13
2008
Computing spectral sequences. Zbl 1132.55008
Romero, A.; Rubio, J.; Sergeraert, F.
11
2006
An object-oriented interpretation of the EAT system. Zbl 1046.68140
Lambán, Laureano; Pascual, Vico; Rubio, Julio
11
2003
Object oriented institutions to specify symbolic computation systems. Zbl 1146.68481
Domínguez, César; Lambán, Laureano; Rubio, Julio
7
2007
Interoperating between computer algebra systems: computing homology of groups with Kenzo and GAP. Zbl 1237.68260
Romero, Ana; Ellis, Graham; Rubio, Julio
7
2009
Algebraic models for homotopy types. Zbl 1088.55006
Rubio, Julio; Sergeraert, Francis
6
2005
ACL2 verification of simplicial degeneracy programs in the Kenzo system. Zbl 1247.68325
Martín-Mateos, Francisco-Jesus; Rubio, Julio; Ruiz-Reina, Jose-Luis
5
2009
Effective homology of bicomplexes, formalized in Coq. Zbl 1207.68211
Domínguez, César; Rubio, Julio
5
2011
Generating certified code from formal proofs: a case study in homological algebra. Zbl 1214.68330
Aransay, Jesús; Ballarin, Clemens; Rubio, Julio
5
2010
fKenzo: a user interface for computations in algebraic topology. Zbl 1211.55002
Heras, J.; Pascual, V.; Rubio, J.; Sergeraert, F.
4
2011
Homotopy groups of suspended classifying spaces: an experimental approach. Zbl 1284.68684
Romero, Ana; Rubio, Julio
4
2013
Intelligent computer mathematics. 9th international conference, AISC 2008, 15th symposium, Calculemus 2008, 7th international conference, MKM 2008, Birmingham, UK, July 28–August 1, 2008. Proceedings. Zbl 1154.68002
Autexier, Serge (ed.); Campbell, John (ed.); Rubio, Julio (ed.); Sorge, Volker (ed.); Suzuki, Masakazu (ed.); Wiedijk, Freek (ed.)
3
2008
Mediated access to symbolic computation systems. Zbl 1166.68376
Heras, Jónathan; Pascual, Vico; Rubio, Julio
3
2008
Proving with ACL2 the correctness of simplicial sets in the Kenzo system. Zbl 1326.68261
Heras, Jónathan; Pascual, Vico; Rubio, Julio
3
2011
Postnikov “invariants” in 2004. Zbl 1072.55003
Rubio, Julio; Sergeraert, Francis
2
2005
Four approaches to automated reasoning with differential algebraic structures. Zbl 1109.68575
Aransay, Jesús; Ballarin, Clemens; Rubio, Julio
2
2004
Executing in Common Lisp, proving in ACL2. Zbl 1202.68369
Andrés, Mirian; Lambán, Laureano; Rubio, Julio
2
2007
Using open mathematical documents to interface computer algebra and proof assistant systems. Zbl 1247.68271
Heras, Jónathan; Pascual, Vico; Rubio, Julio
2
2009
Extracting computer algebra programs from statements. Zbl 1143.68641
Aransay, Jesús; Ballarin, Clemens; Rubio, Julio
2
2005
Computing in Coq with infinite algebraic data structures. Zbl 1286.68396
Domínguez, César; Rubio, Julio
2
2010
Homologie effective et suites spectrales d’Eilenberg-Moore. (Effective homology and Eilenberg-Moore spectral sequences). Zbl 0644.57026
Rubio, Julio; Sergeraert, Francis
2
1988
A case study of \(A_{\infty}\)-structure. Zbl 1196.18001
Berciano Alcaraz, Ainhoa; Rubio, Julio; Sergeraert, Francis
2
2010
Acyclic supports and computing. (Supports acycliques et algorithmique.) Zbl 0875.55001
Rubio, Julio; Sergeraert, Francis
2
1990
Computing the homology of groups: the geometric way. Zbl 1251.20048
Romero, Ana; Rubio, Julio
2
2012
Locally effective objects and algebraic topology. – Appendix. Zbl 0801.55008
Rubio, J.; Sergeraert, F.
1
1993
Hidden specification of a functional system. Zbl 1023.68129
Domínguez, César; Lambán, Laureano; Pascual, Vico; Rubio, Julio
1
2001
Verifying the bridge between simplicial topology and algebra: the Eilenberg-Zilber algorithm. Zbl 1305.68157
Lambán, L.; Rubio, J.; Martín-Mateos, F. J.; Ruiz-Reina, J. L.
1
2014
Modeling inheritance as coercion in a symbolic computation system. Zbl 1356.68276
Domínguez, César; Rubio, Julio
1
2001
Formalization of a normalization theorem in simplicial topology. Zbl 1280.68232
Lambán, Laureano; Martín-Mateos, Francisco-Jesús; Rubio, Julio; Ruiz-Reina, José-Luis
1
2012
Applying ACL2 to the formalization of algebraic topology: simplicial polynomials. Zbl 1342.68292
Lambán, L.; Martín-Mateos, F. J.; Rubio, J.; Ruiz-Reina, J. L.
1
2011
Verifying the bridge between simplicial topology and algebra: the Eilenberg-Zilber algorithm. Zbl 1305.68157
Lambán, L.; Rubio, J.; Martín-Mateos, F. J.; Ruiz-Reina, J. L.
1
2014
Homotopy groups of suspended classifying spaces: an experimental approach. Zbl 1284.68684
Romero, Ana; Rubio, Julio
4
2013
Computing the homology of groups: the geometric way. Zbl 1251.20048
Romero, Ana; Rubio, Julio
2
2012
Formalization of a normalization theorem in simplicial topology. Zbl 1280.68232
Lambán, Laureano; Martín-Mateos, Francisco-Jesús; Rubio, Julio; Ruiz-Reina, José-Luis
1
2012
Effective homology of bicomplexes, formalized in Coq. Zbl 1207.68211
Domínguez, César; Rubio, Julio
5
2011
fKenzo: a user interface for computations in algebraic topology. Zbl 1211.55002
Heras, J.; Pascual, V.; Rubio, J.; Sergeraert, F.
4
2011
Proving with ACL2 the correctness of simplicial sets in the Kenzo system. Zbl 1326.68261
Heras, Jónathan; Pascual, Vico; Rubio, Julio
3
2011
Applying ACL2 to the formalization of algebraic topology: simplicial polynomials. Zbl 1342.68292
Lambán, L.; Martín-Mateos, F. J.; Rubio, J.; Ruiz-Reina, J. L.
1
2011
Generating certified code from formal proofs: a case study in homological algebra. Zbl 1214.68330
Aransay, Jesús; Ballarin, Clemens; Rubio, Julio
5
2010
Computing in Coq with infinite algebraic data structures. Zbl 1286.68396
Domínguez, César; Rubio, Julio
2
2010
A case study of \(A_{\infty}\)-structure. Zbl 1196.18001
Berciano Alcaraz, Ainhoa; Rubio, Julio; Sergeraert, Francis
2
2010
Interoperating between computer algebra systems: computing homology of groups with Kenzo and GAP. Zbl 1237.68260
Romero, Ana; Ellis, Graham; Rubio, Julio
7
2009
ACL2 verification of simplicial degeneracy programs in the Kenzo system. Zbl 1247.68325
Martín-Mateos, Francisco-Jesus; Rubio, Julio; Ruiz-Reina, Jose-Luis
5
2009
Using open mathematical documents to interface computer algebra and proof assistant systems. Zbl 1247.68271
Heras, Jónathan; Pascual, Vico; Rubio, Julio
2
2009
A mechanized proof of the basic perturbation lemma. Zbl 1140.68059
Aransay, Jesús; Ballarin, Clemens; Rubio, Julio
13
2008
Intelligent computer mathematics. 9th international conference, AISC 2008, 15th symposium, Calculemus 2008, 7th international conference, MKM 2008, Birmingham, UK, July 28–August 1, 2008. Proceedings. Zbl 1154.68002
Autexier, Serge; Campbell, John; Rubio, Julio; Sorge, Volker; Suzuki, Masakazu; Wiedijk, Freek
3
2008
Mediated access to symbolic computation systems. Zbl 1166.68376
Heras, Jónathan; Pascual, Vico; Rubio, Julio
3
2008
Object oriented institutions to specify symbolic computation systems. Zbl 1146.68481
Domínguez, César; Lambán, Laureano; Rubio, Julio
7
2007
Executing in Common Lisp, proving in ACL2. Zbl 1202.68369
Andrés, Mirian; Lambán, Laureano; Rubio, Julio
2
2007
Computing spectral sequences. Zbl 1132.55008
Romero, A.; Rubio, J.; Sergeraert, F.
11
2006
Algebraic models for homotopy types. Zbl 1088.55006
Rubio, Julio; Sergeraert, Francis
6
2005
Postnikov “invariants” in 2004. Zbl 1072.55003
Rubio, Julio; Sergeraert, Francis
2
2005
Extracting computer algebra programs from statements. Zbl 1143.68641
Aransay, Jesús; Ballarin, Clemens; Rubio, Julio
2
2005
Four approaches to automated reasoning with differential algebraic structures. Zbl 1109.68575
Aransay, Jesús; Ballarin, Clemens; Rubio, Julio
2
2004
An object-oriented interpretation of the EAT system. Zbl 1046.68140
Lambán, Laureano; Pascual, Vico; Rubio, Julio
11
2003
Constructive algebraic topology. Zbl 1007.55019
Rubio, Julio; Sergeraert, Francis
23
2002
Hidden specification of a functional system. Zbl 1023.68129
Domínguez, César; Lambán, Laureano; Pascual, Vico; Rubio, Julio
1
2001
Modeling inheritance as coercion in a symbolic computation system. Zbl 1356.68276
Domínguez, César; Rubio, Julio
1
2001
Locally effective objects and algebraic topology. – Appendix. Zbl 0801.55008
Rubio, J.; Sergeraert, F.
1
1993
Acyclic supports and computing. (Supports acycliques et algorithmique.) Zbl 0875.55001
Rubio, Julio; Sergeraert, Francis
2
1990
Homologie effective et suites spectrales d’Eilenberg-Moore. (Effective homology and Eilenberg-Moore spectral sequences). Zbl 0644.57026
Rubio, Julio; Sergeraert, Francis
2
1988

Citations by Year