PROYECTOS I+D
Projecte MTM2009-13842-C02-01 PN MICINN 09
Gestión Mecanizada del Conocimiento Matemático. Aplicaciones en Topología Algebraica y en Lógica.
D'àmbit Nacional.
Investigadors/es
Publicacions relacionades amb el projecte (34)
Mostra per anualitatArticle
-
Verifying the bridge between simplicial topology and algebra: The Eilenberg-Zilber algorithm
2014
Logic Journal of the IGPL
-
A certified reduction strategy for homological image processing
2014
ACM Transactions on Computational Logic
-
On the Role of Formalization in Computational Mathematics
2013
Bulletin of the Belgian Mathematical Society - Simon Stevin
-
Complexity and algorithms for Euler characteristic of simplicial complexes
2013
Journal of Symbolic Computation
-
Alexander duality in experimental designs
2013
Annals of the Institute of Statistical Mathematics
-
Verifying a plaftorm for digital imaging: A multi-tool strategy
2013
Lecture Notes in Computer Science
-
Computing the homology of groups: The geometric way
2012
Journal of Symbolic Computation
-
Effective homotopy of fibrations
2012
Applicable Algebra in Engineering, Communications and Computing
-
Betti numbers of polynomial hierarchical models for experimental designs
2012
Annals of Mathematics and Artificial Intelligence
-
Formalization of a Normalization Theorem in Simplicial Topology
2012
Annals of Mathematics and Artificial Intelligence
-
A parameterization process: From a functorial point of view
2012
International Journal of Foundations of Computer Science
-
fKenzo
2011
Gaceta de la Real Sociedad Matematica Española
-
fKenzo: a user interface for computations in Algebraic Topology
2011
Journal of Symbolic Computation
-
Computational algebraic algorithms for the reliability of generalized k-out-of-n and related systems
2011
Mathematics and Computers in Simulation
-
Applying ACL2 to the Formalization of Algebraic Topology: Simplicial Polynomials
2011
Lecture Notes in Computer Science
-
Effective homology of bicomplexes, formalized in Coq
2011
Theoretical Computer Science
-
A case study of A8-structure
2010
Georgian Mathematical Journal
-
Computing the first stages of the Bousfield-Kan spectral sequence
2010
Applicable Algebra in Engineering, Communications and Computing
-
Generating certified code from Formal Proofs: a case study in Homological Algebra
2010
Formal Aspects of Computing
-
A case-study in algebraic manipulation using mechanized reasoning tools
2010
International Journal of Computer Mathematics
-
Multigraded betti numbers without computing minimal free resolutions
2009
Applicable Algebra in Engineering, Communications and Computing
Tesi
-
Certifying homological algorithms to study biomedical images
2013
Poza López de Echazarreta, María
-
Gestión mecanizada del conocimiento matemático en topología algebraica
2011
Heras Vicente, Jónathan
Capítol de llibre
-
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
-
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
-
Programming before theorizing, a case study
2012
Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC
-
Verifying an algorithm computing Discrete Vector Fields for digital imaging
2012
Lecture Notes in Computer Science, Proceedings CICM 2012
-
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
-
Teaching Geometry with TutorMates
2011
Proceedings ICCSA 2011
-
Mediated access to Symbolic Computation systems
2010
Contribuciones científicas en honor de Mirian Andrés Gómez
-
A project-based experience in database design learning
2010
Contribuciones científicas en honor de Mirian Andrés Gómez
-
Spectral sequences
2010
Contribuciones científicas en honor de Mirian Andrés Gómez
-
Computing in Coq with infinite algebraic data structures
2010
Proceedings CICM 2010
-
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