Epsilon es una librería de funciones implementadas en Maple y Java para la descomposición y simplificación polinomial con aplicaciones (geométricas). Dispone de 8 módulos y contiene más de 70 funciones que permiten:

• Triangularizar sistemas de polinomios (diferenciales) con múltiples variables.
• Descomposición de sistemas polinomiales en sistemas triangulares de varios tipos (regular, normal, simple, irreducible o con propiedad proyectiva).
• Descomposición de variedades algebraicas en subvariedades irreducibles o no mixtas.
• Descomposición de ideales de polinomios en ideales primos.
• Factorización de polinomios sobre cuerpos de extensiones algebraicas.
• Resolución de sistemas de ecuaciones e inecuaciones polinomiales, y manipulación y demostración automática de teoremas geométricos.

La librería se encuentra disponible de forma gratuita para uso académico y no comercial, y viene acompañada con documentación, ejemplos y documentos de Maple.