Wikis and Collaborative Systems for Large Formal Mathematics

Cezary Kaliszy, Josef Urban

Post proceedings of Semantic Web Collaborative Spaces, LNCS pp. 35-52, 2016.


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.


  PDF |    doi:10.1007/978-3-319-32667-2_3


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},
Nach oben scrollen