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 proofe for top-down mathematical invention, and the possibility to program new reasoners within the logic on which the reasoners work ( meta-programming ). © Springer-Verlag 2004.
CITATION STYLE
Buchberger, B. (2004). Algorithm-Supported Mathematical Theory Exploration: A Personal View and Strategy. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3249, 236–250. https://doi.org/10.1007/978-3-540-30210-0_20
Mendeley helps you to discover research relevant for your work.