Especificación orientada a objetos de sistemas de cálculo simbólico

This work deals with the specification of symbolic computation systems in Algebraic Topology. In particular, two systems called EAT and Kenzo are studied. These programs obtain homology and homotopy groups of complex topological spaces, such as iterated loop spaces. These systems have provided group...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Domínguez Pérez, César
Otros Autores: Lambán Pardo, Laureano (Universidad de La Rioja)
Formato: text (thesis)
Lenguaje:spa
Publicado: Universidad de La Rioja (España) 2003
Acceso en línea:https://dialnet.unirioja.es/servlet/oaites?codigo=75
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!