Back to first pageBack to first page Centre for Artificial Intelligence of UNL
Browse our site
You are here:

Publication details

Go back
Publication details
Main information
Licensing the Mizar Mathematical Library
2011
alama-licensing-the-mizar-mathematical-library
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.
In proceedings
Jesse Alama, Michael Kohlhase, Lionel Mamane, Adam Naumowicz, Piotr Rudnicki, Josef Urban
James Davenport, William Farmer, Florian Rabe, Josef Urban
Intelligent Computer Mathematics
Lecture Notes in Computer Science
Springer
-
6824
149-163
-
-
-
http://www.springerlink.com/content/ru3t257337n08268
Export formats
Jesse Alama and Michael Kohlhase and Lionel Mamane and Adam Naumowicz and Piotr Rudnicki and Josef Urban, Licensing the Mizar Mathematical Library, in: James Davenport and William Farmer and Florian Rabe and Josef Urban (eds), Intelligent Computer Mathematics, Lecture Notes in Computer Science, Springer, Vol. 6824, Pag. 149-163, (http://www.springerlink.com/content/ru3t257337n08268), 2011.
<a href="/people/members/view.php?code=d18f2a73808637adda0742073904f056" class="author">Jesse Alama</a>, Michael Kohlhase, Lionel Mamane, Adam Naumowicz, Piotr Rudnicki and Josef Urban, <b>Licensing the Mizar Mathematical Library</b>, in: James Davenport, William Farmer, Florian Rabe and Josef Urban (eds), <u>Intelligent Computer Mathematics</u>, Lecture Notes in Computer Science, <a href="http://www.springer.com" title="Link to external entity..." target="_blank" class="publisher">Springer</a>, Vol. 6824, Pag. 149-163, (<a href="http://www.springerlink.com/content/ru3t257337n08268" target="_blank">url</a>), 2011.
@inproceedings {alama-licensing-the-mizar-mathematical-library, author = {Jesse Alama and Michael Kohlhase and Lionel Mamane and Adam Naumowicz and Piotr Rudnicki and Josef Urban}, editor = {James Davenport and William Farmer and Florian Rabe and Josef Urban}, title = {Licensing the Mizar Mathematical Library}, booktitle = {Intelligent Computer Mathematics}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, volume = {6824}, pages = {149-163}, url = {http://www.springerlink.com/content/ru3t257337n08268}, abstract = {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.}, year = {2011}, }
Publication's urls
/publications/view.php?code=d2cbbf708003fec53cd93a4221782b73
/publications/view.php?code=alama-licensing-the-mizar-mathematical-library
Go back
Centre for Artificial Intelligence of UNL
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541

Fundacao_FCT