Name
Abstract | ||
|---|---|---|
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 knowledge schemes, (iv) the introduction of new reasoning rules, by lifting knowledge to the inference level, after their correctness was proved. |
Year | DOI | Venue |
|---|---|---|
2006 | 10.1109/SYNASC.2006.67 | SYNASC |
Keywords | Field | DocType |
number theory | Proposition,Natural number,Computer science,Inference,Correctness,Theoretical computer science,Artificial intelligence,Number theory | Conference |
ISBN | Citations | PageRank |
0-7695-2740-X | 4 | 0.72 |
References | Authors | |
5 | 2 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Mădălina Hodorog | 1 | 19 | 3.43 |
| Adrian Craciun | 2 | 9 | 2.31 |