Scholar
Sylvie Boldo
Google Scholar ID: BFTsOTsAAAAJ
Inria, LMF, University Paris Saclay
Computer arithmetic
Program verification
Formalization of mathematics
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
2,524
H-index
26
i10-index
46
Publications
20
Co-authors
10
list available
Publications
3 items
A Rocq Formalization of Simplicial Lagrange Finite Elements
2026
Cited
0
A Rocq Formalization of Monomial and Graded Orders
2025
Cited
0
Teaching Divisibility and Binomials with Coq
arXiv.org · 2024
Cited
0
Co-authors
2 total
Xavier Leroy
Collège de France
Alexandre Chapoutot
ENSTA Paris - U2IS
