Julio Rubio
Julio Rubio
Dirección de correo verificada de unirioja.es
Título
Citado por
Citado por
Año
Constructive algebraic topology
J Rubio, F Sergeraert
Bulletin des Sciences Mathématiques 126 (5), 389-412, 2002
1202002
The Kenzo program.
X Dousson, J Rubio, F Sergeraert, Y Siret
http://www-fourier.ujf-grenoble.fr/~sergerar/Kenzo/, 1999
671999
Constructive homological algebra and applications
J Rubio, F Sergeraert
arXiv preprint arXiv:1208.3816, 2012
572012
An object-oriented interpretation of the EAT system
L Lambán, V Pascual, J Rubio
Applicable Algebra in Engineering, Communication and Computing 14 (3), 187-215, 2003
492003
EAT: Symbolic Software for Effective Homology Computation. Institut Fourier, Grenoble, 1997
J Rubio, F Sergeraert, Y Siret
49*1997
Computing spectral sequences
A Romero, J Rubio, F Sergeraert
Journal of symbolic computation 41 (10), 1059-1079, 2006
482006
A mechanized proof of the Basic Perturbation Lemma
J Aransay, C Ballarin, J Rubio
Journal of Automated Reasoning 40 (4), 271-292, 2008
472008
Object oriented institutions to specify symbolic computation systems
C Domínguez, L Lambán, J Rubio
RAIRO-Theoretical Informatics and Applications-Informatique Théorique et …, 2007
302007
A systematic review of provenance systems
B Pérez, J Rubio, C Sáenz-Adán
Knowledge and Information Systems 57 (3), 495-543, 2018
282018
Homotopy groups of suspended classifying spaces: an experimental approach
A Romero, J Rubio
Mathematics of computation 82 (284), 2237-2244, 2013
252013
Formalizing simplicial topology in ACL2
M Andrés, L Lambán, J Rubio, JL Ruiz-Reina
Proceedings of ACL2 Workshop 2007, 34-39, 2007
252007
Algebraic models for homotopy types
J Rubio, F Sergeraert
Homology, Homotopy and Applications 7 (2), 139-160, 2005
242005
Homologie effective des espaces de lacets itérés: un logiciel
J Rubio
These de doctorat de l’Institut Fourier, Grenoble, 1991
241991
A conceptual approach to meta-modelling
E Domínguez, MA Zapata, J Rubio
International Conference on Advanced Information Systems Engineering, 319-332, 1997
231997
On surfaces in digital topology
R Ayala, E Dominguez, AR Francés, A Quintero, J Rubio
Proc. of the 5th Workshop on Discrete Geometry for Computer Imagery DGCI’95 …, 1995
231995
Effective homology of bicomplexes, formalized in Coq
C Domínguez, J Rubio
Theoretical Computer Science 412 (11), 962-970, 2011
222011
Intelligent computer mathematics
S Autexier, J Campbell, J Rubio, V Sorge, M Suzuki, F Wiedijk
Springer, 2008
212008
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
192009
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20