ML Anthology

On the Discovery of Mathematical Theorems

Susan L. Epstein
IJCAI 1987 pp. 194-197
/ijcai/1987/epstein1987ijcai-discovery/
PDF IJCAI Semantic Scholar

Cite

Text

Epstein. "On the Discovery of Mathematical Theorems." International Joint Conference on Artificial Intelligence, 1987.

Markdown

[Epstein. "On the Discovery of Mathematical Theorems." International Joint Conference on Artificial Intelligence, 1987.](https://mlanthology.org/ijcai/1987/epstein1987ijcai-discovery/)

BibTeX

@inproceedings{epstein1987ijcai-discovery,
  title     = {{On the Discovery of Mathematical Theorems}},
  author    = {Epstein, Susan L.},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1987},
  pages     = {194-197},
  url       = {https://mlanthology.org/ijcai/1987/epstein1987ijcai-discovery/}
}