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.ags.uni-sb.de]
- DBLP
Other Repositories/Bibliography
by
Bruno Buchberger
| Citations: | 16 - 5 self |
BibTeX
@MISC{Buchberger04algorithm-supportedmathematical,
author = {Bruno Buchberger},
title = {Algorithm-Supported Mathematical Theory Exploration: A Personal View and Strategy},
year = {2004}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We present a personal view and strategy for algorithm-supported mathematical theory exploration and draw some conclusions for the desirable functionality of future mathematical software systems. The main points of emphasis are: The use of schemes for bottom-up mathematical invention, the algorithmic generation of conjectures from failing proofs for top-down mathematical invention, and the possibility to program new reasoners within the logic on which the reasoners work ("meta-programming").
