Capítulos de Libro (9) Publicaciones en las que ha participado algún/a investigador/a

2012

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

  2. Algebraic Reliability Based on Monomial Ideals: A Review

    Harmony of Gröbner Bases and the Modern Industrial Society, pp. 314-335

  3. Construction of majorizing sequences for operators with unbounded second derivative

    Eleventh International Conference Zaragoza-Pau on Applied Mathematics and Statistics (Universidad de Zaragoza), pp. 123-132

  4. Dynamic aspects of damped newton's method

    Civil-Comp Proceedings

  5. Política de salud en materia de aborto en España: un ejemplo a no seguir.

    Bioética global, y debates al inicio y fin de la vida en Latinoamérica: 20 años de FELAIBE (FELAIBE, Sociedad Chilena de Bioética, Fundación Interamericana Ciencia y Vida), pp. 230-243

  6. Programming before theorizing, a case study

    Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC, pp. 289-296

  7. Towards a certified computation of homology groups for digital images

    Lectures Notes in Computer Science: Computational Topology in Image Context, 4th International Workshop, CTIC 2012, Bertinoro, Italy, May 28-30, 2012, Proceedings (SPRINGER-VERLAG), pp. 49-57

  8. Verifying an algorithm computing Discrete Vector Fields for digital imaging

    Lecture Notes in Computer Science, Proceedings CICM 2012, pp. 216-230

  9. Álgebra en el libro de análisis matemático de Beppo Levi (1916)

    Actas del XI Congreso de la SEHCYT