The problem of automated theorem finding

@article{Wos1993ThePO,
  title={The problem of automated theorem finding},
  author={Larry Wos},
  journal={Journal of Automated Reasoning},
  year={1993},
  volume={10},
  pages={137-138}
}
This article is the twenty-fifth of a series of articles discussing various open research problems in automated reasoning. The problem proposed for research asks one to identify appropriate properties to permit an automated reasoning program tofind new and interesting theorems, in contrast toproving conjectured theorems. Such programs are now functioning in… CONTINUE READING