ML Anthology

Inductive Reasoning in Mathematics

Frank M. Brown, Sten-Åke Tärnlund
IJCAI 1977 pp. 844-850
/ijcai/1977/brown1977ijcai-inductive/

Abstract

We investigate several methods of inductive reasoning in the domain of difference equations, including the method of generalization with beliefs, the method of successive refinement, and temporal methods based on comparisons with previously solved problems.

PDF Semantic Scholar

Cite

Text

Brown and Tärnlund. "Inductive Reasoning in Mathematics." International Joint Conference on Artificial Intelligence, 1977.

Markdown

[Brown and Tärnlund. "Inductive Reasoning in Mathematics." International Joint Conference on Artificial Intelligence, 1977.](https://mlanthology.org/ijcai/1977/brown1977ijcai-inductive/)

BibTeX

@inproceedings{brown1977ijcai-inductive,
  title     = {{Inductive Reasoning in Mathematics}},
  author    = {Brown, Frank M. and Tärnlund, Sten-Åke},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1977},
  pages     = {844-850},
  url       = {https://mlanthology.org/ijcai/1977/brown1977ijcai-inductive/}
}