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
Sylvie Boldo
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 / 2011PaperWave Equation Numerical Resolution: a Comprehensive Mechanized Proof of a C ProgramAuthorship / preprint / 2012PaperTrusting Computations: a Mechanized Proof from Partial Differential Equations to Actual ProgramAuthorship / preprint / 2014