%a{D. H. Bailey}	= http://www.nersc.gov/~dhbailey/
%a{R. Beigel}		= http://www.cis.temple.edu/~beigel/
%a{V. Berthé}		= http://www.lirmm.fr/~berthe/
%a{Y. Bertot}		= http://www-sop.inria.fr/marelle/Yves.Bertot/
%a{S. Boldo}		= http://www.lri.fr/~sboldo/
%a{R. P. Brent}		= http://wwwmaths.anu.edu.au/~brent/
%a{P. Briggs}		= http://www.linkedin.com/pub/preston-briggs/2/237/a30
%a{N. Brisebarre}	= http://perso.ens-lyon.fr/nicolas.brisebarre/
%a{J. Calmet}		= http://iaks-www.ira.uka.de/iaks-calmet/index-e.html
%a{H. Cohen}		= http://www.math.u-bordeaux.fr/~cohen/
%a{D. Coppersmith}	= http://en.wikipedia.org/wiki/Don_Coppersmith
%a{M. Cowlishaw}	= http://en.wikipedia.org/wiki/Mike_Cowlishaw
%a{A. Cuyt}		= http://www.cant.ua.ac.be/people/annie.cuyt
%a{M. Daumas}		= http://eliaus.univ-perp.fr/spip.php?article44
%a{D. Defour}		= http://gala.univ-perp.fr/~ddefour/
%a{F. de Dinechin}	= http://perso.ens-lyon.fr/florent.de.dinechin/
%a{N. Elkies}		= http://www.math.harvard.edu/~elkies/
%a{M. D. Ercegovac}	= http://www.cs.ucla.edu/~milos/
%a{L. Fousse}		= http://www.komite.net/laurent/pro/
%a{W. Gasarch}		= http://www.cs.umd.edu/~gasarch/
%a{N. Gast}		= http://mescal.imag.fr/membres/nicolas.gast/
%a{G. Gonnet}		= http://www.inf.ethz.ch/personal/gonnet/
%a{S. Graillat}		= http://www-pequan.lip6.fr/~graillat/
%a{B. Haible}		= http://www.haible.de/bruno/
%a{G. Hanrot}		= http://www.loria.fr/~hanrot/
%a{J. Harrison}		= http://www.cl.cam.ac.uk/users/jrh/
%a{T. Harvey}		= http://www.cs.rice.edu/~harv/
%a{D. S. Hirschberg}	= http://www.ics.uci.edu/~dan/
%a{J. van der Hoeven}	= http://www.texmacs.org/joris/main/joris.html
%a{L. Imbert}		= http://www.lirmm.fr/~imbert/
%a{C.-P. Jeannerod}	= http://perso.ens-lyon.fr/claude-pierre.jeannerod/
%a{W. Kahan}		= http://http.cs.berkeley.edu/~wkahan/
%a{D. Knuth}		= http://www-cs-faculty.stanford.edu/~knuth/
%a{I. Koren}		= http://www.ecs.umass.edu/ece/koren/
%a{P. Kornerup}		= http://www.imada.sdu.dk/~kornerup/
%a{W. Krandick}		= http://www.mcs.drexel.edu/~krandick/
%a{U. W. Kulisch}	= http://www.mathematik.uni-karlsruhe.de/ianm2/~kulisch/
%a{T. Lang}		= http://www.eng.uci.edu/users/tomas-lang
%a{Ch. Lauter}		= http://www.christoph-lauter.org/
%a{V. Lefèvre}		= http://www.vinc17.net/research/
%a{N. Louvet}		= http://perso.ens-lyon.fr/nicolas.louvet/
%a{N. Magaud}		= http://dpt-info.u-strasbg.fr/~magaud/
%a{D. Matula}		= http://lyle.smu.edu/~matula/
%a{M. Mayero}		= http://www-lipn.univ-paris13.fr/~mayero/
%a{G. Melquiond}	= http://www.msr-inria.inria.fr/~gmelquio/
%a{D. Monniaux}		= http://www-verimag.imag.fr/~monniaux/
%a{J. S. Moore}		= http://www.cs.utexas.edu/users/moore/
%a{J.-M. Moreau}	= http://www710.univ-lyon1.fr/~jmmoreau/
%a{C. Mouilleron}	= http://perso.ens-lyon.fr/christophe.mouilleron/
%a{J.-M. Muller}	= http://perso.ens-lyon.fr/jean-michel.muller/
%a{P. Nguyen}		= http://www.di.ens.fr/~pnguyen/
%a{T. Papanikolaou}	= http://www.cdc.informatik.tu-darmstadt.de/TI/Mitarbeiter/papanik/Welcome.html
%a{M. Parks}		= http://www.geocities.com/ieee754/
%a{R. G. E. Pinch}	= http://www.chalcedon.demon.co.uk/rgep/rcam.html
%a{M. Püschel}		= http://www.ece.cmu.edu/~pueschel/
%a{N. Revol}		= http://perso.ens-lyon.fr/nathalie.revol/
%a{D. Richardson}	= http://people.bath.ac.uk/masdr/
%a{F. Rouillier}	= http://www-salsa.lip6.fr/~rouillie/Home.html
%a{S. M. Rump}		= http://www.ti3.tu-harburg.de/~rump/
%a{D. Russinoff}	= http://www.russinoff.com/david/
%a{S. Schirra}		= http://wwwisg.cs.uni-magdeburg.de/~stschirr/
%a{M. Schulte}		= http://www.engr.wisc.edu/ece/faculty/schulte_michael.html
%a{J. R. Shewchuk}	= http://www.cs.berkeley.edu/~jrs/
%a{G. Spaletta}		= http://www.cs.unibo.it/~giulia/
%a{D. Stehlé}		= http://perso.ens-lyon.fr/damien.stehle/
%a{E. E. Swartzlander}	= http://www.ece.utexas.edu/directory/faculty/25/
%a{P. Théveny}		= http://perso.ens-lyon.fr/philippe.theveny/
%a{A. Tisserand}	= http://www.lirmm.fr/~tisseran/
%a{S. Torrès}		= http://perso.ens-lyon.fr/serge.torres/
%a{B. Verdonk}		= http://www.win.ua.ac.be/~verdonk/
%a{Y. Voronenko}	= http://www.ece.cmu.edu/~yvoronen/
%a{J. Vuillemin}	= http://www.di.ens.fr/~jv/
%a{M. Waldschmidt}	= http://www.math.jussieu.fr/~miw/index2.html
%a{A. C. Yao}		= http://www.cs.princeton.edu/~yao/
%a{P. Zimmermann}	= http://www.loria.fr/~zimmerma/
%a{D. Zuras}		= http://zuras.net/
%acronym{ACM}		= "Association for Computing Machinery"
%acronym{CASC}		= "Computer Algebra in Scientific Computing"
%acronym{CCA}		= "Computability and Complexity in Analysis"
%acronym{FPGA}		= "Field-Programmable Gate Array"
%acronym{GMP}		= "GNU Multiple Precision"
%acronym{IEEE}		= "Institute of Electrical and Electronic Engineers"
%acronym{INRIA}		= "Institut National de Recherche en Informatique et en Automatique"
%acronym{ISSAC}		= "International Symposium on Symbolic and Algebraic Computation"
%acronym{OMSCS}		= "Open Mechanized Symbolic Computation System"
%acronym{PLMMS}		= "Programming Languages for Mechanized Mathematics Systems"
%acronym{RSA}		= "Rivest, Shamir and Adleman"
%acronym{SIAM}		= "Society for Industrial and Applied Mathematics"

