François Clément

38 papers A 1B 4Journal 30Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Rocq Formalization of Monomial and Graded Orders.
CoRR
Sylvie Boldo, François Clément, Vincent Martin, Micaela Mayero
2025 J jnl
Low-Discrepancy Set Post-Processing via Gradient Descent.
CoRR
François Clément, Linhang Huang, Woorim Lee, Cole Smidt, Braeden Sodt, Xuan Zhang
2025 J jnl
Obtaining the Chamanara Surface from the van der Corput sequence.
CoRR
Zawad Chowdhury, François Clément, Max Horwitz
2025 J jnl
On the optimization of discrepancy measures.
CoRR
François Clément, Nathan Kirk, Art B. Owen, T. Konstantin Rusch
2025 J jnl
Optimizing Kernel Discrepancies via Subset Selection.
CoRR
Deyao Chen, François Clément, Carola Doerr, Nathan Kirk
2025 J jnl
Robust Online Sampling from Possibly Moving Target Distributions.
CoRR
François Clément, Stefan Steinerberger
2025 J jnl
carps: A Framework for Comparing N Hyperparameter Optimizers on M Benchmarks.
CoRR
Carolin Benjamins, Helena Graf, Sarah Segel, Difan Deng, Tim Ruhkopf, Leona Hennig, Soham Basu, Neeratyoy Mallik, Edward Bergman, Deyao Chen, François Clément, Matthias Feurer, Katharina Eggensperger, Frank Hutter, Carola Doerr, Marius Lindauer
2024 — —
An Optimization Perspective on the Construction of Low-Discrepancy Point Sets. (La construction d'ensembles de points à faible discrépance via des approches d'optimisation).
François Clément
2024 J jnl
Finite element method. Detailed proofs to be formalized in Coq.
CoRR
François Clément, Vincent Martin
2024 J jnl
Heuristic approaches to obtain low-discrepancy point sets via subset selection.
J. Complex.
François Clément, Carola Doerr, Luís Paquete
2024 J jnl
Outperforming the Best 1D Low-Discrepancy Constructions with a Greedy Algorithm.
CoRR
François Clément
2024 J jnl
Partitions for stratified sampling.
Monte Carlo Methods Appl.
François Clément, Nathan Kirk, Florian Pausinger
2024 — conf
Teaching Divisibility and Binomials with Coq.
ThEdu@CADE
Sylvie Boldo, François Clément, David Hamelin, Micaela Mayero, Pierre Rousselin
2024 J jnl
Transforming the Challenge of Constructing Low-Discrepancy Point Sets into a Permutation Selection Problem.
CoRR
François Clément, Carola Doerr, Kathrin Klamroth, Luís Paquete
2023 B conf
A Coq Formalization of Lebesgue Induction Principle and Tonelli's Theorem.
FM
Sylvie Boldo, François Clément, Vincent Martin, Micaela Mayero, Houda Mouhcine
2023 A conf
Computing Star Discrepancies with Numerical Black-Box Optimization Algorithms.
GECCO
François Clément, Diederick Vermetten, Jacob de Nobel, Alexandre D. Jesus, Luís Paquete, Carola Doerr
2023 J jnl
Computing Star Discrepancies with Numerical Black-Box Optimization Algorithms.
CoRR
François Clément, Diederick Vermetten, Jacob de Nobel, Alexandre D. Jesus, Luís Paquete, Carola Doerr
2023 J jnl
Constructing Optimal L
CoRR
François Clément, Carola Doerr, Kathrin Klamroth, Luís Paquete
2023 J jnl
Heuristic Approaches to Obtain Low-Discrepancy Point Sets via Subset Selection.
CoRR
François Clément, Carola Doerr, Luís Paquete
2022 J jnl
A Coq Formalization of Lebesgue Integration of Nonnegative Functions.
J. Autom. Reason.
Sylvie Boldo, François Clément, Florian Faissole, Vincent Martin, Micaela Mayero
2022 J jnl
A Coq Formalization of the Bochner integral.
CoRR
Sylvie Boldo, François Clément, Louise Leclerc
2022 J jnl
Distribution of Distances in Five Dimensions and Related Problems.
SIAM J. Discret. Math.
François Clément, Thang Pham
2022 J jnl
Lebesgue Induction and Tonelli's Theorem in Coq.
CoRR
Sylvie Boldo, François Clément, Vincent Martin, Micaela Mayero, Houda Mouhcine
2022 J jnl
Star discrepancy subset selection: Problem formulation and efficient approaches for low dimensions.
J. Complex.
François Clément, Carola Doerr, Luís Paquete
2021 J jnl
A Coq Formalization of Lebesgue Integration of Nonnegative Functions.
CoRR
Sylvie Boldo, François Clément, Florian Faissole, Vincent Martin, Micaela Mayero
2021 J jnl
Lebesgue integration. Detailed proofs to be formalized in Coq.
CoRR
François Clément, Vincent Martin
2017 B conf
A Coq formal proof of the LaxMilgram theorem.
CPP
Sylvie Boldo, François Clément, Florian Faissole, Vincent Martin, Micaela Mayero
2016 J jnl
The Lax-Milgram Theorem. A detailed proof to be formalized in Coq.
CoRR
François Clément, Vincent Martin
2014 J jnl
Trusting computations: A mechanized proof from partial differential equations to actual program.
Comput. Math. Appl.
Sylvie Boldo, François Clément, Jean-Christophe Filliâtre, Micaela Mayero, Guillaume Melquiond, Pierre Weis
2013 J jnl
Wave Equation Numerical Resolution: A Comprehensive Mechanized Proof of a C Program.
J. Autom. Reason.
Sylvie Boldo, François Clément, Jean-Christophe Filliâtre, Micaela Mayero, Guillaume Melquiond, Pierre Weis
2012 J jnl
Trusting Computations: a Mechanized Proof from Partial Differential Equations to Actual Program.
CoRR
Sylvie Boldo, François Clément, Jean-Christophe Filliâtre, Micaela Mayero, Guillaume Melquiond, Pierre Weis
2011 J jnl
Wave Equation Numerical Resolution: Mathematics and Program
CoRR
Sylvie Boldo, François Clément, Jean-Christophe Filliâtre, Micaela Mayero, Guillaume Melquiond, Pierre Weis
2010 B conf
Formal Proof of a Wave Equation Resolution Scheme: The Method Error.
ITP
Sylvie Boldo, François Clément, Jean-Christophe Filliâtre, Micaela Mayero, Guillaume Melquiond, Pierre Weis
2010 J jnl
Formal Proof of a Wave Equation Resolution Scheme: the Method Error
CoRR
Sylvie Boldo, François Clément, Jean-Christophe Filliâtre, Micaela Mayero, Guillaume Melquiond, Pierre Weis
2010 J jnl
Image Segmentation with Optimal Control Techniques
CoRR
François Clément, Hend Ben Ameur, Guy Chavent, Pierre Weis
2006 J jnl
Domain decomposition and skeleton programming with OCamlP3l.
Parallel Comput.
François Clément, Vincent Martin, A. Vodicka, Roberto Di Cosmo, Pierre Weis
2006 B conf
Machine Learning Techniques to Enable Closed-Loop Control in Anesthesia.
CBMS
Olivier Caelen, Gianluca Bontempi, Eddy Coussaert, Luc Barvais, François Clément
2005 — conf
Domain Decomposition and Skeleton Programming with OCamlP3l.
PARCO
François Clément, Vincent Martin, A. Vodicka, Roberto Di Cosmo, Pierre Weis