Licensing the Mizar Mathematical Library-Reference-Cited by-同舟云学术

Licensing the Mizar Mathematical Library

Published:2011 Issue: Volume: Page:149-163
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Alama Jesse,Kohlhase Michael,Mamane Lionel,Naumowicz Adam,Rudnicki Piotr,Urban Josef

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-22673-1_11

Reference25 articles.

1. de Bruijn, N.G.: A survey of the project AUTOMATH. In: Hindley, R., Seldin, J. (eds.) To H.B. Curry: Essays in Combinatory Logic, Lambda Calculus and Formalisms, pp. 579–606. Academic Press, London (1980)

2. Creative Commons BY-SA, http://creativecommons.org/licenses/by-sa/3.0/ (last accessed 2011/03/14)

3. Free Software Foundation Europe, Fiduciary License Agreement (FLA), http://fsfe.org/projects/ftf/fla.en.html

4. The FLOSSmole project, http://flossmole.org/

5. Free Software Foundation: The GNU General Public License, version 3 (June 29, 2007), http://www.gnu.org/licenses/gpl.html

Cited by 19 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Enhancement of properties in Mizar;PeerJ Computer Science;2020-11-30

2. Isabelle Import Infrastructure for the Mizar Mathematical Library;Lecture Notes in Computer Science;2018

3. The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar;Journal of Automated Reasoning;2017-11-25

4. Introducing Euclidean Relations to Mizar;Proceedings of the 2017 Federated Conference on Computer Science and Information Systems;2017-09-24

5. Progress in the Independent Certiﬁcation of Mizar Mathematical Library in Isabelle;Proceedings of the 2017 Federated Conference on Computer Science and Information Systems;2017-09-24