Computer Science – Mathematical Software
Scientist
Computer Science
Mathematical Software
Scientist
ELIAUS
LP2A, LIRMM
LIRMM, Eliaus
LIRMM, LP2A
LIRMM, Lp2a
A library of Taylor models for PVS automatic proof checker
Caractéristiques arithmétiques des processeurs graphiques
Certification of bounds on expressions involving rounded operators
Computer validated proofs of a toolset for adaptable arithmetic
Formal proof for delayed finite field arithmetic using floating point operators
No associations
LandOfFree
Marc Daumas does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Marc Daumas, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Marc Daumas will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-148096