Login / Signup
Category Theory in Coq 8.5.
Amin Timany
Bart Jacobs
Published in:
CoRR (2015)
Keyphrases
</>
formal methods
machine learning
theoretical basis
theoretical framework
neural network
general theory
information theory
database
web pages
image sequences
data structure
software engineering
computational model
computer vision
object categories
learning algorithm
genetic algorithm
real world