François Clément

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Heuristic approaches to obtain low-discrepancy point sets via subset selection Journal of Complexity	2024-05-15	Paper
ON THE TWO-PARAMETER ERDŐS–FALCONER DISTANCE PROBLEM IN FINITE FIELDS Bulletin of the Australian Mathematical Society	2023-08-25	Paper
A Coq formalization of Lebesgue induction principle and Tonelli's theorem Formal Methods	2023-08-17	Paper
A Coq formalization of Lebesgue integration of nonnegative functions Journal of Automated Reasoning	2022-06-09	Paper
Partitions for stratified sampling	2022-04-20	Paper
Star discrepancy subset selection: problem formulation and efficient approaches for low dimensions Journal of Complexity	2022-04-04	Paper
Lebesgue Induction and Tonelli's Theorem in Coq	2022-02-10	Paper
A Coq Formalization of the Bochner integral	2022-01-10	Paper
A Coq Formalization of Lebesgue Integration of Nonnegative Functions (available as arXiv preprint)	2021-04-12	Paper
Lebesgue integration. Detailed proofs to be formalized in Coq	2021-01-14	Paper
Trusting computations: a mechanized proof from partial differential equations to actual program Computers & Mathematics with Applications	2017-08-21	Paper
Wave equation numerical resolution: a comprehensive mechanized proof of a C program Journal of Automated Reasoning	2013-07-05	Paper
Formal proof of a wave equation resolution scheme: the method error Interactive Theorem Proving	2010-09-14	Paper
Inversion of spectroscopic data, application on \(\text{CO}_{2}\) radiation of flame combustion Inverse Problems in Science and Engineering	2010-09-10	Paper
Parameter identification for a one-dimensional blood flow model ESAIM: Proceedings	2005-10-12	Paper
scientific article; zbMATH DE number 1329572 (Why is no real title available?)	2000-06-27	Paper
scientific article; zbMATH DE number 1023149 (Why is no real title available?)	1997-06-16	Paper
scientific article; zbMATH DE number 736994 (Why is no real title available?)	1995-03-27	Paper

Research outcomes over time

This page was built for person: François Clément