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

Ano de publicación: 2009

Volume: 44

Número: 5

Páxinas: 571-582

Tipo: Artigo

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

Obxectivos de Desenvolvemento Sustentable

Fonte de datos: Scopus