A Survey of Research in Automated Mathematical Conjecture-Making

Craig E. Larson. A Survey of Research in Automated Mathematical Conjecture-Making. In Siemion Fajtlowicz, Patrick W. Fowler, Pierre Hansen, Melvin F. Janowitz, Fred S. Roberts, editors, Graphs and Discovery, Proceedings of a DIMACS Workshop, New Brunswick, New Jersey, USA, November 12-16, 2001. Volume 69 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, pages 297-318, DIMACS/AMS, 2001.

Abstract

Abstract is missing.