Estudio e implementación de algoritmos para la manipulación y cálculo en semigrupos. Aplicaciones computacionales en otras áreas de las matemáticas, como puede ser el estudio de factorizaciones en dominios de integridad, o la resolución de sistemas de ecuaciones e inecuaciones con coeficientes enteros. Dentro de este apartado, aparte de varias publicaciones relativas a dichos algoritmos, se ha implmentado el paquete numericalsgps de libre distribución para GAP (se puede acceder y descargar en la página www.gap-system.org). En la actualidad está en la versión 0.97.