Fachbereich
Matemáticas y Computación
Kongressbeiträge (8) Publikationen, an denen Forscher/innen teilgenommen haben
2008
-
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
-
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
-
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
-
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)
-
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
-
Representation of Graded Structures in Proof Assistants
EACA 2008: XI Encuentro de Álgebra Computacional y Aplicaciones : Granada, del 10 al 12 de septiembre
-
Simplificación estadística de una población de objetos 3D
18th Spanish Computer Graphics Conference, CEIG 2008
-
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