Groebner bases in Theorema using functors (2008)

by B Buchberger
Venue:Proceedings of SCC ’08