Scheme-Based Systematic Exploration of Natural Numbers

In this paper, we report a case study of computer supported exploration of the theory of natural numbers, using a theory exploration model based on knowledge schemes, proposed by Bruno Buchberger. We illustrate with examples from the exploration: (i) the invention of new concepts (functions, relations) in the theory, using knowledge schemes, (ii) the invention of new propositions, using proposition schemes, (iii) the invention of problems, using knowl

• Type: Conference
• Year: 2006
• Where: SYNASC
• Authors: Madalina Hodorog, Adrian Craciun
• Keywords: Computer Supported Exploration, Knowledge Schemes, SYNASC 2006, Theory Exploration Model