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

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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.