Computer Science – Symbolic Computation
Scientist
Computer Science
Symbolic Computation
Scientist
INRIA Futurs
INRIA Saclay - Ile de France, LRI
Computer validated proofs of a toolset for adaptable arithmetic
Formal proof for delayed finite field arithmetic using floating point operators
Formal Proof of a Wave Equation Resolution Scheme: the Method Error
Formal Proof of a Wave Equation Resolution Scheme: the Method Error
Formally Verified Argument Reduction with a Fused-Multiply-Add
No associations
LandOfFree
Sylvie Boldo does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Sylvie Boldo, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Sylvie Boldo will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-241746