  In this paper we describe the mathematical foundations of a new approach to
semi-supervised Machine Learning. Using techniques of Symbolic Computation and
Computer Algebra, we apply the concept of persistent homology to obtain a new
semi-supervised learning method.
