Computer Science – Digital Libraries
Scientific paper
2011-07-16
Intelligent Computer Mathematics 2011, LNCS 6824, pp. 133-148
Computer Science
Digital Libraries
To appear in The Conference of Intelligent Computer Mathematics: CICM 2011
Scientific paper
10.1007/978-3-642-22673-1_10
The Mizar Mathematical Library (MML) is a large corpus of formalised mathematical knowledge. It has been constructed over the course of many years by a large number of authors and maintainers. Yet the legal status of these efforts of the Mizar community has never been clarified. In 2010, after many years of loose deliberations, the community decided to investigate the issue of licensing the content of the MML, thereby clarifying and crystallizing the status of the texts, the text's authors, and the library's long-term maintainers. The community has settled on a copyright and license policy that suits the peculiar features of Mizar and its community. In this paper we discuss the copyright and license solutions. We offer our experience in the hopes that the communities of other libraries of formalised mathematical knowledge might take up the legal and scientific problems that we addressed for Mizar.
Alama Jesse
Kohlhase Michael
Mamane Lionel
Naumowicz Adam
Rudnicki Piotr
No associations
LandOfFree
Licensing the Mizar Mathematical Library 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 Licensing the Mizar Mathematical Library, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Licensing the Mizar Mathematical Library will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-550342