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...
Guardado en:
Autor principal: | |
---|---|
Otros Autores: | |
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!
|
Sea el primero en dejar un comentario!