Sylvie Boldo
Scholar

Sylvie Boldo

Google Scholar ID: BFTsOTsAAAAJ
Inria, LMF, University Paris Saclay
Computer arithmeticProgram verificationFormalization of mathematics
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
2,524
 
H-index
26
 
i10-index
46
 
Publications
20
 
Co-authors
10
list available
Contact
No contact links provided.
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
Resume (English only)
Co-authors
10 total
Co-author 1
Co-author 1
Co-author 2
Co-author 2
Co-author 3
Co-author 3
Co-author 4
Co-author 4
Xavier Leroy
Xavier Leroy
Collège de France
Co-author 6
Co-author 6
Co-author 7
Co-author 7
Alexandre Chapoutot
Alexandre Chapoutot
ENSTA Paris - U2IS