Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

SYNASC
2006
IEEE

favoriteEmaildiscussreport

64views Algorithms» more SYNASC 2006»

Scheme-Based Systematic Exploration of Natural Numbers

13 years 10 months ago

Scheme-Based Systematic Exploration of Natural Numbers

Download www.risc.jku.at

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

Real-time Traffic

Computer Supported Exploration | Knowledge Schemes | SYNASC 2006 | Theory Exploration Model |

claim paper

Related Content

» Decompositions of Natural Numbers From a Case Study in Mathematical Theory Exploration

» The Complexity Ecology of Parameters An Illustration Using Bounded Max Leaf Number

» Drosophila gene expression pattern annotation using sparse features and termterm interacti...

» Unsupervised Shilling Detection for Collaborative Filtering

Post Info
More Details (n/a)

Added	12 Jun 2010
Updated	12 Jun 2010
Type	Conference
Year	2006
Where	SYNASC
Authors	Madalina Hodorog, Adrian Craciun

Comments (0)