DocumentCode :
3624024
Title :
Scheme-Based Systematic Exploration of Natural Numbers
Author :
Madalina Hodorog;Adrian Craciun
Author_Institution :
Institute e-Austria, Romania
fYear :
2006
Firstpage :
23
Lastpage :
34
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 scheme;, (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
Keywords :
"Logic","Inference algorithms","Problem-solving","Content management","Libraries","Management training","Mathematics","Knowledge management","Scientific computing","Induction generators"
Publisher :
ieee
Conference_Titel :
Symbolic and Numeric Algorithms for Scientific Computing, 2006. SYNASC ´06. Eighth International Symposium on
Print_ISBN :
0-7695-2740-X
Type :
conf
DOI :
10.1109/SYNASC.2006.67
Filename :
4090293
Link To Document :
بازگشت