Revista de Computación Simbólica