A Wiki for Mizar: motivation, considerations, and initial prototype

J. Urban; J. Alama; P. Rudnicki; J.H. Geuvers

doi:10.1007/978-3-642-14128-7_38

A Wiki for Mizar: motivation, considerations, and initial prototype

J. Urban, J. Alama, P. Rudnicki, J.H. Geuvers

Formal System Analysis

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

23 Citations (Scopus)

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.

Original language	English
Title of host publication	Intelligent Computer Mathematics (10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings)
Editors	S. Autexier, J. Calmet, D. Delahaye, P.D.F. Ion, L. Rideau, R. Rioboo, A.P. Sexton
Place of Publication	Berlin
Publisher	Springer
Pages	455-469
ISBN (Print)	978-3-642-14127-0
DOIs	https://doi.org/10.1007/978-3-642-14128-7_38
Publication status	Published - 2010

Publication series

Name	Lecture Notes in Computer Science
Volume	6167
ISSN (Print)	0302-9743

Access to Document

10.1007/978-3-642-14128-7_38

Cite this

Urban, J., Alama, J., Rudnicki, P., & Geuvers, J. H. (2010). A Wiki for Mizar: motivation, considerations, and initial prototype. In S. Autexier, J. Calmet, D. Delahaye, P. D. F. Ion, L. Rideau, R. Rioboo, & A. P. Sexton (Eds.), Intelligent Computer Mathematics (10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings) (pp. 455-469). (Lecture Notes in Computer Science; Vol. 6167). Springer. https://doi.org/10.1007/978-3-642-14128-7_38

Urban, J. ; Alama, J. ; Rudnicki, P. et al. / A Wiki for Mizar: motivation, considerations, and initial prototype. Intelligent Computer Mathematics (10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings). editor / S. Autexier ; J. Calmet ; D. Delahaye ; P.D.F. Ion ; L. Rideau ; R. Rioboo ; A.P. Sexton. Berlin : Springer, 2010. pp. 455-469 (Lecture Notes in Computer Science).

@inproceedings{4c48aea0fc8d44f098af5e550a96f896,

title = "A Wiki for Mizar: motivation, considerations, and initial prototype",

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.",

author = "J. Urban and J. Alama and P. Rudnicki and J.H. Geuvers",

year = "2010",

doi = "10.1007/978-3-642-14128-7_38",

language = "English",

isbn = "978-3-642-14127-0",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "455--469",

editor = "S. Autexier and J. Calmet and D. Delahaye and P.D.F. Ion and L. Rideau and R. Rioboo and A.P. Sexton",

booktitle = "Intelligent Computer Mathematics (10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings)",

}

Urban, J, Alama, J, Rudnicki, P & Geuvers, JH 2010, A Wiki for Mizar: motivation, considerations, and initial prototype. in S Autexier, J Calmet, D Delahaye, PDF Ion, L Rideau, R Rioboo & AP Sexton (eds), Intelligent Computer Mathematics (10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings). Lecture Notes in Computer Science, vol. 6167, Springer, Berlin, pp. 455-469. https://doi.org/10.1007/978-3-642-14128-7_38

A Wiki for Mizar: motivation, considerations, and initial prototype. / Urban, J.; Alama, J.; Rudnicki, P. et al.
Intelligent Computer Mathematics (10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings). ed. / S. Autexier; J. Calmet; D. Delahaye; P.D.F. Ion; L. Rideau; R. Rioboo; A.P. Sexton. Berlin: Springer, 2010. p. 455-469 (Lecture Notes in Computer Science; Vol. 6167).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - A Wiki for Mizar: motivation, considerations, and initial prototype

AU - Urban, J.

AU - Alama, J.

AU - Rudnicki, P.

AU - Geuvers, J.H.

PY - 2010

Y1 - 2010

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-642-14128-7_38

DO - 10.1007/978-3-642-14128-7_38

M3 - Conference contribution

SN - 978-3-642-14127-0

T3 - Lecture Notes in Computer Science

SP - 455

EP - 469

BT - Intelligent Computer Mathematics (10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings)

A2 - Autexier, S.

A2 - Calmet, J.

A2 - Delahaye, D.

A2 - Ion, P.D.F.

A2 - Rideau, L.

A2 - Rioboo, R.

A2 - Sexton, A.P.

PB - Springer

CY - Berlin

ER -

Urban J, Alama J, Rudnicki P, Geuvers JH. A Wiki for Mizar: motivation, considerations, and initial prototype. In Autexier S, Calmet J, Delahaye D, Ion PDF, Rideau L, Rioboo R, Sexton AP, editors, Intelligent Computer Mathematics (10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings). Berlin: Springer. 2010. p. 455-469. (Lecture Notes in Computer Science). doi: 10.1007/978-3-642-14128-7_38

A Wiki for Mizar: motivation, considerations, and initial prototype

Abstract

Publication series

Access to Document

Fingerprint

Cite this