Julio
Rubio García
CATEDRÁTICO DE UNIVERSIDAD
María Vico
Pascual Martínez-Losa
PROFESORA TITULAR DE UNIVERSIDAD
Publications dans lesquelles il/elle collabore avec María Vico Pascual Martínez-Losa (31)
2023
-
Evaluación y mejora del Kit en Tecnologías Informáticas
Evaluación y mejora del Kit en Tecnologías Informáticas
2022
-
Curso 0 en Tecnologías Informáticas
Curso 0 en Tecnologías Informáticas
2015
-
El punto de vista del alumno sobre los ECTS como herramienta para la coordinación del Grado en Ingeniería Informática
El punto de vista del alumno sobre los ECTS como herramienta para la coordinación del Grado en Ingeniería Informática
2014
-
Informática para las Matemáticas, Matemáticas para la Informática, Informática Aplicada
Zubía, Núm. 26, pp. 19-37
-
Obtaining an ACL2 specification from an Isabelle/HOL theory
Lecture Notes in Computer Science, Vol. 8884, pp. 49-63
-
Obtaining an ACL2 sprecification from an Isabelle/HOL theory
Lecture Notes in Artificial Intelligence. Proceedings of AISC 2014 (Springer), pp. 49-63
-
Prácticas Externas: su coordinación y su relación con las diferentes asignaturas del Grado en Ingeniería Informática
Prácticas Externas: su coordinación y su relación con las diferentes asignaturas del Grado en Ingeniería Informática
2013
-
Uso de redes sociales en dirección de Trabajos Fin de Grado del Grado en Informática
Uso de redes sociales en dirección de Trabajos Fin de Grado del Grado en Informática
2012
-
A Certified Module to Study Digital Images with the Kenzo System
Lecture Notes in Computer Science, Computer Aided Systems Theory &- EUROCAST 2011 (SPRINGER-VERLAG), pp. 113-120
-
Diseño de un ejemplo interdisciplinar para las asignaturas de últimos cursos de la titulación "Grado en Informática"
Diseño de un ejemplo interdisciplinar para las asignaturas de últimos cursos de la titulación "Grado en Informática"
2011
-
A System for Computing and Reasoning in Algebraic Topology
Lectures Notes in Computer Science: Intelligent Computer Mathematics 18th Symposium, Calculemus 2011, 10th International Conference, MKM 2011, Held as Part of CICM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings (SPRINGER-VERLAG), pp. 295-297
-
Mathematical Knowledge Management in Algebraic Topology
Communications in Computer Algebra (SIGSAM Bulletin), Vol. 45, Núm. 176, pp. 144-145
-
Proving with ACL2 the Correctness of Simplicial Sets in the Kenzo System
Lecture Notes in Computer Science, Vol. 6564 LNCS, pp. 37-51
-
fKenzo: a user interface for computations in Algebraic Topology
Journal of Symbolic Computation, Vol. 46, Núm. 6, pp. 685-698
-
fKenzo: una interfaz de usuario para realizar cálculos en Topología Algebraica
Gaceta de la Real Sociedad Matematica Española, Vol. 14, Núm. 2, pp. 297-308
2010
-
Integrating multiple sources to answer questions in Algebraic Topology
Lectures Notes in Computer Science: Intelligent Computer Mathematics10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings, pp. 331-335
2009
-
Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems
Lectures Notes in Computer Science: Intelligent Computer Mathematics16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings (SPRINGER-VERLAG), pp. 467-473
2008
-
A Graphical User Interface for the Kenzo System, a Program to Compute in Algebraic Topology
EACA 2008: XI Encuentro de Álgebra Computacional y Aplicaciones : Granada, del 10 al 12 de septiembre
-
Mediated access to Symbolic Computation Systems
Lecture Notes in Computer Science, Vol. 5144 LNAI, Núm. 5144, pp. 446-461
2005
-
Remote access to a Symbolic Computation system for Algebraic Topology: a client-server approach
Lecture Notes in Computer Science, Vol. 3516, Núm. III, pp. 635-642