Wikis and Collaborative Systems for Large Formal Mathematics.

Cezary Kaliszyk Josef Urban

Published in: SWCS (LNCS Volume) (2014)

Keyphrases

collaborative systems
learning theory
collaborative learning
social networking
communication technologies
gain a deeper understanding
online communities
information technology