Concepedia

François Clément

FC

6

Publications

159

Citations

6

H-Index

1999

Active since

Affiliations

Université Sorbonne Paris Nord(Current)

Université Paris-Sud

Centre National de la Recherche Scientifique

Institut national de recherche en sciences et technologies du numérique

Laboratoire d'Informatique de Paris-Nord

François Clément is an author at Université Sorbonne Paris Nord specializing in engineering, numerical analysis, and inverse problems.

ORCID

Top concepts

Publications per year

1999–2021

6

Publications

6

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

Sylvie Boldo, François Clément, Jean-Christophe Filliâtre et al. · Journal of Automated Reasoning · 2012 · 67 citations · Full text

, , +9

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

Sylvie Boldo, François Clément, Jean-Christophe Filliâtre et al. · Computers & Mathematics with Applications · 2014 · 29 citations · Full text

, , +14

The Inverse EEG and MEG Problems : The Adjoint State Approach I: The Continuous Case

Olivier Faugeras, François Clément, Rachid Deriche et al. · OpenGrey (Institut de l'Information Scientifique et Technique) · 1999 · 25 citations · Full text

A Coq formal proof of the Lax-Milgram theorem

Sylvie Boldo, François Clément, Florian Faissole et al. · 2016 · 16 citations · Full text

, , +11

The multidimensional refinement indicators algorithm for optimal parameterization

Hend Ben Ameur, François Clément, Pierre Weis et al. · Journal of Inverse and Ill-Posed Problems · 2008 · 12 citations · Full text

, , +17

Rows per page

1–5 of 6