A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
Automated conjecturing I: Fajtlowicz's Dalmatian heuristic revisited
2016
Artificial Intelligence
We discuss a new implementation of, and new experiments with, Fajtlowicz's Dalmatian conjecture-making heuristic. Our program makes conjectures about relations of real number invariants of mathematical objects. Conjectures in matrix theory, number theory, and graph theory are reported, together with an experiment in using conjectures to automate game play. The program can be used in a way that, by design, advances mathematical research. These experiments suggest that automated conjecture-making
doi:10.1016/j.artint.2015.10.002
fatcat:gu6kvb5ajzh6nldfcmu2qgnqbe