research
∙
06/29/2023
Computing Star Discrepancies with Numerical Black-Box Optimization Algorithms
The L_∞ star discrepancy is a measure for the regularity of a finite set...
share
research
∙
06/27/2023
Heuristic Approaches to Obtain Low-Discrepancy Point Sets via Subset Selection
Building upon the exact methods presented in our earlier work [J. Comple...
research
∙
02/10/2022
Lebesgue Induction and Tonelli's Theorem in Coq
Lebesgue integration is a well-known mathematical tool, used for instanc...
research
∙
01/10/2022
A Coq Formalization of the Bochner integral
The Bochner integral is a generalization of the Lebesgue integral, for f...
research
∙
04/12/2021
A Coq Formalization of Lebesgue Integration of Nonnegative Functions
Integration, just as much as differentiation, is a fundamental calculus ...
research
∙
01/14/2021
Lebesgue integration. Detailed proofs to be formalized in Coq
To obtain the highest confidence on the correction of numerical simulati...
research
∙
11/10/2010