docCurriculum Vitae Antoine Girard
download 
Plainte Documents pareils
Robustness analysis of finite precision implementations 1cm Eric
intersection (unstable test), computed in intervals
using additional slack variable η1t = εr1 − εr2 , which will appear both in the
constraints on real and floats (more generally, if we are interes...
