loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Eighth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'06)
Scheme-Based Systematic Exploration of Natural Numbers
Timisoara, Romania
September 26-September 29
ISBN: 0-7695-2740-X
ASCII Text
x 
 
Madalina Hodorog, Adrian Craciun, "Scheme-Based Systematic Exploration of Natural Numbers," Symbolic and Numeric Algorithms for Scientific Computing, International Symposium on, pp. 23-34, Eighth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'06), 2006.
 
 
BibTex
x
 
@article{ 10.1109/SYNASC.2006.67,
author = {Madalina Hodorog and Adrian Craciun},
title = {Scheme-Based Systematic Exploration of Natural Numbers},
journal ={Symbolic and Numeric Algorithms for Scientific Computing, International Symposium on},
volume = {0},
year = {2006},
isbn = {0-7695-2740-X},
pages = {23-34},
doi = {http://doi.ieeecomputersociety.org/10.1109/SYNASC.2006.67},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Symbolic and Numeric Algorithms for Scientific Computing, International Symposium on
TI - Scheme-Based Systematic Exploration of Natural Numbers
SN - 0-7695-2740-X
SP23
EP34
A1 - Madalina Hodorog,
A1 - Adrian Craciun,
PY - 2006
KW - null
VL - 0
JA - Symbolic and Numeric Algorithms for Scientific Computing, International Symposium on
ER -
 
Madalina Hodorog, Institute e-Austria, Romania
Adrian Craciun, Institute e-Austria, Romania
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.

Citation:
Madalina Hodorog, Adrian Craciun, "Scheme-Based Systematic Exploration of Natural Numbers," synasc, pp.23-34, Eighth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.