%PDF-1.7
%
1 0 obj
<>stream
application/pdfIEEE2018 IEEE 25th Symposium on Computer Arithmetic (ARITH);2018; ; ; A Formally-Proved Algorithm to Compute the Correct Average of Decimal Floating-Point NumbersSylvie BoldoFlorian FaissoleVincent Tourneur
2018 IEEE 25th Symposium on Computer Arithmetic (ARITH)69 June 2018 75
endstream
endobj
2 0 obj
<>
endobj
3 0 obj
<>stream
h|W TS>r8r|DEZ^ъ,F$( Ce BPQzURuQ[gkqxӵޟ$so{`G.Y `|"6<^Xh2ytY40~(
朐O̟pϺ̍3(T
Ys )UjEFl̙3eቲ\?cXyK\.nˢ1rgKW
Yp|x"BH!=eQJ,ATh8W#iT>$Ô 2\hoB#Vi2R4_G)2ZXM+5ZMZ}>j7ijX,SFaHeD9~6Li Z=rYB KbS*BFm}L-SG5XDR$Z*-Z+yLןI \"b* h{]@xDjG$s$;" Dc=OHLU&İ(6]`g_o8Cf!OE#DjG;GWG Nݩ陳Atb8]=b+.p=t$ERQבgH7FCyq~a^ .1/~~
3%C#K0IKH)+fo"FDHe1ˑ2ʍz}}5sÀߤ/76ÐNa:JHA_UO`'4̀Gs6"nR0Z2 sssɕ+JMFFCP圀σrI18
XeTTcqHol8v4!94NVΞOW)4)w` %\olc6N'{5SDc3xEB05dzm
K4tCaYaA1N{++J0;n4'MBXP<~g}8D~>W>z%4][RWDE¢"iiNiF VJKʤEEyEL~4'8fŰ{dml-?,'sc-6պ]WŒuK
e7W
!0K۾bUTe;t9y:faȪ-4["p`ALr>ς|8I6W ^1$RYI7^(7__B'1s2$sj_c\p0!3q%`*0;jv&9\Yl
+y؏!FAmM+z߽m*=QI}Z.`ː.7ocY0BytIǧN_>q{
9֣>$;@LݾdJO3Ե|p_q.K_WIК`zySLMZ1Ȏ;nؓUH56$Uo(٫Tpj\ǵog'#XlNblK#UNi8$z_
]J<=ؗ"j-z8m9enΌY~dCZEUiw"5 6өؚwE!UwtVρ8;^,&Ԫ({M!$MwI{[Ep ϑN~5v(Y3DZT?|W= 8E#xgɑS'ahȳIի-gӮ
o*ܼLf? t`V؊b6TNODS.sƒޯ|KtֆBi5K|h4aB|>XJmSnm-HޣX{/̑o?aڮ\SJ0x
B݁~ΧZפl9/~1SXᗚxN?no1Ip`
:^"ϴ\{<7:sg!]a(0fwrz~lTkst.Op$X}NeIcK¾)t-tE#Nk"rDO':n?tEQ`@9X&3G+qRʝ{^Dwktw~v%hK,\̕*Wi}ߓQWmiw
edy
/Un"ۖ_rC|0+(LWnPQO&ASm'6LOH'A<2;Lk>bsh@/9_1Q7{k=C]jF]
ZI3ͱ[C#Ytf?5[m{}WK7m]ɜoM%U]yn.
cW(lzC<w;RMMY[+)lj$ m<ғۧ0T脅K2x$c[מ@ۋ_AǯhGcr5w0OyO1ME|o
&VBl8'2.T/f'ժ.Hzap{x}.ue 9uO_lƢbO-'ѝ,e;mc870WoG2)=sG1D]OpC2,E>}4m1*YeIU-8zt{iܶVmm{?/kvALMlC"ېԠy!^w ۫ZSpы*3
;,oQ'$]Aݖ==QA*ulH-=yBKBoL[yLf%Y/nxN"SVYJ
+Gٿm6WٽBZ~ЇؠƠt@SL>V4ͳcx*g3Nq'#iW1KeۗoX _QF$gR)eY#u[X|r]xUJ
Ef)=꘦=TC V9IeHw2w]8`u1Ҫ&HsN32wMy}*Mf&mkTVR[K9χ
endstream
endobj
4 0 obj
<>
endobj
5 0 obj
<>stream
endstream
endobj
6 0 obj
<>stream
H\Tn0+|HѾhN*hXȤCJqܯ^ڋ4|o8}]_V6rO ̚y fx/? JbAߎPe#H
!P;.vMޚunm6xNun{NZ<
rx-pOD4fL^Ci)HbvxrxckDIJg*micD7L^8'<v\I5fEwX; Jp0k#fA24oն
A&d5?!v#tb.(}/QMY[Ǝm<6$*\*g5ӦKACpR00,p5ϻHG|Hzmde[CQBg9h7Dp6rGۈICuRAE
(WsIZ"B(ȴ
nծI
ѓX[)ARP%
MbrvBU6K%I5T_AUٗz
( 0qzQJuXqBT{'l{_i04lA,ӥ,MuN0Һ@5>{(-A]AbYV]'%˂eLzՇ~tw;NWmZA@gh Va<<*¸X06_ ÈQ(+ t
endstream
endobj
7 0 obj
<>/ProcSet[/PDF/Text]/ColorSpace<>/Font<>/Properties<>>>/MediaBox[0 0 612 792]/Rotate 0>>
endobj
8 0 obj
<>
endobj
9 0 obj
<>stream
HWێ}iŋDi< ` 7 %vK-9LSŢd]㞁XdExO;]~pJ_p34[ۧHʕ?'FI?+-%Vl |{Hx?9g8Ṫ6?6ۿ8-(c|`<1-Kވ(ڊiu