B. Buchberger and A. Maletzky. Groebner Bases in Theorema
Proceedings of the 4th International Congress on Mathematical Software (ICMS'2014),
Seoul, Korea, August 5-9, 2014.
The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-662-44199-2_58
paper.pdf
—
PDF document,
281 KB (288343 bytes)