Merkliste 
 1 Ergebnisse 
 
1

An approach to generate correctly rounded math libraries fo..:

Lim, Jay P. ; Aanjaneya, Mridul ; Gustafson, John.
Proceedings of the ACM on Programming Languages.  5 (2021)  POPL - p. 1-30 , 2021