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

### Cached

### Download Links

- [www.risc.uni-linz.ac.at]
- [www.risc.jku.at]
- [www.risc.uni-linz.ac.at]
- [www.risc.jku.at]
- [www.risc.jku.at]
- [www.ags.uni-sb.de]
- DBLP

### Other Repositories/Bibliography

by
Bruno Buchberger

Citations: | 18 - 5 self |