Sturm, Thomas Automation of Logic, MPI for Informatics, Max Planck Society;
37_Rahkooy(4).pdf (Any fulltext), 278KB
Demin, A., Rahkooy, H., & Sturm, T. (2022). F5: A REDUCE Package for Signature-based Gröbner Basis Computation. In CASC 2022 - Computer Algebra in Scientific Computing. HAL. Retrieved from https://hal.science/hal-03781962.