Search Results for author:
Found 2 papers, 0 papers with code
Computing Star Discrepancies with Numerical Black-Box Optimization Algorithms
In this work we compare 8 popular numerical black-box optimization algorithms on the $L_{\infty}$ star discrepancy computation problem, using a wide set of instances in dimensions 2 to 15.
Lebesgue integration. Detailed proofs to be formalized in Coq
These functional spaces are built on integration and measure theory.
Logic in Computer Science Classical Analysis and ODEs Functional Analysis
Cannot find the paper you are looking for? You can
Submit a new open access paper.
