Follow
Julio Rubio
Julio Rubio
Verified email at unirioja.es
Title
Cited by
Cited by
Year
Constructive algebraic topology
J Rubio, F Sergeraert
Bulletin des Sciences Mathématiques 126 (5), 389-412, 2002
1312002
The Kenzo program.
X Dousson, J Rubio, F Sergeraert, Y Siret
http://www-fourier.ujf-grenoble.fr/~sergerar/Kenzo/, 1999
841999
A systematic review of provenance systems
B Pérez, J Rubio, C Sáenz-Adán
Knowledge and Information Systems 57, 495-543, 2018
712018
Constructive homological algebra and applications
J Rubio, F Sergeraert
arXiv preprint arXiv:1208.3816, 2012
692012
Computing spectral sequences
A Romero, J Rubio, F Sergeraert
Journal of symbolic computation 41 (10), 1059-1079, 2006
552006
EAT: Symbolic Software for Effective Homology Computation. Institut Fourier, Grenoble, 1997
J Rubio, F Sergeraert, Y Siret
51*1997
A mechanized proof of the Basic Perturbation Lemma
J Aransay, C Ballarin, J Rubio
Journal of Automated Reasoning 40 (4), 271-292, 2008
472008
An object-oriented interpretation of the EAT system
L Lambán, V Pascual, J Rubio
Applicable Algebra in Engineering, Communication and Computing 14, 187-215, 2003
472003
Homologie effective des espaces de lacets itérés: un logiciel
J Rubio
These de doctorat de l’Institut Fourier, Grenoble, 1991
291991
Homotopy groups of suspended classifying spaces: an experimental approach
A Romero, J Rubio
Mathematics of computation 82 (284), 2237-2244, 2013
282013
Object oriented institutions to specify symbolic computation systems
C Domínguez, L Lambán, J Rubio
Rairo-Theoretical Informatics and Applications 41 (2), 191-214, 2007
272007
On surfaces in digital topology
R Ayala, E Dominguez, AR Francés, A Quintero, J Rubio
Proc. 5th International Workshop on Discrete Geometry for Computer Imagery …, 1995
271995
Effective homology of bicomplexes, formalized in Coq
C Domínguez, J Rubio
Theoretical Computer Science 412 (11), 962-970, 2011
242011
Formalizing simplicial topology in ACL2
M Andrés, L Lambán, J Rubio, JL Ruiz-Reina
Proceedings ACL2 Workshop, 34-39, 2007
232007
Algebraic models for homotopy types
J Rubio, F Sergeraert
232005
A conceptual approach to meta-modelling
E Domínguez, MA Zapata, J Rubio
Advanced Information Systems Engineering: 9th International Conference …, 1997
211997
Defining and computing persistent Z-homology in the general case
A Romero, J Heras, J Rubio, F Sergeraert
arXiv preprint arXiv:1403.7086, 2014
202014
Interoperating between Computer Algebra systems: computing homology of groups with Kenzo and GAP
A Romero, G Ellis, J Rubio
Proceedings of the 2009 international symposium on Symbolic and algebraic …, 2009
202009
fKenzo: A user interface for computations in Algebraic Topology
J Heras, V Pascual, J Rubio, F Sergeraert
Journal of Symbolic Computation 46 (6), 685-698, 2011
182011
ACL2 verification of simplicial degeneracy programs in the Kenzo system
FJ Martín-Mateos, J Rubio, JL Ruiz-Reina
International Conference on Intelligent Computer Mathematics, 106-121, 2009
182009
The system can't perform the operation now. Try again later.
Articles 1–20