Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
6 links
François Clément
Researcher
PaperLebesgue Induction and Tonelli's Theorem in CoqAuthorship / preprint / 2022PaperA Coq Formalization of the Bochner integralAuthorship / preprint / 2022PaperFormal Proof of a Wave Equation Resolution Scheme: the Method ErrorAuthorship / preprint / 2011PaperFormal Proof of a Wave Equation Resolution Scheme: the Method ErrorAuthorship / preprint / 2011PaperTrusting Computations: a Mechanized Proof from Partial Differential Equations to Actual ProgramAuthorship / preprint / 2014PaperFirst-Order Indicators for the Estimation of Discrete Fractures in Porous MediaAuthorship / preprint / 2016