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

by Bruno Buchberger
Citations:16 - 5 self