On Duplication in Mathematical Repositories

Details On Duplication in Mathematical Repositories On Duplication in Mathematical Repositories

2010-05-06

arxiv.org/abs/1005.0950v1

Lecture Notes in Computer Science, 2010, Volume 6167, Intelligent Computer Mathematics, Pages 300-314

Computer Science

Digital Libraries

To appear in The 9th International Conference on Mathematical Knowledge Management: MKM 2010

Scientific paper

Building a repository of proof-checked mathematical knowledge is without any doubt a lot of work, and besides the actual formalization process there also is the task of maintaining the repository. Thus it seems obvious to keep a repsoitory as small as possible, in particular each piece of mathematical knowledge should be formalized only once. In this paper, however, we claim that it might be reasonable or even necessary to duplicate knowledge in a mathematical repository. We analyze different situations and reasons for doing so and provide a number of examples supporting our thesis.

Affiliated with

Also associated with

No associations

Rating

On Duplication in Mathematical Repositories does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with On Duplication in Mathematical Repositories, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and On Duplication in Mathematical Repositories will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-26077