Certifying properties of an efficient functional program for computing Gröbner bases

  1. Jorge, J.S.
  2. Gulias, V.M.
  3. Freire, J.L.
Revista:
Journal of Symbolic Computation

ISSN: 0747-7171

Año de publicación: 2009

Volumen: 44

Número: 5

Páginas: 571-582

Tipo: Artículo

DOI: 10.1016/J.JSC.2007.07.016 GOOGLE SCHOLAR lock_openAcceso abierto editor

Objetivos de desarrollo sostenible

Fuente de los datos: Scopus