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

by Bruno Buchberger
Citations:18 - 5 self