Inductive reasoning in mathematics

  • Authors:

  • F. Malloy Brown;Sten-Ake Tarnlund

  • Affiliations:

  • Department of Artificial Intelligence, University of Edinburgh, Scotland;Dept. of Information Processing & Computer Science, Royal Institute of Technology, University of Stockholm, Sweden

  • Venue:
  • IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 2
  • Year:
  • 1977

Quantified Score

Hi-index 0.00

Visualization

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.