François Clément

According to our database, François Clément authored at least 22 papers between 2006 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Partitions for stratified sampling.

François Clément, Nathan Kirk, Florian Pausinger

Monte Carlo Methods Appl., 2024

Heuristic approaches to obtain low-discrepancy point sets via subset selection.

François Clément, Carola Doerr, Luís Paquete

J. Complex., 2024

Teaching Divisibility and Binomials with Coq.

Sylvie Boldo, François Clément, David Hamelin, Micaela Mayero, Pierre Rousselin

CoRR, 2024

2023

Computing Star Discrepancies with Numerical Black-Box Optimization Algorithms - Code and Data.

François Clément, Diederick Vermetten, Jacob de Nobel, Alexandre D. Jesus, Luís Paquete, Carola Doerr

Dataset, February, 2023

Constructing Optimal L_∞ Star Discrepancy Sets.

François Clément, Carola Doerr, Kathrin Klamroth, Luís Paquete

CoRR, 2023

Computing Star Discrepancies with Numerical Black-Box Optimization Algorithms.

François Clément, Diederick Vermetten, Jacob de Nobel, Alexandre D. Jesus, Luís Paquete, Carola Doerr

Proceedings of the Genetic and Evolutionary Computation Conference, 2023

A Coq Formalization of Lebesgue Induction Principle and Tonelli's Theorem.

Sylvie Boldo, François Clément, Vincent Martin, Micaela Mayero, Houda Mouhcine

Proceedings of the Formal Methods - 25th International Symposium, 2023

2022

Distribution of Distances in Five Dimensions and Related Problems.

François Clément, Thang Pham

SIAM J. Discret. Math., September, 2022

Star discrepancy subset selection: Problem formulation and efficient approaches for low dimensions.

François Clément, Carola Doerr, Luís Paquete

J. Complex., 2022

A Coq Formalization of Lebesgue Integration of Nonnegative Functions.

Sylvie Boldo, François Clément, Florian Faissole, Vincent Martin, Micaela Mayero

J. Autom. Reason., 2022

Lebesgue Induction and Tonelli's Theorem in Coq.

Sylvie Boldo, François Clément, Vincent Martin, Micaela Mayero, Houda Mouhcine

CoRR, 2022

A Coq Formalization of the Bochner integral.

Sylvie Boldo, François Clément, Louise Leclerc

CoRR, 2022

2021

Lebesgue integration. Detailed proofs to be formalized in Coq.

François Clément, Vincent Martin

CoRR, 2021

2017

A Coq formal proof of the LaxMilgram theorem.

Sylvie Boldo, François Clément, Florian Faissole, Vincent Martin, Micaela Mayero

Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs, 2017

2016

The Lax-Milgram Theorem. A detailed proof to be formalized in Coq.

François Clément, Vincent Martin

CoRR, 2016

2014

Trusting computations: A mechanized proof from partial differential equations to actual program.

Sylvie Boldo, François Clément, Jean-Christophe Filliâtre, Micaela Mayero, Guillaume Melquiond, Pierre Weis

Comput. Math. Appl., 2014

2013

Wave Equation Numerical Resolution: A Comprehensive Mechanized Proof of a C Program.

Sylvie Boldo, François Clément, Jean-Christophe Filliâtre, Micaela Mayero, Guillaume Melquiond, Pierre Weis

J. Autom. Reason., 2013

2011

Wave Equation Numerical Resolution: Mathematics and Program

Sylvie Boldo, François Clément, Jean-Christophe Filliâtre, Micaela Mayero, Guillaume Melquiond, Pierre Weis

CoRR, 2011

2010

Image Segmentation with Optimal Control Techniques

François Clément, Hend Ben Ameur, Guy Chavent, Pierre Weis

CoRR, 2010

Formal Proof of a Wave Equation Resolution Scheme: The Method Error.

Sylvie Boldo, François Clément, Jean-Christophe Filliâtre, Micaela Mayero, Guillaume Melquiond, Pierre Weis

Proceedings of the Interactive Theorem Proving, First International Conference, 2010

2006

Domain decomposition and skeleton programming with OCamlP3l.

François Clément, Vincent Martin, A. Vodicka, Roberto Di Cosmo, Pierre Weis

Parallel Comput., 2006

Machine Learning Techniques to Enable Closed-Loop Control in Anesthesia.

Olivier Caelen, Gianluca Bontempi, Eddy Coussaert, Luc Barvais, François Clément

Proceedings of the 19th IEEE International Symposium on Computer-Based Medical Systems (CBMS 2006), 2006