Univalent Foundations of Mathematics.

Vladimir Voevodsky

Published in: WoLLIC (2011)

Keyphrases

artificial intelligence
computer science
computer algebra
pattern recognition
computer assisted instruction
word problems
mathematics education
data sets
real world
information retrieval
learning algorithm
computer vision
feature extraction
bayesian networks
computer programming