An experimental library of formalized Mathematics based on the univalent foundations.

Vladimir Voevodsky

Published in: Math. Struct. Comput. Sci. (2015)

Keyphrases

artificial intelligence
databases
computer science
data structure
computer assisted instruction
data sets
computer vision
image processing
cooperative
digital libraries
relational databases
computer programming
multimedia courseware