5 citations · 7 across the 11 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.LO2021
A Coq Formalization of Lebesgue Integration of Nonnegative Functions
Sylvie Boldo, François Clément, Florian Faissole +2
Integration, just as much as differentiation, is a fundamental calculus tool that is widely used in many scientific domains. Formalizing the mathematical concept of integration and…
cs.CG2021
Star Discrepancy Subset Selection: Problem Formulation and Efficient Approaches for Low Dimensions
François Clèment, Carola Doerr, Luís Paquete
Motivated by applications in instance selection, we introduce the star discrepancy subset selection problem, which consists of finding a subset of m out of n points that minimizes…