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

Josef Urban Jesse Alama Piotr Rudnicki Herman Geuvers

Published in: AISC/MKM/Calculemus (2010)

Keyphrases

database
computer assisted
data sets
neural network
user interface
real time
real world
search engine
computer vision
case study
evolutionary algorithm