Scheme-Based Systematic Exploration of Natural Numbers

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Madalina Hodorog Articles by Adrian Craciun

Eighth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'06)

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

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SYNASC.2006.67

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

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.