Login / Signup
A Coq Formalization of Lebesgue Integration of Nonnegative Functions.
Sylvie Boldo
François Clément
Florian Faissole
Vincent Martin
Micaela Mayero
Published in:
J. Autom. Reason. (2022)
Keyphrases
</>
case study
knowledge representation
linear programming
machine learning
information systems
knowledge base
evolutionary algorithm
semi supervised
data integration
information integration
nonnegative matrix factorization
graph embedding