{"type":"ScholarlyArticle","title":"Inductive Reasoning in Mathematics","authors":[{"name":"Frank M. Brown","slug":"frank-m-brown","given":"Frank M.","family":"Brown","affiliation":""},{"name":"Sten-Åke Tärnlund","slug":"sten-ake-tarnlund","given":"Sten-Åke","family":"Tärnlund","affiliation":""}],"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.","doi":null,"url":"https://ijcai.org/proceedings/1977/200","pdf":"https://ijcai.org/proceedings/1977/0200.pdf","markdown":"https://ijcai.org/proceedings/1977/200.md","bibtex":"https://ijcai.org/proceedings/1977/bibtex/200","volume":{"slug":"1977","title":"Proceedings of the Fifth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1977","url":"https://ijcai.org/proceedings/1977/","year":1977,"location":"Cambridge, MA, USA","dates":"","editors":"Raj Reddy","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Specialized Systems","track":"Specialized Systems","number":200,"pages":{"first":844,"last":849},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}