Aportaciones congreso (10) Publicaciones en las que ha participado algún/a investigador/a

2012

  1. Algebraic analysis of two-terminal networks

    Libro de Resúmenes del XIII Encuentro de Álgebra Computacional y Aplicaciones: EACA 2012

  2. An ACL2 formalization of algebraic structures

    Libro de Resúmenes del XIII Encuentro de Álgebra Computacional y Aplicaciones: EACA 2012

  3. COMPARISON OF DELAUNAY NORMALIZATION AND THE KRYLOV-BOGOLIUBOV-MITROPOLSKY METHOD

    SPACEFLIGHT MECHANICS 2012

  4. Formalizing an abstract algebra textbook in Isabelle/HOL

    Libro de Resúmenes del XIII Encuentro de Álgebra Computacional y Aplicaciones: EACA 2012

  5. 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

  6. Path lifting methods and solutions of univariate polynomial equations

    Libro de Resúmenes del XIII Encuentro de Álgebra Computacional y Aplicaciones: EACA 2012

  7. Poincaré and Opial inequalities for vector-valued convolution products

    Journal of Computational and Applied Mathematics

  8. Symbolic manipulation and biomedical images

    Libro de Resúmenes del XIII Encuentro de Álgebra Computacional y Aplicaciones: EACA 2012

  9. 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

  10. 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