Results 201 to 210 of about 403 (212)
Some of the next articles are maybe not open access.

Floating-point arithmetic

William Ford, David Stapleton
openaire   +1 more source

An Automatable Formal Semantics for IEEE-754 Floating-Point Arithmetic

2015
Cesare Tinelli   +2 more
exaly  

Home - About - Disclaimer - Privacy