François Clément

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 19

Top Topics

Subset Selection

Partial Differential Equations

Ambrosio Tortorelli

Top Venues

Monte Carlo Methods Appl.

Publications

François Clément, Carola Doerr, Kathrin Klamroth, Luís Paquete
Transforming the Challenge of Constructing Low-Discrepancy Point Sets into a Permutation Selection Problem. CoRR (2024)
François Clément
Outperforming the Best 1D Low-Discrepancy Constructions with a Greedy Algorithm. CoRR (2024)
François Clément, Carola Doerr, Luís Paquete
Heuristic approaches to obtain low-discrepancy point sets via subset selection. J. Complex. 83 (2024)
François Clément, Nathan Kirk, Florian Pausinger
Partitions for stratified sampling. Monte Carlo Methods Appl. 30 (2) (2024)
Sylvie Boldo, François Clément, David Hamelin, Micaela Mayero, Pierre Rousselin
Teaching Divisibility and Binomials with Coq. CoRR (2024)
François Clément, Carola Doerr, Luís Paquete
Heuristic Approaches to Obtain Low-Discrepancy Point Sets via Subset Selection. CoRR (2023)
François Clément, Diederick Vermetten, Jacob de Nobel, Alexandre D. Jesus, Luís Paquete, Carola Doerr
Computing Star Discrepancies with Numerical Black-Box Optimization Algorithms. CoRR (2023)
François Clément, Carola Doerr, Kathrin Klamroth, Luís Paquete
Star Discrepancy Sets. CoRR (2023)
Sylvie Boldo, François Clément, Vincent Martin, Micaela Mayero, Houda Mouhcine
A Coq Formalization of Lebesgue Induction Principle and Tonelli's Theorem. FM (2023)
François Clément, Diederick Vermetten, Jacob de Nobel, Alexandre D. Jesus, Luís Paquete, Carola Doerr
Computing Star Discrepancies with Numerical Black-Box Optimization Algorithms. GECCO (2023)
François Clément, Carola Doerr, Luís Paquete
Star discrepancy subset selection: Problem formulation and efficient approaches for low dimensions. J. Complex. 70 (2022)
Sylvie Boldo, François Clément, Louise Leclerc
A Coq Formalization of the Bochner integral. CoRR (2022)
Sylvie Boldo, François Clément, Florian Faissole, Vincent Martin, Micaela Mayero
A Coq Formalization of Lebesgue Integration of Nonnegative Functions. J. Autom. Reason. 66 (2) (2022)
Sylvie Boldo, François Clément, Vincent Martin, Micaela Mayero, Houda Mouhcine
Lebesgue Induction and Tonelli's Theorem in Coq. CoRR (2022)
François Clément, Thang Pham
Distribution of Distances in Five Dimensions and Related Problems. SIAM J. Discret. Math. 36 (3) (2022)
Sylvie Boldo, François Clément, Florian Faissole, Vincent Martin, Micaela Mayero
A Coq Formalization of Lebesgue Integration of Nonnegative Functions. CoRR (2021)
François Clément, Vincent Martin
Lebesgue integration. Detailed proofs to be formalized in Coq. CoRR (2021)
Sylvie Boldo, François Clément, Florian Faissole, Vincent Martin, Micaela Mayero
A Coq formal proof of the LaxMilgram theorem. CPP (2017)
François Clément, Vincent Martin
The Lax-Milgram Theorem. A detailed proof to be formalized in Coq. CoRR (2016)
Sylvie Boldo, François Clément, Jean-Christophe Filliâtre, Micaela Mayero, Guillaume Melquiond, Pierre Weis
Trusting computations: A mechanized proof from partial differential equations to actual program. Comput. Math. Appl. 68 (3) (2014)
Sylvie Boldo, François Clément, Jean-Christophe Filliâtre, Micaela Mayero, Guillaume Melquiond, Pierre Weis
Wave Equation Numerical Resolution: A Comprehensive Mechanized Proof of a C Program. J. Autom. Reason. 50 (4) (2013)
Sylvie Boldo, François Clément, Jean-Christophe Filliâtre, Micaela Mayero, Guillaume Melquiond, Pierre Weis
Trusting Computations: a Mechanized Proof from Partial Differential Equations to Actual Program. CoRR (2012)
Sylvie Boldo, François Clément, Jean-Christophe Filliâtre, Micaela Mayero, Guillaume Melquiond, Pierre Weis
Wave Equation Numerical Resolution: Mathematics and Program CoRR (2011)
Sylvie Boldo, François Clément, Jean-Christophe Filliâtre, Micaela Mayero, Guillaume Melquiond, Pierre Weis
Formal Proof of a Wave Equation Resolution Scheme: the Method Error CoRR (2010)
François Clément, Hend Ben Ameur, Guy Chavent, Pierre Weis
Image Segmentation with Optimal Control Techniques CoRR (2010)
Sylvie Boldo, François Clément, Jean-Christophe Filliâtre, Micaela Mayero, Guillaume Melquiond, Pierre Weis
Formal Proof of a Wave Equation Resolution Scheme: The Method Error. ITP (2010)
François Clément, Vincent Martin, A. Vodicka, Roberto Di Cosmo, Pierre Weis
Domain decomposition and skeleton programming with OCamlP3l. Parallel Comput. 32 (7-8) (2006)
François Clément, Vincent Martin, A. Vodicka, Roberto Di Cosmo, Pierre Weis
Domain Decomposition and Skeleton Programming with OCamlP3l. PARCO (2005)