### Wikis and Collaborative Systems for Large Formal Mathematics

Cezary Kaliszy, Josef UrbanPost proceedings of Semantic Web Collaborative Spaces, LNCS pp. 35-52, 2016.

### 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}, }