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

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

ISSN: 0747-7171

Year of publication: 2009

Volume: 44

Issue: 5

Pages: 571-582

Type: Article

DOI: 10.1016/J.JSC.2007.07.016 GOOGLE SCHOLAR lock_openOpen access editor

Sustainable development goals