Métodos efectivos en Álgebra, Análisis, Geometría y Topología.

Complejidad de algoritmos.

Cálculo Científico a través de métodos simbólico-numéricos.

Desarrollo de software simbólico-numérico.

Análisis, especificación, diseño e implementación de sistemas de Cálculo Simbólico.

Aplicaciones en Ciencia y Tecnología.