Saila
Matemáticas y Computación
Liburu kapituluak (9) Ikertzaileren baten partaidetza izan duten argitalpenak
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
-
Algebraic Reliability Based on Monomial Ideals: A Review
Harmony of Gröbner Bases and the Modern Industrial Society, pp. 314-335
-
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
-
Dynamic aspects of damped newton's method
Civil-Comp Proceedings
-
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
-
Programming before theorizing, a case study
Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC, pp. 289-296
-
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
-
Verifying an algorithm computing Discrete Vector Fields for digital imaging
Lecture Notes in Computer Science, Proceedings CICM 2012, pp. 216-230
-
Álgebra en el libro de análisis matemático de Beppo Levi (1916)
Actas del XI Congreso de la SEHCYT