Red EACA

Nodo de la Universidad de Santiago de Compostela


Descriptores temáticos: Bases de Gröbner, álgebras de Lie, álgebras de Leibniz, teorema de Poincaré-Birkhoff-Witt, G-álgebras, Gap, Singular, Maple, Verificación de software, construcción de sistemas de cálculo simbólico, criptografía, teoría de números computacional, primalidad, factorización.