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:
CoRR (2021)
Keyphrases
</>
linear programming
data fusion
databases
genetic algorithm
bayesian networks
objective function
data integration
theorem prover