Lebesgue integration. Detailed proofs to be formalized in Coq.

François Clément Vincent Martin

Published in: CoRR (2021)

Keyphrases

theorem prover
theorem proving
data sets
decision making
data integration
formal methods
real time
artificial intelligence
image processing
data fusion
first order logic
information integration
decision procedures
mathematical proofs