A Wiki for Mizar: Motivation, Considerations, and Initial Prototype

Josef Urban Jesse Alama Piotr Rudnicki Herman Geuvers

Published in: CoRR (2010)

Keyphrases

computer assisted
database
real world
decision making
collaborative learning
machine learning
search engine
computer vision
information systems
knowledge base
case study
learning process
evolutionary algorithm
social interaction
test bed