Software que facilita el cálculo de primer orden, y orden superior de funciones vectoriales, ecuaciones diferenciales ordinarias, cálculo superior de derivada de tensores.

Software útil para la investigación y el desarrollo de algoritmos matemáticos. Se define un establecimiento inflexible de tipos, jerarquía de tipos matemáticamente correcto.

Programa de gráficos, proporciona una comprensión de la configuración geométrica de las proyecciones.

Conjunto de programas desarrollado en Visual C++ y Visual Basic para cálculos típicos de Matemáticas Discretas.

Software que realiza polinomios multivariados, cálculos simbólicos, matrices sobre anillos de polinomios, gráficos, y otros cálculos numéricos.

Sistema de álgebra computacional discreta, con especial énfasis en Teoría de Grupos Computacional

Editor de ecuaciones y graficas,  para realizar documentos cientÍficos como artÍculos, papers y tesis .

Software para el cálculo de monoides afines, vectores y retículos, especificando los datos de entrada en términos de un sistema de generadores o vértices

Software para de ecuaciones explícitas, paramétricas, implícitas y cilíndricas, generar curvas simples, tubos e incluso representar ecuaciones diferenciales (2D y 3D)

Software que resuelve ecuaciones simples, diferenciales, integrables de cualquier grado