Computer Science – Logic in Computer Science
Scientist
Computer Science
Logic in Computer Science
Scientist
INRIA Saclay - Ile de France, LRI
LIP, INRIA Rhône-Alpes
Certification of bounds on expressions involving rounded operators
Certifying floating-point implementations using Gappa
Formal Proof of a Wave Equation Resolution Scheme: the Method Error
Formal Proof of a Wave Equation Resolution Scheme: the Method Error
Wave Equation Numerical Resolution: Mathematics and Program
No associations
LandOfFree
Guillaume Melquiond does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Guillaume Melquiond, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Guillaume Melquiond will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-243907