et al. An Overview on the Theorema project (1997)

by B Buchberger
Venue:Proceedings of ISSAC’97, Maui