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
A wiki for Mizar: Motivation, Considerations, and Initial Prototype
2010
alama-rudnicki-urban-geuvers
Formal mathematics has so far not taken full advantage of ideas from collaborative tools such as wikis and distributed version control systems (DVCS). We argue that the field could profit from such tools, serving both newcomers and experts alike. We describe a preliminary system for such collaborative development based on the git DVCS. We focus, initially, on the Mizar system and its library of formalized mathematics.
In proceedings
Jesse Alama, Josef Urban, Piotr Rudnicki, Herman Geuvers
Serge Autexier
Intelligent Computer Mathematics
Lecture Note in Computer Science
Springer
-
6167
455-469
-
-
-
-
Export formats
Jesse Alama and Josef Urban and Piotr Rudnicki and Herman Geuvers, A wiki for Mizar: Motivation, Considerations, and Initial Prototype, in: Serge Autexier (eds), Intelligent Computer Mathematics, Lecture Note in Computer Science, Springer, Vol. 6167, Pag. 455-469, 2010.
<a href="/people/members/view.php?code=d18f2a73808637adda0742073904f056" class="author">Jesse Alama</a>, Josef Urban, Piotr Rudnicki and Herman Geuvers, <b>A wiki for Mizar: Motivation, Considerations, and Initial Prototype</b>, in: Serge Autexier (eds), <u>Intelligent Computer Mathematics</u>, Lecture Note in Computer Science, <a href="http://www.springer.com" title="Link to external entity..." target="_blank" class="publisher">Springer</a>, Vol. 6167, Pag. 455-469, 2010.
@inproceedings {alama-rudnicki-urban-geuvers, author = {Jesse Alama and Josef Urban and Piotr Rudnicki and Herman Geuvers}, editor = {Serge Autexier}, title = {A wiki for Mizar: Motivation, Considerations, and Initial Prototype}, booktitle = {Intelligent Computer Mathematics}, series = {Lecture Note in Computer Science}, publisher = {Springer}, volume = {6167}, pages = {455-469}, abstract = {Formal mathematics has so far not taken full advantage of ideas from collaborative tools such as wikis and distributed version control systems (DVCS). We argue that the field could profit from such tools, serving both newcomers and experts alike. We describe a preliminary system for such collaborative development based on the git DVCS. We focus, initially, on the Mizar system and its library of formalized mathematics.}, keywords = {Mathematical knowledge management, Formalized mathematics, Mizar, Collaboration tools, Wiki}, year = {2010}, }
Publication's urls
/publications/view.php?code=37a139a3a4359b6a0593084dfb43dca2
/publications/view.php?code=alama-rudnicki-urban-geuvers
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