Buscar
Mostrando ítems 1-10 de 10
Ponencia
On the computability of the p-local homology of twisted cartesian products of Eilenberg-Mac Lane spaces
(Universidade do Minho, 1997)
Working in the framework of the Simplicial Topology, a method for calculating the p-local homology of a twisted cartesian product X( , m, , 0, n) = K( ,m)× K( 0, n) of Eilenberg-Mac Lane spaces is given. The chief ...
Ponencia
Anchura de un convexo en la esfera.
(1997-01)
Se generaliza el concepto de anchura de un conjunto en el plano a la superficie de la esfera, dando condiciones necesarias y suficientes para que un conjunto convexo sobre la superficie de la esfera puede pasar a través ...
Ponencia
Homological perturbation theory and computability of Hochschild and cyclic homologies of CDGAs
(Diffiety Institute of the Russian Academy of Natural Sciences, 1997)
We establish an algorithm computing the homology of commutative differential graded algebras (briefly, CDGAs). The main tool in this approach is given by the Homological Perturbation Theory particularized for the algebra ...
Ponencia
Diameter of a set on the cylinder
(Queen's University, 1997)
Ponencia
An algorithm for computing the first homology groups of CDGAs with linear differential
(Research Institute for Symbolic Computation, 1999)
We design here a primary platform for computing the basic homological information of Commutative Differential Graded Algebras (brie y, CDGAs), endowed with linear differential. All the algorithms have been implemented ...
Ponencia
Steenrod reduced powers and computability
(International Association for Mathematics and Computers in Simulation, 1999)
Ponencia
Computing Cocycles on Simplicial Complexes
(Springer, 1999)
In this note, working in the context of simplicial sets [17], we give a detailed study of the complexity for computing chain level Steenrod squares [20, 21], in terms of the number of face operators required. This analysis ...
Ponencia
analyzing the transference of the coalgebra structure on the homology CDGAs
(International Association for Mathematics and Computers in Simulation, 1999)
Ponencia
A framework for digital topology
(IEEE Computer Society, 1993)
The main goal of this paper is to show the functional architecture of a framework for digital topology. This architecture has four levels, called device, logical, conceptual and continuous levels. In each one of them one ...
Ponencia
the width of a convex set on the sphere
(Queen's University, 1997)