Wikis and Collaborative Systems for Large Formal Mathematics

descriptionPublicationkeyboard_double_arrow_right Part of book or chapter of book , Conference object , Other literature type 01 Jan 2016Publisher:Springer International PublishingFunded by:EC | AI4REASON

Authors: Cezary Kaliszyk; Josef Urban;

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

Wikis and Collaborative Systems for Large Formal Mathematics

- Summary
- Metrics

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.

Related Organizations

Czech Technical University in Prague
Czech Republic
University of Innsbruck
Austria

Impact byBIP!

	selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	1
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average