François Clément

Available identifiers

Publication	Date of Publication	Type
Heuristic approaches to obtain low-discrepancy point sets via subset selection	2024-05-15	Paper
ON THE TWO-PARAMETER ERDŐS–FALCONER DISTANCE PROBLEM IN FINITE FIELDS	2023-08-25	Paper
A Coq formalization of Lebesgue induction principle and Tonelli's theorem	2023-08-17	Paper
A Coq formalization of Lebesgue integration of nonnegative functions	2022-06-09	Paper
Partitions for stratified sampling	2022-04-20	Paper
Star discrepancy subset selection: problem formulation and efficient approaches for low dimensions	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	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	2017-08-21	Paper
Wave equation numerical resolution: a comprehensive mechanized proof of a C program	2013-07-05	Paper
Formal proof of a wave equation resolution scheme: the method error	2010-09-14	Paper
Inversion of spectroscopic data, application on \(\text{CO}_{2}\) radiation of flame combustion	2010-09-10	Paper
Parameter identification for a one-dimensional blood flow model	2005-10-12	Paper
https://portal.mardi4nfdi.de/entity/Q4257908	2000-06-27	Paper
https://portal.mardi4nfdi.de/entity/Q4341142	1997-06-16	Paper
https://portal.mardi4nfdi.de/entity/Q4326956	1995-03-27	Paper

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