Cezary Kaliszy, Josef Urban
Post proceedings of Semantic Web Collaborative Spaces, LNCS pp. 35-52, 2016.
pdf 
doi:10.1007/978-3-319-32667-2_3
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},}