date_range Duración del 31 de diciembre de 2009 al 31 de diciembre de 2013 (48 meses)
euro 52.030,00 EUR

De ámbito Nacional.

Investigadores/as

Publicaciones relacionadas con el proyecto (34)

Mostrar por anualidad

Artículo

  1. Verifying the bridge between simplicial topology and algebra: The Eilenberg-Zilber algorithm 2014

    Logic Journal of the IGPL

  2. A certified reduction strategy for homological image processing 2014

    ACM Transactions on Computational Logic

  3. On the Role of Formalization in Computational Mathematics 2013

    Bulletin of the Belgian Mathematical Society - Simon Stevin

  4. Complexity and algorithms for Euler characteristic of simplicial complexes 2013

    Journal of Symbolic Computation

  5. Alexander duality in experimental designs 2013

    Annals of the Institute of Statistical Mathematics

  6. Verifying a plaftorm for digital imaging: A multi-tool strategy 2013

    Lecture Notes in Computer Science

  7. Computing the homology of groups: The geometric way 2012

    Journal of Symbolic Computation

  8. Effective homotopy of fibrations 2012

    Applicable Algebra in Engineering, Communications and Computing

  9. Betti numbers of polynomial hierarchical models for experimental designs 2012

    Annals of Mathematics and Artificial Intelligence

  10. Formalization of a Normalization Theorem in Simplicial Topology 2012

    Annals of Mathematics and Artificial Intelligence

  11. A parameterization process: From a functorial point of view 2012

    International Journal of Foundations of Computer Science

  12. fKenzo 2011

    Gaceta de la Real Sociedad Matematica Española

  13. fKenzo: a user interface for computations in Algebraic Topology 2011

    Journal of Symbolic Computation

  14. Computational algebraic algorithms for the reliability of generalized k-out-of-n and related systems 2011

    Mathematics and Computers in Simulation

  15. Applying ACL2 to the Formalization of Algebraic Topology: Simplicial Polynomials 2011

    Lecture Notes in Computer Science

  16. Effective homology of bicomplexes, formalized in Coq 2011

    Theoretical Computer Science

  17. A case study of A8-structure 2010

    Georgian Mathematical Journal

  18. Computing the first stages of the Bousfield-Kan spectral sequence 2010

    Applicable Algebra in Engineering, Communications and Computing

  19. Generating certified code from Formal Proofs: a case study in Homological Algebra 2010

    Formal Aspects of Computing

  20. A case-study in algebraic manipulation using mechanized reasoning tools 2010

    International Journal of Computer Mathematics

  21. Multigraded betti numbers without computing minimal free resolutions 2009

    Applicable Algebra in Engineering, Communications and Computing

Capítulo de Libro

  1. Certified symbolic manipulation: Bivariate simplicial polynomialsModos de exclusión de las mujeres en la sociedad actual 2013

    Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC

  2. Towards a certified computation of homology groups for digital images 2012

    Lectures Notes in Computer Science: Computational Topology in Image Context, 4th International Workshop, CTIC 2012, Bertinoro, Italy, May 28-30, 2012, Proceedings

  3. Programming before theorizing, a case study 2012

    Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC

  4. Verifying an algorithm computing Discrete Vector Fields for digital imaging 2012

    Lecture Notes in Computer Science, Proceedings CICM 2012

  5. Incidence Simplicial Matrices Formalized in Coq/SSReflect 2011

    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

  6. Teaching Geometry with TutorMates 2011

    Proceedings ICCSA 2011

  7. Mediated access to Symbolic Computation systems 2010

    Contribuciones científicas en honor de Mirian Andrés Gómez

  8. A project-based experience in database design learning 2010

    Contribuciones científicas en honor de Mirian Andrés Gómez

  9. Spectral sequences 2010

    Contribuciones científicas en honor de Mirian Andrés Gómez

  10. Computing in Coq with infinite algebraic data structures 2010

    Proceedings CICM 2010

  11. Integrating multiple sources to answer questions in Algebraic Topology 2010

    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