A Coq Formalization of Finitely Presented Modules.

Cyril Cohen Anders Mörtberg

Published in: ITP (2014)

Keyphrases

data sets
neural network
case study
cooperative
machine learning
building blocks
real world
metadata
support vector
digital libraries