Topología computacional, intersecciones de curvas y superficies y visualización de los resultados.
Axel es un modelador geométrico algebraico, cuyo objetivo es proporcionar herramientas de modelado algebraico para la manipulación y el cálculo con curvas o superficies implícitas y paramétricas. Su meta principal es integrar las capacidades algebraicas de Synaps para ofrecer nuevas técnicas de modelado. Sus funcionalidades principales son: topología: calcular la topología certificada de curvas y superficies con representación implícita o paramétrica, intersecciones: calcular la intersección de curvas o superficies implícitas o paramétricas, auto-intersecciones: calcular las auto-intersecciones de superficies paramétricas independientemente de su parametrización, singularidades: calcular las singularidades de superficies algebraicas, modelado diferencial: curvas derivadas, superficies graficadas, modelado teórico de conjuntos: operaciones booleanas, arreglos.