A wiki for Mizar: Motivation, Considerations, and Initial Prototype

DI Group Author

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

A wiki for Mizar: Motivation, Considerations, and Initial Prototype

DI Group Author

DI - Departamento de Informática

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

21 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	Unknown
Title of host publication	Lecture Note in Computer Science
Editors	S Autexier
Publisher	Springer
Pages	455-469
Volume	6167
ISBN (Print)	978-3-642-14127-0
DOIs	https://doi.org/10.1007/978-3-642-14128-7_38
Publication status	Published - 1 Jan 2010
Event	International Conference on Mathematical Knowledge Management (MKM) - Duration: 1 Jan 2010 → …

Conference

Conference	International Conference on Mathematical Knowledge Management (MKM)
Period	1/01/10 → …

Access to Document

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

Cite this

@inproceedings{0babadcd12e54dd7abed449f4cce9448,

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

keywords = "Mizar, Mathematical knowledge management, Formalized mathematics, Wiki, Collaboration tools",

author = "{DI Group Author}",

year = "2010",

month = jan,

day = "1",

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

language = "Unknown",

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

volume = "6167",

pages = "455--469",

editor = "S Autexier",

booktitle = "Lecture Note in Computer Science",

publisher = "Springer",

note = "null ; Conference date: 01-01-2010",

}

TY - GEN

T1 - A wiki for Mizar: Motivation, Considerations, and Initial Prototype

AU - DI Group Author

PY - 2010/1/1

Y1 - 2010/1/1

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.

KW - Mizar

KW - Mathematical knowledge management

KW - Formalized mathematics

KW - Wiki

KW - Collaboration tools

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

VL - 6167

SP - 455

EP - 469

BT - Lecture Note in Computer Science

A2 - Autexier, S

PB - Springer

Y2 - 1 January 2010

ER -