J. Santiago Jorge, Víctor M. Gulías, José Luis Freire. Certifying properties of an efficient functional program for computing Gröbner bases. Journal of Symbolic Computation, 44(5):571-582, 2009. [doi]
No references recorded for this publication.
No citations of this publication recorded.