Floating-point arithmetic in the Coq system a,1 Guillaume Melquiond a INRIA Saclay Île-de-France, - Unit in the last place - Document - PDFSEARCH.IO

First Page	Meta Content
	Floating-point arithmetic in the Coq system a,1 Guillaume Melquiond a INRIA Saclay Île-de-France, Add to Reading List Document Date: 2012-06-28 09:41:10 Open Document File Size: 343,84 KB Share Result on Facebook

Floating-point arithmetic in the Coq system a,1 Guillaume Melquiond a INRIA Saclay  Île-de-France,Add to Reading List