---
title: "Inductive Reasoning in Mathematics"
authors:
  - "Frank M. Brown"
  - "Sten-Åke Tärnlund"
doi: ""
url: "https://ijcai.org/proceedings/1977/200"
pdf: "https://ijcai.org/proceedings/1977/0200.pdf"
venue: "Proceedings of the Fifth International Joint Conference on Artificial Intelligence"
year: 1977
pages: "844-849"
track: "Specialized Systems"
keywords:
---

# Inductive Reasoning in Mathematics

Frank M. Brown, Sten-Åke Tärnlund

*Proceedings of the Fifth International Joint Conference on Artificial Intelligence*, pages 844-849.

## 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.