Boldo, Sylvie
- Formally Verified Argument Reduction with a Fused-Multiply-Add
2007/08/28 by Sylvie Boldo, Boldo, Sylvie, Marc Daumas +4 · 1 citation
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic, programming, and type systems #Mathematical Software (cs.MS) #Numerical Methods and Algorithms #Performance (cs.PF) #cs.MS #cs.PF
- Teaching Divisibility and Binomials with Coq
2024/04/19 by Boldo, Sylvie, Clément, François, Hamelin, David +2 · 1 citation
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)