Making Conjectures about Maple Functions (2002)
by
Simon Colton
| Venue: | In: Proceedings of the Tenth Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, LNAI 2385 |
| Citations: | 9 - 6 self |
BibTeX
@INPROCEEDINGS{Colton02makingconjectures,
author = {Simon Colton},
title = {Making Conjectures about Maple Functions},
booktitle = {In: Proceedings of the Tenth Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, LNAI 2385},
year = {2002},
publisher = {Springer}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
One of the main applications of computational techniques to pure mathematics has been the use of computer algebra systems to perform calculations which mathematicians cannot perform by hand.
Citations
| 670 | An Introduction to the Theory of Numbers - Hardy, Wright - 1971 |
| 87 | Automated Theory Formation in Pure Mathematics - Colton - 2002 |
| 54 | AM: Discovery in mathematics as heuristic search - Lenat - 1982 |
| 44 | The OTTER user’s guide - McCune - 1990 |
| 35 | System description: MathWeb, an agent-based communication layer for distributed automated theorem proving - Franke, Kohlhase - 1999 |
| 28 | Refactorable numbers — a machine invention - Colton |
| 27 | Constraint generation via automated theory formation - Colton, Miguel - 2001 |
| 24 | Automatic invention of integer sequences - Colton, Bundy, et al. - 2000 |
| 23 | The Maple Handbook: Maple V Release 5 - Redfern - 1998 |
| 15 | On conjectures of Gra ti - Fajtlowicz |
| 13 | A Davis-Putnam program and its application to model search - McCune - 1994 |
| 11 | Theory Exploration Versus Theorem Proving - Buchberger - 1999 |
| 7 | An introduction to Zariski spaces over Zariski topologies - McCasland, Moore, et al. - 1998 |
| 4 | Proving and discovering geometry theorems using Wu's method - Chou - 1985 |
