A Coq Formalization of Lebesgue Integration of Nonnegative Functions - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Sylvie Boldo, François Clément, Florian Faissole, Vincent Martin, Micaela Mayero. A Coq Formalization of Lebesgue Integration of Nonnegative Functions. Journal of Automated Reasoning, 66(2):175-213, 2022. [doi]

This author has not been identified. Look up 'Sylvie Boldo' in GoogleThis author has not been identified. Look up 'François Clément' in GoogleThis author has not been identified. Look up 'Florian Faissole' in GoogleThis author has not been identified. Look up 'Vincent Martin' in GoogleThis author has not been identified. Look up 'Micaela Mayero' in Google

runs on WebDSL