Formal Mathematics on Display: A Wiki for Flyspeck.

Carst Tankink Cezary Kaliszyk Josef Urban Herman Geuvers

Published in: MKM/Calculemus/DML (2013)

Keyphrases

formal model
computer science
real time
computer assisted instruction
mathematical theory
formal language
display devices
computer algebra
data mining
information retrieval
social networks
formal specification
visualization tool
formal models
semantic wiki