Groebner bases in theorema using functors (2008)

by B Buchberger
Venue:Proceedings of SCC’08