Abstract

In the recent years, there have been significant advances in
formalization of mathematics, involving a number of large-scale
formalization projects. This naturally poses a number of interesting
problems concerning how should humans and machines collaborate on such
deeply semantic and computer-assisted projects. In this paper we
provide an overview of the wikis and web-based systems for such
collaboration involving humans and also AI systems over the large
corpora of fully formal mathematical knowledge.

BibTeX

@inproceedings{ckju-swcs16,
 author    = {Cezary Kaliszyk and
              Josef Urban},
 title     = {Wikis and Collaborative Systems for Large Formal Mathematics},
 booktitle = {Semantic Web Collaborative Spaces},
 pages     = {35--52},
 doi       = {10.1007/978-3-319-32667-2_3},
 editor    = {Pascal Molli and
              John G. Breslin and
              Maria{-}Esther Vidal},
 series    = {LNCS},
 volume    = {9507},
 publisher = {Springer},
 year      = {2016},
}