François Clément

Available identifiers

zbMath Open clement.francoisMaRDI QIDQ352948

List of research outcomes

Publication	Date of Publication	Type
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 CO2 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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

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