@InProceedings{CalLef2004a,
	AUTHOR		= {J. Calmet and V. Lefèvre},
	TITLE		= {Toward the Integration of Numerical Computations into the {OMSCS} Framework},
	BOOKTITLE	= {Proceedings of the 7th International Workshop on Computer Algebra in Scientific Computing ({CASC} 2004)},
	EDITOR		= {V.G. Ganzha and E.W. Mayr and E.V. Vorozhtsov},
	PAGES		= {71--79},
	ADDRESS		= {Saint Petersburg, Russia},
	MONTH		= jul,
	YEAR		= {2004},
	URL		= {http://www.vinc17.net/research/papers/casc2004},
	OTHER-URL	= {http://www.vinc17.net/research/papers/casc2004.ps.gz http://www.vinc17.net/research/papers/casc2004.pdf},
	HAL		= {inria-00099920},
	TAGS		= {proof}
}

@Article{CasLefZim2004a,
	AUTHOR		= {A. Castiel and V. Lefèvre and P. Zimmermann},
	TITLE		= {Le « dilemme du fabricant de tables » ou comment calculer juste},
	JOURNAL		= {Interstices},
	PUBLISHER	= {INRIA},
	MONTH		= feb,
	YEAR		= {2004},
	URL		= {http://interstices.info/display.jsp?id=c_5936},
	HAL		= {inria-00000567},
	TAGS		= {tmd}
}

@Article{DHLMRZ2004a,
	AUTHOR		= {D. Defour and G. Hanrot and V. Lefèvre and J.-M. Muller and N. Revol and P. Zimmermann},
	TITLE		= {Proposal for a Standardization of Mathematical Function Implementation in Floating-Point Arithmetic},
	JOURNAL		= {Numerical Algorithms},
	VOLUME		= {37},
	NUMBER		= {1--4},
	PAGES		= {367--375},
	MONTH		= dec,
	YEAR		= {2004},
	DOI		= {10.1023/B:NUMA.0000049482.38935.0b},
	URL		= {http://dx.doi.org/10.1023/B:NUMA.0000049482.38935.0b},
	HAL		= {inria-00099967},
	TAGS		= {std}
}

@TechReport{DHLMRZ2004b,
	AUTHOR		= {D. Defour and G. Hanrot and V. Lefèvre and J.-M. Muller and N. Revol and P. Zimmermann},
	TITLE		= {Proposal for a Standardization of Mathematical Function Implementation in Floating-Point Arithmetic},
	INSTITUTION	= {{INRIA}},
	TYPE		= rr,
	NUMBER		= {RR-5406},
	YEAR		= {2004},
	MONTH		= dec,
	KEYWORDS	= {floating-point arithmetic,mathematical function,standard,implementation,rounding,exception},
	ABSTRACT-URL	= {http://www.inria.fr/rrrt/rr-5406.html},
	HAL		= {inria-00071249},
	TAGS		= {std}
}

@InProceedings{DinLef2000a,
	AUTHOR		= {F. de Dinechin and V. Lefèvre},
	TITLE		= {Constant Multiplier for {FPGA}s},
	BOOKTITLE	= {Second International Workshop on Engineering of Reconfigurable Hardware/Software Objects ({ENREGLE} 2000)},
	ADDRESS		= {Monte Carlo Resort, Las Vegas, Nevada, USA},
	NOTE		= {Also available as LIP research report 2000-18},
	MONTH		= jun,
	YEAR		= {2000},
	URL		= {http://www.vinc17.net/research/papers/rr_cmfpga.ps.gz},
	OTHER-URL	= {ftp://ftp.ens-lyon.fr/pub/LIP/Rapports/RR/RR2000/RR2000-18.ps.Z},
	TAGS		= {mulbyconst}
}

@TechReport{DinLef2000b,
	AUTHOR		= {F. de Dinechin and V. Lefèvre},
	TITLE		= {Constant Multiplier for {FPGA}s},
	ADDRESS		= {Lyon, France},
	INSTITUTION	= {Laboratoire de l'Informatique du Parallélisme},
	TYPE		= rr,
	NUMBER		= {RR2000-18},
	MONTH		= may,
	YEAR		= {2000},
	ABSTRACT-URL	= {http://www.ens-lyon.fr/LIP/Pub/rr2000.php},
	URL		= {ftp://ftp.ens-lyon.fr/pub/LIP/Rapports/RR/RR2000/RR2000-18.ps.Z},
	TAGS		= {mulbyconst}
}

@TechReport{FHLPZ2005a,
	AUTHOR		= {L. Fousse and G. Hanrot and V. Lefèvre and P. Pélissier and P. Zimmermann},
	TITLE		= {{MPFR}: A Multiple-Precision Binary Floating-Point Library With Correct Rounding},
	INSTITUTION	= {{INRIA}},
	TYPE		= rr,
	NUMBER		= {RR-5753},
	YEAR		= {2005},
	MONTH		= nov,
	KEYWORDS	= {multiple-precision arithmetic,ieee-754 standard,floating-point arithmetic,correct rounding,elementary function,portable software},
	ABSTRACT-URL	= {http://www.inria.fr/rrrt/rr-5753.html},
	URL		= {http://www.vinc17.net/research/papers/rr_mpfr},
	OTHER-URL	= {http://www.vinc17.net/research/papers/rr_mpfr.ps.gz http://www.vinc17.net/research/papers/rr_mpfr.pdf ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-5753.ps.gz ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-5753.pdf},
	HAL		= {inria-00070266},
	TAGS		= {multiprec,tmd}
}

@Article{FHLPZ2006a,
	AUTHOR		= {L. Fousse and G. Hanrot and V. Lefèvre and P. Pélissier and P. Zimmermann},
	TITLE		= {{MPFR}: A Multiple-Precision Binary Floating-Point Library With Correct Rounding},
	JOURNAL		= {{ACM} Transactions on Mathematical Software},
	VOLUME		= {33},
	NUMBER		= {2},
	MONTH		= jun,
	YEAR		= {2007},
	ACCEPTED	= {23 May 2006},
	PUBLISHER	= {ACM},
	ADDRESS		= {New York, NY, USA},
	DOI		= {10.1145/1236463.1236468},
	URL		= {http://doi.acm.org/10.1145/1236463.1236468},
	HAL		= {inria-00103655},
	TAGS		= {multiprec,tmd}
}

@Book{HFPA2009a,
	AUTHOR		= {J.-M. Muller and N. Brisebarre and F. de Dinechin and C.-P. Jeannerod and V. Lefèvre and G. Melquiond and N. Revol and D. Stehlé and S. Torrès},
	TITLE		= {Handbook of Floating-Point Arithmetic},
	PUBLISHER	= {Birkhäuser Boston},
	MONTH		= nov,
	YEAR		= {2009},
	DOI		= {10.1007/978-0-8176-4705-6},
	URL		= {http://www.springer.com/birkhauser/mathematics/book/978-0-8176-4704-9},
	OTHER-URL	= {http://www.springerlink.com/content/978-0-8176-4704-9},
	HAL		= {ensl-00379167},
	TAGS		= {fpalgo,std,approx,tmd,lalgo,langcomp,decimal,proof}
}

@Misc{HLMRZ2001a,
	AUTHOR		= {G. Hanrot and V. Lefèvre and J.-M. Muller and N. Revol and P. Zimmermann},
	TITLE		= {Some notes for a proposal for elementary function implementation in floating-point arithmetic},
	MONTH		= jun,
	YEAR		= {2001},
	URL		= {http://perso.ens-lyon.fr/jean-michel.muller/PropStandFunc.ps},
	RI-URL		= {http://citeseer.ist.psu.edu/hanrot01some.html},
	TAGS		= {std}
}

@TechReport{HLSZ2007a,
	AUTHOR		= {G. Hanrot and V. Lefèvre and D. Stehlé and P. Zimmermann},
	TITLE		= {Worst Cases of a Periodic Function for Large Arguments},
	INSTITUTION	= {{INRIA}},
	TYPE		= rr,
	NUMBER		= {RR-6106},
	MONTH		= jan,
	YEAR		= {2007},
	URL		= {http://www.vinc17.net/research/papers/rr_periodic.pdf},
	HAL		= {inria-00126474},
	TAGS		= {tmd,lalgo,slz}
}

@InProceedings{HLSZ2007b,
	AUTHOR		= {G. Hanrot and V. Lefèvre and D. Stehlé and P. Zimmermann},
	TITLE		= {Worst Cases of a Periodic Function for Large Arguments},
	BOOKTITLE	= {Proceedings of the 18th {IEEE} Symposium on Computer Arithmetic},
	PAGES		= {133--140},
	EDITOR		= {Peter Kornerup and Jean-Michel Muller},
	ADDRESS		= {Montpellier, France},
	PUBLISHER	= {{IEEE} Computer Society Press, Los Alamitos, CA},
	MONTH		= jun,
	YEAR		= {2007},
	ABSTRACT-URL	= {http://ieeexplore.ieee.org/search/wrapper.jsp?arnumber=4272859},
	URL		= {http://www.lirmm.fr/arith18/papers/hanrot-WorstCasesPeriodic.pdf},
	HAL		= {inria-00126474},
	TAGS		= {tmd,lalgo,slz}
}

@TechReport{KLLLM2008a,
	AUTHOR		= {P. Kornerup and Ch. Lauter and V. Lefèvre and N. Louvet and J.-M. Muller},
	TITLE		= {Computing Correctly Rounded Integer Powers in Floating-Point Arithmetic},
	ADDRESS		= {Lyon, France},
	INSTITUTION	= {Laboratoire de l'Informatique du Parallélisme},
	TYPE		= rr,
	NUMBER		= {RR2008-15},
	MONTH		= may,
	YEAR		= {2008},
	URL		= {http://www.vinc17.net/research/papers/rr_crip.pdf},
	HAL		= {ensl-00278430},
	TAGS		= {approx,fpalgo,tmd}
}

@Article{KLLLM2009a,
	AUTHOR		= {P. Kornerup and Ch. Lauter and V. Lefèvre and N. Louvet and J.-M. Muller},
	TITLE		= {Computing Correctly Rounded Integer Powers in Floating-Point Arithmetic},
	JOURNAL		= {{ACM} Transactions on Mathematical Software},
	VOLUME		= {37},
	NUMBER		= {1},
	MONTH		= jan,
	YEAR		= {2010},
	URL		= {http://doi.acm.org/10.1145/1644001.1644005},
	DOI		= {10.1145/1644001.1644005},
	HAL		= {inria-00388501},
	TAGS		= {approx,fpalgo,tmd}
}

@TechReport{KLLM2008a,
	AUTHOR		= {P. Kornerup and V. Lefèvre and N. Louvet and J.-M. Muller},
	TITLE		= {On the computation of correctly-rounded sums},
	ADDRESS		= {Lyon, France},
	INSTITUTION	= {Laboratoire de l'Informatique du Parallélisme},
	TYPE		= rr,
	NUMBER		= {RR2008-35},
	MONTH		= oct,
	YEAR		= {2008},
	URL		= {http://www.vinc17.net/research/papers/rr_ccrsums.pdf},
	HAL		= {ensl-00331519},
	TAGS		= {fpalgo}
}

@InProceedings{KLLM2009a,
	AUTHOR		= {P. Kornerup and V. Lefèvre and N. Louvet and J.-M. Muller},
	TITLE		= {On the Computation of Correctly-Rounded Sums},
	BOOKTITLE	= {Proceedings of the 19th {IEEE} Symposium on Computer Arithmetic},
	PAGES		= {155--160},
	MONTH		= jun,
	YEAR		= {2009},
	ADDRESS		= {Portland, OR, USA},
	URL		= {http://www.vinc17.net/research/papers/arith19.pdf},
	HAL		= {inria-00367584},
	TAGS		= {fpalgo}
}

@TechReport{KLLM2010a,
	AUTHOR		= {P. Kornerup and V. Lefèvre and N. Louvet and J.-M. Muller},
	TITLE		= {On the Computation of Correctly-Rounded Sums},
	ADDRESS		= {Lyon, France},
	INSTITUTION	= {{INRIA}},
	TYPE		= rr,
	NUMBER		= {RR-7262},
	MONTH		= apr,
	YEAR		= {2010},
	URL		= {http://www.vinc17.net/research/papers/rr_ccrsums2.pdf},
	HAL		= {inria-00475279},
	TAGS		= {fpalgo}
}

@Article{KLTZ2009a,
	AUTHOR		= {K. R. Ghazi and V. Lefèvre and P. Théveny and P. Zimmermann},
	TITLE		= {Why and How to Use Arbitrary Precision},
	JOURNAL		= {Computing in Science and Engineering},
	PUBLISHER	= {{IEEE} Computer Society, Los Alamitos, CA},
	VOLUME		= {12},
	NUMBER		= {3},
	PAGES		= {62--65},
	MONTH		= may,
	YEAR		= {2010},
	URL		= {http://doi.ieeecomputersociety.org/10.1109/MCSE.2010.73},
	TAGS		= {multiprec,langcomp}
}

@TechReport{KorLefMul2007a,
	AUTHOR		= {P. Kornerup and V. Lefèvre and J.-M. Muller},
	TITLE		= {Computing Integer Powers in Floating-Point Arithmetic},
	ADDRESS		= {Lyon, France},
	INSTITUTION	= {Laboratoire de l'Informatique du Parallélisme},
	TYPE		= rr,
	NUMBER		= {RR2007-23},
	MONTH		= may,
	YEAR		= {2007},
	KEYWORDS	= {floating-point arithmetic,integer powers,computer arithmetic,correct rounding},
	URL		= {http://www.vinc17.net/research/papers/rr_power.pdf},
	HAL		= {ensl-00150406},
	TAGS		= {approx,fpalgo,tmd}
}

@InProceedings{KorLefMul2007b,
	AUTHOR		= {P. Kornerup and V. Lefèvre and J.-M. Muller},
	TITLE		= {Computing Integer Powers in Floating-Point Arithmetic},
	BOOKTITLE	= {Proceedings of 41th Conference on signals, systems and computers},
	PUBLISHER	= {IEEE Conference Publishing Services},
	MONTH		= nov,
	YEAR		= {2007},
	TAGS		= {approx,fpalgo,tmd}
}

@TechReport{LTDJMPR2010a,
	AUTHOR		= {V. Lefèvre and P. Théveny and F. de Dinechin and C.-P. Jeannerod and C. Mouilleron and D. Pfannholzer and N. Revol},
	TITLE		= {{LEMA}: Towards a Language for Reliable Arithmetic},
	INSTITUTION	= {{INRIA}},
	TYPE		= rr,
	NUMBER		= {RR-7258},
	YEAR		= {2010},
	MONTH		= apr,
	KEYWORDS	= {design,languages,performance,reliability,verification,annotated mathematical expressions,XML,MathML,certified numerical properties,formal proof,computer arithmetic,floating-point arithmetic},
	URL		= {http://www.vinc17.net/research/papers/rr_lema.pdf},
	HAL		= {inria-00473767},
	TAGS		= {proof,langcomp}
}

@Article{LTDJMPR2010b,
	AUTHOR		= {V. Lefèvre and P. Théveny and F. de Dinechin and C.-P. Jeannerod and C. Mouilleron and D. Pfannholzer and N. Revol},
	TITLE		= {{LEMA}: Towards a Language for Reliable Arithmetic},
	JOURNAL		= {{ACM} Communications in Computer Algebra},
	VOLUME		= {44},
	NUMBER		= {2},
	MONTH		= jun,
	YEAR		= {2010},
	KEYWORDS	= {design,languages,performance,reliability,verification,annotated mathematical expressions,XML,MathML,certified numerical properties,formal proof,computer arithmetic,floating-point arithmetic},
	NOTE		= {Emerging Trends Papers accepted for {PLMMS}~2010, L.~Dixon and J.~Davenport.},
	URL		= {http://www.sigsam.org/cca/articles/172/plmms2010.pdf},
	TAGS		= {proof,langcomp}
}

@TechReport{LauLef2007a,
	AUTHOR		= {Ch. Lauter and V. Lefèvre},
	TITLE		= {An efficient rounding boundary test for \texttt{pow(x,y)} in double precision},
	ADDRESS		= {Lyon, France},
	INSTITUTION	= {Laboratoire de l'Informatique du Parallélisme},
	TYPE		= rr,
	NUMBER		= {RR2007-36},
	MONTH		= sep,
	YEAR		= {2007},
	KEYWORDS	= {floating-point arithmetic,correct rounding,power function},
	URL		= {http://www.vinc17.net/research/papers/rr_power-cr.pdf},
	HAL		= {ensl-00169409},
	TAGS		= {tmd}
}

@Article{LauLef2009a,
	AUTHOR		= {Ch. Lauter and V. Lefèvre},
	TITLE		= {An efficient rounding boundary test for \texttt{pow(x,y)} in double precision},
	JOURNAL		= {{IEEE} Transactions on Computers},
	PUBLISHER	= {{IEEE} Computer Society Press, Los Alamitos, CA},
	VOLUME		= {58},
	NUMBER		= {2},
	PAGES		= {197--207},
	MONTH		= feb,
	YEAR		= {2009},
	KEYWORDS	= {floating-point arithmetic,correct rounding,power function},
	URL		= {http://doi.ieeecomputersociety.org/10.1109/TC.2008.202},
	DOI		= {10.1109/TC.2008.202},
	TAGS		= {tmd}
}

@TechReport{Lef1997a,
	AUTHOR		= {V. Lefèvre},
	TITLE		= {An Algorithm that Computes a Lower Bound on the Distance Between a Segment and $\mathbb{Z}^2$},
	ADDRESS		= {Lyon, France},
	INSTITUTION	= {Laboratoire de l'Informatique du Parallélisme},
	TYPE		= rr,
	NUMBER		= {RR1997-18},
	MONTH		= jun,
	YEAR		= {1997},
	KEYWORDS	= {elementary functions,floating-point arithmetic,rounding},
	ABSTRACT-URL	= {http://www.ens-lyon.fr/LIP/Pub/rr1997.php},
	URL		= {http://www.vinc17.net/research/papers/rr_segment.ps.gz},
	OTHER-URL	= {ftp://ftp.ens-lyon.fr/pub/LIP/Rapports/RR/RR1997/RR1997-18.ps.Z},
	RI-URL		= {http://citeseer.ist.psu.edu/lefevre97algorithm.html},
	TAGS		= {lalgo,tmd}
}

@InCollection{Lef1999a,
	AUTHOR		= {V. Lefèvre},
	TITLE		= {An Algorithm that Computes a Lower Bound on the Distance Between a Segment and $\mathbb{Z}^2$},
	BOOKTITLE	= {Developments in Reliable Computing},
	YEAR		= {1999},
	PUBLISHER	= {Kluwer},
	ADDRESS		= {Dordrecht, Netherlands},
	PAGES		= {203--212},
	KEYWORDS	= {elementary functions,floating-point arithmetic,rounding},
	TAGS		= {lalgo,tmd}
}

@TechReport{Lef1999b,
	AUTHOR		= {V. Lefèvre},
	TITLE		= {Multiplication by an Integer Constant},
	ADDRESS		= {Lyon, France},
	INSTITUTION	= {Laboratoire de l'Informatique du Parallélisme},
	TYPE		= rr,
	NUMBER		= {RR1999-06},
	MONTH		= jan,
	YEAR		= {1999},
	KEYWORDS	= {multiplication,addition chains},
	ABSTRACT-URL	= {http://www.ens-lyon.fr/LIP/Pub/rr1999.php},
	URL		= {http://www.vinc17.net/research/papers/rr_mulcst.ps.gz},
	OTHER-URL	= {ftp://ftp.ens-lyon.fr/pub/LIP/Rapports/RR/RR1999/RR1999-06.ps.Z},
	RI-URL		= {http://citeseer.ist.psu.edu/259591.html},
	TAGS		= {mulbyconst}
}

@PhDThesis{Lef2000a,
	AUTHOR		= {V. Lefèvre},
	TITLE		= {Moyens arithmétiques pour un calcul fiable},
	SCHOOL		= {École Normale Supérieure de Lyon},
	ADDRESS		= {Lyon, France},
	YEAR		= {2000},
	MONTH		= jan,
	ABSTRACT-URL	= {http://www.ens-lyon.fr/LIP/Pub/PhD2000.html},
	URL		= {http://www.vinc17.net/research/papers/these.ps.gz},
	OTHER-URL	= {ftp://ftp.ens-lyon.fr/pub/LIP/Rapports/PhD/PhD2000/PhD2000-02.ps.Z},
	TAGS		= {tmd,lalgo,mulbyconst}
}

@TechReport{Lef2001a,
	AUTHOR		= {V. Lefèvre},
	TITLE		= {Multiplication by an Integer Constant},
	INSTITUTION	= {{INRIA}},
	TYPE		= rr,
	NUMBER		= {RR-4192},
	YEAR		= {2001},
	MONTH		= may,
	KEYWORDS	= {multiplication,addition chains},
	ABSTRACT-URL	= {http://www.inria.fr/rrrt/rr-4192.html},
	URL		= {http://www.vinc17.net/research/papers/rr_mulcst2},
	OTHER-URL	= {http://www.vinc17.net/research/papers/rr_mulcst2.ps.gz http://www.vinc17.net/research/papers/rr_mulcst2.pdf ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-4192.ps.gz},
	RI-URL		= {http://citeseer.ist.psu.edu/491491.html},
	HAL		= {inria-00072430},
	TAGS		= {mulbyconst}
}

@Article{Lef2001b,
	AUTHOR		= {V. Lefèvre},
	TITLE		= {Multiplication par une constante},
	JOURNAL		= {Réseaux et Systèmes Répartis, Calculateurs Parallèles},
	NUMBER		= {4--5},
	PAGES		= {465--484},
	VOLUME		= {13},
	YEAR		= {2001},
	KEYWORDS	= {multiplication},
	HAL		= {inria-00100605},
	TAGS		= {mulbyconst}
}

@TechReport{Lef2002a,
	AUTHOR		= {V. Lefèvre},
	TITLE		= {Multiplication by an Integer Constant: Lower Bounds on the Code Length},
	INSTITUTION	= {{INRIA}},
	TYPE		= rr,
	NUMBER		= {RR-4493},
	YEAR		= {2002},
	MONTH		= jul,
	KEYWORDS	= {integer multiplication,addition chains,compression},
	ABSTRACT-URL	= {http://www.inria.fr/rrrt/rr-4493.html},
	URL		= {http://www.vinc17.net/research/papers/rr_mulcst3},
	OTHER-URL	= {http://www.vinc17.net/research/papers/rr_mulcst3.ps.gz http://www.vinc17.net/research/papers/rr_mulcst3.pdf ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-4493.ps.gz},
	HAL		= {inria-00072095},
	TAGS		= {mulbyconst}
}

@InProceedings{Lef2003a,
	AUTHOR		= {V. Lefèvre},
	TITLE		= {Multiplication by an Integer Constant: Lower Bounds on the Code Length},
	BOOKTITLE	= {Proceedings of the 5th Conference on Real Numbers and Computers},
	ADDRESS		= {École Normale Supérieure de Lyon, France},
	PAGES		= {131--146},
	KEYWORDS	= {integer multiplication,addition chains,compression},
	MONTH		= sep,
	YEAR		= {2003},
	URL		= {http://www.vinc17.net/research/papers/rnc5},
	OTHER-URL	= {http://www.vinc17.net/research/papers/rnc5.ps.gz http://www.vinc17.net/research/papers/rnc5.pdf},
	HAL		= {inria-00099684},
	TAGS		= {mulbyconst}
}

@InProceedings{Lef2004a,
	AUTHOR		= {V. Lefèvre},
	TITLE		= {The Generic Multiple-Precision Floating-Point Addition With Exact Rounding (as in the {MPFR} Library)},
	BOOKTITLE	= {Proceedings of the 6th Conference on Real Numbers and Computers},
	ADDRESS		= {Dagstuhl, Germany},
	PAGES		= {135--145},
	KEYWORDS	= {multiple precision,floating point,addition,correct rounding,exact rounding},
	MONTH		= nov,
	YEAR		= {2004},
	URL		= {http://www.vinc17.net/research/papers/rnc6},
	OTHER-URL	= {http://www.vinc17.net/research/papers/rnc6.ps.gz http://www.vinc17.net/research/papers/rnc6.pdf http://www.informatik.uni-trier.de/Reports/TR-08-2004/rnc6_11_lefevre.pdf},
	HAL		= {inria-00000026},
	TAGS		= {multiprec}
}

@InProceedings{Lef2005a,
	AUTHOR		= {V. Lefèvre},
	TITLE		= {New Results on the Distance Between a Segment and $\mathbb{Z}^2$. {A}pplication to the Exact Rounding},
	BOOKTITLE	= {Proceedings of the 17th {IEEE} Symposium on Computer Arithmetic},
	EDITOR		= {Paolo Montuschi and Eric Schwarz},
	ADDRESS		= {Cape Cod, MA, USA},
	PUBLISHER	= {{IEEE} Computer Society Press, Los Alamitos, CA},
	MONTH		= jun,
	YEAR		= {2005},
	PAGES		= {68--75},
	KEYWORDS	= {computer arithmetic,correct rounding,exact rounding,table maker's dilemma,base conversion},
	URL		= {http://www.acsel-lab.com/arithmetic/arith17/papers/ARITH17_Lefevre.pdf},
	DOI		= {10.1109/ARITH.2005.4},
	HAL		= {inria-00000025},
	TAGS		= {lalgo,tmd}
}

@TechReport{Lef2005b,
	AUTHOR		= {V. Lefèvre},
	TITLE		= {The {E}uclidean Division Implemented with a Floating-Point Division and a Floor},
	INSTITUTION	= {{INRIA}},
	TYPE		= rr,
	NUMBER		= {RR-5604},
	YEAR		= {2005},
	MONTH		= jun,
	KEYWORDS	= {floating-point arithmetic,Euclidean division,integer division,correct rounding,programming languages,ECMAScript,XPath},
	ABSTRACT-URL	= {http://www.inria.fr/rrrt/rr-5604.html},
	URL		= {http://www.vinc17.net/research/papers/rr_intdiv},
	OTHER-URL	= {http://www.vinc17.net/research/papers/rr_intdiv.ps.gz http://www.vinc17.net/research/papers/rr_intdiv.pdf ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-5604.ps.gz ftp://ftp.inria.fr/INRIA/publication/publi-pdf/RR/RR-5604.pdf},
	HAL		= {inria-00070403},
	TAGS		= {division}
}

@Misc{Lef2005c,
	AUTHOR		= {V. Lefèvre},
	TITLE		= {The {E}uclidean Division Implemented with a Floating-Point Multiplication and a Floor},
	YEAR		= {2005},
	MONTH		= jul,
	KEYWORDS	= {floating-point arithmetic,Euclidean division,integer division,correct rounding},
	NOTE		= preprint,
	URL		= {http://www.vinc17.net/research/papers/intdiv-mul},
	OTHER-URL	= {http://www.vinc17.net/research/papers/intdiv-mul.ps.gz http://www.vinc17.net/research/papers/intdiv-mul.pdf},
	HAL		= {inria-00000159},
	TAGS		= {division}
}

@InProceedings{LefMul1999a,
	AUTHOR		= {V. Lefèvre and J.-M. Muller},
	TITLE		= {Table Methods for the Elementary Functions},
	BOOKTITLE	= {Proceedings of the SPIE --- The International Society for Optical Engineering},
	EDITOR		= {F.T. Luk},
	ADDRESS		= {Denver, Colorado},
	PAGES		= {43--49},
	VOLUME		= {3807},
	YEAR		= {1999},
	TAGS		= {approx}
}

@TechReport{LefMul2000a,
	AUTHOR		= {V. Lefèvre and J.-M. Muller},
	TITLE		= {On-the-fly Range Reduction},
	ADDRESS		= {Lyon, France},
	INSTITUTION	= {Laboratoire de l'Informatique du Parallélisme},
	TYPE		= rr,
	NUMBER		= {RR2000-34},
	MONTH		= nov,
	YEAR		= {2000},
	KEYWORDS	= {range reduction,elementary functions},
	ABSTRACT-URL	= {http://www.ens-lyon.fr/LIP/Pub/rr2000.php},
	URL		= {http://www.vinc17.net/research/papers/rr_otfrr.ps.gz},
	OTHER-URL	= {ftp://ftp.ens-lyon.fr/pub/LIP/Rapports/RR/RR2000/RR2000-34.ps.Z},
	RI-URL		= {http://citeseer.ist.psu.edu/381911.html},
	HAL		= {inria-00072595},
	TAGS		= {online}
}

@TechReport{LefMul2000b,
	AUTHOR		= {V. Lefèvre and J.-M. Muller},
	TITLE		= {Worst Cases for Correct Rounding of the Elementary Functions in Double Precision},
	ADDRESS		= {Lyon, France},
	INSTITUTION	= {Laboratoire de l'Informatique du Parallélisme},
	TYPE		= rr,
	NUMBER		= {RR2000-35},
	MONTH		= nov,
	YEAR		= {2000},
	KEYWORDS	= {table maker's dilemma,elementary functions,rounding,floating-point arithmetic},
	ABSTRACT-URL	= {http://www.ens-lyon.fr/LIP/Pub/rr2000.php},
	URL		= {http://www.vinc17.net/research/papers/rr_worstcases.ps.gz},
	OTHER-URL	= {ftp://ftp.ens-lyon.fr/pub/LIP/Rapports/RR/RR2000/RR2000-35.ps.Z},
	RI-URL		= {http://citeseer.ist.psu.edu/411563.html},
	HAL		= {inria-00072594},
	TAGS		= {tmd}
}

@InProceedings{LefMul2000c,
	AUTHOR		= {V. Lefèvre and J.-M. Muller},
	ADDRESS		= {San Diego, CA},
	BOOKTITLE	= {{SPIE's} International Symposium on Optical Science and Technology},
	TITLE		= {On-the-fly Range Reduction},
	MONTH		= aug,
	YEAR		= {2000},
	TAGS		= {online}
}

@Article{LefMul2000d,
	AUTHOR		= {V. Lefèvre and J.-M. Muller},
	JOURNAL		= {Le Temps des Savoirs},
	MONTH		= oct,
	NUMBER		= {2},
	PAGES		= {147--157},
	TITLE		= {{L}'erreur En Arithmétique Des Ordinateurs},
	YEAR		= {2000}
}

@InProceedings{LefMul2001a,
	AUTHOR		= {V. Lefèvre and J.-M. Muller},
	ADDRESS		= {Vail, Colorado},
	BOOKTITLE	= {Proceedings of the 15th {IEEE} Symposium on Computer Arithmetic},
	EDITOR		= {Neil Burgess and Luigi Ciminiera},
	PAGES		= {111--118},
	PUBLISHER	= {{IEEE} Computer Society Press, Los Alamitos, CA},
	TITLE		= {Worst Cases for Correct Rounding of the Elementary Functions in Double Precision},
	YEAR		= {2001},
	KEYWORDS	= {table maker's dilemma,elementary functions,correct rounding,floating-point arithmetic},
	ABSTRACT-URL	= {http://csdl.computer.org/comp/proceedings/arith/2001/1150/00/11500111abs.htm},
	URL		= {http://www.acsel-lab.com/arithmetic/arith15/papers/ARITH15_Lefevre.pdf},
	HAL		= {inria-00100547},
	TAGS		= {tmd}
}

@Article{LefMul2001b,
	AUTHOR		= {V. Lefèvre and J.-M. Muller},
	JOURNAL		= {Journal of VLSI Signal Processing},
	NUMBER		= {1},
	PAGES		= {31--35},
	TITLE		= {On-the-Fly Range Reduction},
	VOLUME		= {33},
	MONTH		= jan,
	YEAR		= {2003},
	KEYWORDS	= {range reduction,elementary functions,computer arithmetic},
	HAL		= {inria-00099524},
	TAGS		= {online}
}

@Misc{LefMul2007a,
	AUTHOR		= {V. Lefèvre and J.-M. Muller},
	TITLE		= {Some notes on the possible under/overflow of the most common elementary functions},
	MONTH		= may,
	YEAR		= {2007},
	KEYWORDS	= {floating-point arithmetic,elementary functions,underflow,overflow},
	URL		= {http://www.vinc17.net/research/papers/underflow.pdf},
	HAL		= {ensl-00149414}
}

@Article{LefMul2009a,
	AUTHOR		= {V. Lefèvre and J.-M. Muller},
	TITLE		= {Erreurs en arithmétique des ordinateurs},
	JOURNAL		= {Images des mathématiques},
	MONTH		= jun,
	YEAR		= {2009},
	URL		= {http://images.math.cnrs.fr/Erreurs-en-arithmetique-des.html},
	HAL		= {inria-00439816}
}

@InProceedings{LefMulTis1997a,
	AUTHOR		= {V. Lefèvre and J.-M. Muller and A. Tisserand},
	ADDRESS		= {Asilomar, USA},
	BOOKTITLE	= {Proceedings of the 13th {IEEE} Symposium on Computer Arithmetic},
	PUBLISHER	= {{IEEE} Computer Society Press, Los Alamitos, CA},
	TITLE		= {Towards Correctly Rounded Transcendentals},
	YEAR		= {1997},
	KEYWORDS	= {table maker's dilemma,elementary functions,rounding,floating-point arithmetic},
	URL		= {http://www.acsel-lab.com/arithmetic/arith13/papers/ARITH13_Lefevre.pdf},
	TAGS		= {tmd}
}

@TechReport{LefMulTis1998a,
	AUTHOR		= {V. Lefèvre and J.-M. Muller and A. Tisserand},
	TITLE		= {The Table Maker's Dilemma},
	ADDRESS		= {Lyon, France},
	INSTITUTION	= {Laboratoire de l'Informatique du Parallélisme},
	TYPE		= rr,
	NUMBER		= {RR1998-12},
	MONTH		= feb,
	YEAR		= {1998},
	KEYWORDS	= {table maker's dilemma,elementary functions,rounding,floating-point arithmetic},
	ABSTRACT-URL	= {http://www.ens-lyon.fr/LIP/Pub/rr1998.php},
	URL		= {http://www.vinc17.net/research/papers/rr_tmd98.ps.gz},
	OTHER-URL	= {ftp://ftp.ens-lyon.fr/pub/LIP/Rapports/RR/RR1998/RR1998-12.ps.Z},
	RI-URL		= {http://citeseer.ist.psu.edu/254539.html},
	TAGS		= {tmd}
}

@Article{LefMulTis1998b,
	AUTHOR		= {V. Lefèvre and J.-M. Muller and A. Tisserand},
	JOURNAL		= {{IEEE} Transactions on Computers},
	MONTH		= nov,
	NUMBER		= {11},
	PAGES		= {1235--1243},
	TITLE		= {Towards Correctly Rounded Transcendentals},
	VOLUME		= {47},
	YEAR		= {1998},
	KEYWORDS	= {table maker's dilemma,elementary functions,rounding,floating-point arithmetic},
	URL		= {http://perso.ens-lyon.fr/jean-michel.muller/Nov98.pdf},
	RI-URL		= {http://citeseer.ist.psu.edu/256197.html},
	TAGS		= {tmd,lalgo}
}

@InProceedings{LefSteZim2006a,
	AUTHOR		= {V. Lefèvre and D. Stehlé and P. Zimmermann},
	TITLE		= {Worst Cases for the Exponential Function in the {IEEE} 754r decimal64 Format},
	BOOKTITLE	= {Reliable Implementation of Real Number Algorithms: Theory and Practice},
	VOLUME		= {5045},
	SERIES		= {Lecture Notes in Computer Science},
	PUBLISHER	= {Springer-Verlag},
	PAGES		= {114--126},
	YEAR		= {2008},
	KEYWORDS	= {floating-point arithmetic,decimal arithmetic,table maker's dilemma,correct rounding,elementary functions},
	DOI		= {10.1007/978-3-540-85521-7_7},
	ABSTRACT-URL	= {http://www.springerlink.com/content/d4v8617747552472/},
	URL		= {http://www.vinc17.net/research/papers/decimalexp.pdf},
	OTHER-URL	= {http://www.springerlink.com/content/d4v8617747552472/fulltext.pdf},
	HAL		= {inria-00068731},
	TAGS		= {tmd,decimal}
}

@TechReport{LefZim2004a,
	AUTHOR		= {V. Lefèvre and P. Zimmermann},
	TITLE		= {Arithmétique flottante},
	INSTITUTION	= {{INRIA}},
	TYPE		= rr,
	NUMBER		= {RR-5105},
	YEAR		= {2004},
	MONTH		= feb,
	KEYWORDS	= {floating-point number,fixed precision,arbitrary precision,correct rounding,ieee-754 standard},
	ABSTRACT-URL	= {http://www.inria.fr/rrrt/rr-5105.html},
	URL		= {http://www.vinc17.net/research/papers/arithflottante},
	OTHER-URL	= {http://www.vinc17.net/research/papers/arithflottante.ps.gz http://www.vinc17.net/research/papers/arithflottante.pdf ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-5105.ps.gz},
	HAL		= {inria-00071477}
}

@Misc{MPFR,
	AUTHOR		= {G. Hanrot and V. Lefèvre and P. Pélissier and P. Zimmermann},
	TITLE		= {The {MPFR} Library},
	YEAR		= {2005},
	URL		= {http://www.mpfr.org/},
	TAGS		= {multiprec}
}

@TechReport{SteLefZim2002a,
	AUTHOR		= {D. Stehlé and V. Lefèvre and P. Zimmermann},
	TITLE		= {Worst Cases and Lattice Reduction},
	INSTITUTION	= {{INRIA}},
	TYPE		= rr,
	NUMBER		= {RR-4586},
	YEAR		= {2002},
	MONTH		= oct,
	KEYWORDS	= {exact rounding,table maker's dilemma,worst case,ieee-754,lattice reduction,coppersmith's theorem},
	ABSTRACT-URL	= {http://www.inria.fr/rrrt/rr-4586.html},
	URL		= {http://www.vinc17.net/research/papers/rr_wclr.ps.gz},
	OTHER-URL	= {ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-4586.ps.gz},
	HAL		= {inria-00071999},
	TAGS		= {slz}
}

@InProceedings{SteLefZim2003a,
	AUTHOR		= {D. Stehlé and V. Lefèvre and P. Zimmermann},
	ADDRESS		= {Santiago de Compostela, Spain},
	BOOKTITLE	= {Proceedings of the 16th {IEEE} Symposium on Computer Arithmetic},
	EDITOR		= {Jean-Claude Bajard and Michael Schulte},
	PAGES		= {142--147},
	PUBLISHER	= {{IEEE} Computer Society Press, Los Alamitos, CA},
	TITLE		= {Worst Cases and Lattice Reduction},
	YEAR		= {2003},
	KEYWORDS	= {exact rounding,table maker's dilemma,worst case,ieee-754,lattice reduction,coppersmith's theorem},
	ABSTRACT-URL	= {http://csdl.computer.org/comp/proceedings/arith/2003/1894/00/18940142abs.htm},
	URL		= {http://www.acsel-lab.com/arithmetic/arith16/papers/ARITH16_Stehle.pdf},
	HAL		= {inria-00099572},
	TAGS		= {slz}
}

@Article{SteLefZim2004a,
	AUTHOR		= {D. Stehlé and V. Lefèvre and P. Zimmermann},
	JOURNAL		= {{IEEE} Transactions on Computers},
	TITLE		= {Searching Worst Cases of a One-Variable Function Using Lattice Reduction},
	VOLUME		= {54},
	NUMBER		= {3},
	PAGES		= {340--346},
	MONTH		= mar,
	YEAR		= {2005},
	ABSTRACT-URL	= {http://csdl.computer.org/comp/trans/tc/2005/03/t0340abs.htm},
	URL		= {http://csdl.computer.org/dl/trans/tc/2005/03/t0340.pdf},
	HAL		= {inria-00000379},
	TAGS		= {slz}
}

$Id: perso.bib 38238 2010-07-28 14:59:52Z vinc17/ypig $