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)