Esta tesis presenta una particularización de la Gestión del Conocimiento Matemático al caso de la Topología Algebraica.
La Gestión del Conocimiento Matemático es una rama de las Ciencias de la Computación cuyo principal objetivo consiste en desarrollar asistentes para…