Algorithm Supported Mathematical Theory Exploration: A Personal View and Stragegy (2004)

by B Buchberger
Venue:Proceedings of AISC 2004 (7 th International Conference on Artificial Intelligence and Symbolic Computation), volume 3249 of Springer Lecture Notes in Artificial Intelligence