Département
Matemáticas y Computación
Communications dans un congrès (10) Publications auxquelles un chercheur a participé
2012
-
Algebraic analysis of two-terminal networks
Libro de Resúmenes del XIII Encuentro de Álgebra Computacional y Aplicaciones: EACA 2012
-
An ACL2 formalization of algebraic structures
Libro de Resúmenes del XIII Encuentro de Álgebra Computacional y Aplicaciones: EACA 2012
-
COMPARISON OF DELAUNAY NORMALIZATION AND THE KRYLOV-BOGOLIUBOV-MITROPOLSKY METHOD
SPACEFLIGHT MECHANICS 2012
-
Formalizing an abstract algebra textbook in Isabelle/HOL
Libro de Resúmenes del XIII Encuentro de Álgebra Computacional y Aplicaciones: EACA 2012
-
Introduction of the elementary divisor theory in Spain
The Circulation of Science and Technology: Proceedings of the 4th International Conference of the European Society for the History of Science. Barcelona, 18-20 November 2010
-
Path lifting methods and solutions of univariate polynomial equations
Libro de Resúmenes del XIII Encuentro de Álgebra Computacional y Aplicaciones: EACA 2012
-
Poincaré and Opial inequalities for vector-valued convolution products
Journal of Computational and Applied Mathematics
-
Symbolic manipulation and biomedical images
Libro de Resúmenes del XIII Encuentro de Álgebra Computacional y Aplicaciones: EACA 2012
-
The biography of the Spanish mathematician Tomás Rodríguez Bachiller (1899-1980)
The Circulation of Science and Technology: Proceedings of the 4th International Conference of the European Society for the History of Science. Barcelona, 18-20 November 2010
-
The inventions of José Ruiz Castizo: the planimeter
The Circulation of Science and Technology: Proceedings of the 4th International Conference of the European Society for the History of Science. Barcelona, 18-20 November 2010