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

2008

  1. A Graphical User Interface for the Kenzo System, a Program to Compute in Algebraic Topology

    EACA 2008: XI Encuentro de Álgebra Computacional y Aplicaciones : Granada, del 10 al 12 de septiembre

  2. An Algorithm Computing the First Two Levels of the Bousfield-Kan Spectral Squence

    EACA 2008: XI Encuentro de Álgebra Computacional y Aplicaciones : Granada, del 10 al 12 de septiembre

  3. First Efforts to Increase the Reliability of Kenzo Using ACL2

    EACA 2008: XI Encuentro de Álgebra Computacional y Aplicaciones : Granada, del 10 al 12 de septiembre

  4. Möbius inversion from the point of view of arithmetical semigroup flows

    Proceedings of the "Segundas Jornadas de Teoría de Números" (Madrid, 2007)

  5. On the (n-1)-st Koszul Homology of Monomial Ideals

    EACA 2008: XI Encuentro de Álgebra Computacional y Aplicaciones : Granada, del 10 al 12 de septiembre

  6. Representation of Graded Structures in Proof Assistants

    EACA 2008: XI Encuentro de Álgebra Computacional y Aplicaciones : Granada, del 10 al 12 de septiembre

  7. Simplificación estadística de una población de objetos 3D

    18th Spanish Computer Graphics Conference, CEIG 2008

  8. Una metodología para potenciar y analizar las competencias geométricas y comunicativas

    Investigación en educación matemática: comunicaciones de los grupos de investigación del XI Simposio de la SEIEM, celebrado en La Laguna del 4 al 7 de septiembre de 2007