Inductive reasoning in mathematics
Frank Malloy Brown, Sten-Åke Tärnlund · International Joint Conference on Artificial Intelligence · 1977
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.