DMCA
A PROOF-THEORETIC APPROACH TO MATHEMATICAL KNOWLEDGE MANAGEMENT (2007)
| Citations: | 6 - 0 self |
BibTeX
@MISC{Aboul-Hosn07aproof-theoretic,
author = {Kamal Aboul-Hosn},
title = {A PROOF-THEORETIC APPROACH TO MATHEMATICAL KNOWLEDGE MANAGEMENT},
year = {2007}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Mathematics is an area of research that is forever growing. Definitions, theorems, axioms, and proofs are integral part of every area of mathematics. The relationships between these elements bring to light the elegant abstractions that bind even the most intricate aspects of math and science. As the body of mathematics becomes larger and its relationships become richer, the organization of mathematical knowledge becomes more important and more difficult. This emerging area of research is referred to as mathematical knowledge management (MKM). The primary issues facing MKM were summarized by Buchberger, one of the organizers of the first Mathematical Knowledge Management Workshop [20]. • How do we retrieve mathematical knowledge from existing and future sources? • How do we build future mathematical knowledge bases? • How do we make the mathematical knowledge bases available to mathematicians? These questions have become particularly relevant with the growing power of and interest in automated theorem proving, using computer programs to prove
Keyphrases
proof-theoretic approach mathematical knowledge management mathematical knowledge mathematics becomes mathematical knowledge base future mathematical knowledge base intricate aspect future source mathematical knowledge management first mathematical knowledge management workshop theorem proving integral part computer program elegant abstraction primary issue
