Sciweavers

Share
SYNASC
2006
IEEE

Scheme-Based Systematic Exploration of Natural Numbers

10 years 4 months ago
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
Madalina Hodorog, Adrian Craciun
Added 12 Jun 2010
Updated 12 Jun 2010
Type Conference
Year 2006
Where SYNASC
Authors Madalina Hodorog, Adrian Craciun
Comments (0)
books