%a{D. H. Bailey}	= https://www.davidhbailey.com/
%a{R. Beigel}		= https://cis.temple.edu/~beigel/
%a{V. Berthé}		= https://www.irif.fr/~berthe/
%a{Y. Bertot}		= http://www-sop.inria.fr/members/Yves.Bertot/
%a{S. Boldo}		= https://www.lri.fr/~sboldo/
%a{R. P. Brent}		= https://maths-people.anu.edu.au/~brent/
%a{P. Briggs}		= https://www.linkedin.com/in/preston-briggs-a302372/
%a{N. Brisebarre}	= http://perso.ens-lyon.fr/nicolas.brisebarre/
%a{J. Calmet}		= https://sites.google.com/site/jfcalmet/
%a{H. Cohen}		= https://www.math.u-bordeaux.fr/~hecohen/
%a{D. Coppersmith}	= https://en.wikipedia.org/wiki/Don_Coppersmith
%a{M. Cowlishaw}	= https://en.wikipedia.org/wiki/Mike_Cowlishaw
%a{A. Cuyt}		= https://www.uantwerpen.be/en/staff/annie-cuyt/
%a{M. Daumas}		= http://md.srvr.fr/
%a{D. Defour}		= http://perso.univ-perp.fr/david.defour/
%a{F. de Dinechin}	= http://perso.citi-lab.fr/fdedinec/
%a{N. Elkies}		= http://www.math.harvard.edu/~elkies/
%a{M. D. Ercegovac}	= http://web.cs.ucla.edu/~milos/
%a{L. Fousse}		= https://log.lateralis.org/main/
%a{W. Gasarch}		= http://www.cs.umd.edu/~gasarch/
%a{N. Gast}		= http://mescal.imag.fr/membres/nicolas.gast/
%a{G. Gonnet}		= https://inf.ethz.ch/personal/gonnet/
%a{S. Graillat}		= https://www-pequan.lip6.fr/~graillat/
%a{B. Haible}		= https://www.haible.de/bruno/
%a{G. Hanrot}		= http://perso.ens-lyon.fr/guillaume.hanrot/
%a{J. Harrison}		= https://www.cl.cam.ac.uk/~jrh13/
%a{T. Harvey}		= https://web.archive.org/web/20120729022120/http://www.cs.rice.edu/~harv/
%a{D. S. Hirschberg}	= https://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}		= https://people.eecs.berkeley.edu/~wkahan/
%a{D. Knuth}		= https://www-cs-faculty.stanford.edu/~knuth/
%a{I. Koren}		= http://www.ecs.umass.edu/ece/koren/
%a{P. Kornerup}		= http://www.arithsymposium.org/index.php/peter-kornerup/
%a{W. Krandick}		= https://web.archive.org/web/20121019163545/https://www.cs.drexel.edu/node/17772
%a{U. Kulisch}		= http://www.mathematik.uni-karlsruhe.de/ianm2/~kulisch/
%a{U. W. Kulisch}	= http://www.mathematik.uni-karlsruhe.de/ianm2/~kulisch/
%a{T. Lang}		= http://engineering.uci.edu/users/tomas-lang
%a{Ch. Lauter}		= http://www.christoph-lauter.org/
%a{V. Lefèvre}		= https://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}		= https://s2.smu.edu/~matula/
%a{M. Mayero}		= https://lipn.univ-paris13.fr/~mayero/
%a{G. Melquiond}	= https://www.lri.fr/~melquion/
%a{D. Monniaux}		= http://www-verimag.imag.fr/~monniaux/
%a{J. S. Moore}		= http://www.cs.utexas.edu/users/moore/
%a{J.-M. Moreau}	= https://web.archive.org/web/20120218152922/http://www710.univ-lyon1.fr/~jmmoreau/
%a{J.-M. Muller}	= http://perso.ens-lyon.fr/jean-michel.muller/
%a{P. Nguyen}		= https://www.di.ens.fr/~pnguyen/
%a{T. Papanikolaou}	= https://web.archive.org/web/20110719100311/http://www.cdc.informatik.tu-darmstadt.de/TI/Mitarbeiter/papanik/Welcome.html
%a{M. Parks}		= https://web.archive.org/web/20090727231702/http://geocities.com/ieee754/
%a{R. G. E. Pinch}	= http://www.chalcedon.demon.co.uk/rgep/rcam.html
%a{M. Püschel}		= https://acl.inf.ethz.ch/people/markusp/
%a{N. Revol}		= http://perso.ens-lyon.fr/nathalie.revol/
%a{D. Richardson}	= https://web.archive.org/web/20150122201800/http://people.bath.ac.uk/masdr/
%a{F. Rouillier}	= https://who.rocq.inria.fr/Fabrice.Rouillier/
%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}		= https://directory.engr.wisc.edu/display.php/faculty/schulte_michael?page=ece&search=faculty&item=schulte_michael
%a{J. R. Shewchuk}	= https://people.eecs.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}	= https://www.researchgate.net/profile/Earl_Jr
%a{A. Tisserand}	= http://www-labsticc.univ-ubs.fr/~tisseran/
%a{B. Verdonk}		= https://web.archive.org/web/20070306230917/http://www.win.ua.ac.be/~verdonk/
%a{Y. Voronenko}	= http://users.ece.cmu.edu/~yvoronen/
%a{J. Vuillemin}	= https://www.di.ens.fr/~jv/
%a{M. Waldschmidt}	= https://webusers.imj-prg.fr/~michel.waldschmidt/index2.html
%a{A. C. Yao}		= https://en.wikipedia.org/wiki/Andrew_Yao
%a{P. Zimmermann}	= https://members.loria.fr/PZimmermann/
%a{D. Zuras}		= https://web.archive.org/web/20111018213114/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		= {https://www.vinc17.net/research/papers/casc2004},
	OTHER-URL	= {https://www.vinc17.net/research/papers/casc2004.ps.gz https://www.vinc17.net/research/papers/casc2004.pdf},
	HAL_ID		= {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		= {https://interstices.info/le-dilemme-du-fabricant-de-tables-ou-comment-calculer-juste/},
	HAL_ID		= {inria-00000567},
	TAGS		= {cr,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		= {https://doi.org/10.1023/B:NUMA.0000049482.38935.0b},
	HAL_ID		= {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},
	URL		= {https://inria.hal.science/inria-00071249},
	HAL_ID		= {inria-00071249},
	TAGS		= {std}
}

@InProceedings{DinLef2000a,
	AUTHOR		= {F. de Dinechin and V. Lefèvre},
	TITLE		= {Constant Multipliers 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		= {https://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 Multipliers 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},
	URL		= {https://www.vinc17.net/research/papers/rr_mpfr},
	OTHER-URL	= {https://www.vinc17.net/research/papers/rr_mpfr.ps.gz https://www.vinc17.net/research/papers/rr_mpfr.pdf},
	HAL_ID		= {inria-00070266},
	TAGS		= {mpfr,multiprec,cr,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		= {https://doi.org/10.1145/1236463.1236468},
	HAL_ID		= {inria-00103655},
	TAGS		= {mpfr,multiprec,cr,tmd}
}

@Article{GraiLefMul2014a,
	AUTHOR		= {S. Graillat and V. Lefèvre and J.-M. Muller},
	TITLE		= {On the maximum relative error when computing integer powers by iterated multiplications in floating-point arithmetic},
	JOURNAL		= {Numerical Algorithms},
	MONTH		= feb,
	YEAR		= {2015},
	HAL_ID		= {ensl-00945033},
	DOI		= {10.1007/s11075-015-9967-8},
	URL		= {http://link.springer.com/article/10.1007/s11075-015-9967-8},
	TAGS		= {fpalgo}
}

@InProceedings{GraiLefMul2020a,
	AUTHOR		= {S. Graillat and V. Lefèvre and J.-M. Muller},
	TITLE		= {Alternative Split Functions and {Dekker's} Product},
	BOOKTITLE	= {Proceedings of the {IEEE} 27th Symposium on Computer Arithmetic},
	PUBLISHER	= {{IEEE}},
	MONTH		= jun,
	YEAR		= {2020},
	URL		= {https://www.vinc17.net/research/papers/arith27.pdf},
	HAL_ID		= {hal-02470782},
	TAGS		= {fpalgo}
}

@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. Torres},
	TITLE		= {Handbook of Floating-Point Arithmetic},
	PUBLISHER	= {Birkhäuser Boston},
	EDITION		= {First},
	YEAR		= {2010},
	ISBN		= {978-0-8176-4704-9},
	DOI		= {10.1007/978-0-8176-4705-6},
	URL		= {https://www.springer.com/book/9780817647049},
	HAL_ID		= {ensl-00379167},
	TAGS		= {fpalgo,std,approx,cr,tmd,lalgo,langcomp,decimal,proof}
}

@Book{HFPA2018a,
	AUTHOR		= {J.-M. Muller and N. Brunie and F. de Dinechin and C.-P. Jeannerod and M. Joldes and V. Lefèvre and G. Melquiond and N. Revol and S. Torres},
	TITLE		= {Handbook of Floating-Point Arithmetic},
	PUBLISHER	= {Birkhäuser, Cham},
	EDITION		= {Second},
	YEAR		= {2018},
	ISBN		= {978-3-319-76525-9},
	DOI		= {10.1007/978-3-319-76526-6},
	URL		= {https://www.springer.com/book/9783319765259},
	HAL_ID		= {hal-01766584},
	TAGS		= {fpalgo,std,approx,cr,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},
	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		= {https://www.vinc17.net/research/papers/rr_periodic.pdf},
	HAL_ID		= {inria-00126474},
	TAGS		= {cr,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},
	URL		= {https://www.vinc17.net/research/papers/arith18.pdf},
	DOI		= {10.1109/ARITH.2007.37},
	HAL_ID		= {inria-00126474},
	TAGS		= {cr,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		= {https://www.vinc17.net/research/papers/rr_crip.pdf},
	HAL_ID		= {ensl-00278430},
	TAGS		= {approx,fpalgo,cr,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},
	DOI		= {10.1145/1644001.1644005},
	URL		= {https://doi.org/10.1145/1644001.1644005},
	HAL_ID		= {inria-00388501},
	ANR		= {EVA-Flo},
	TAGS		= {approx,fpalgo,cr,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		= {https://www.vinc17.net/research/papers/rr_ccrsums.pdf},
	HAL_ID		= {ensl-00331519},
	TAGS		= {fpalgo,cr}
}

@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		= {https://www.vinc17.net/research/papers/arith19.pdf},
	HAL_ID		= {inria-00367584},
	TAGS		= {fpalgo,cr}
}

@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		= {https://www.vinc17.net/research/papers/rr_ccrsums2.pdf},
	HAL_ID		= {inria-00475279},
	TAGS		= {fpalgo,cr}
}

@Article{KLLM2011a,
	AUTHOR		= {P. Kornerup and V. Lefèvre and N. Louvet and J.-M. Muller},
	TITLE		= {On the Computation of Correctly Rounded Sums},
	JOURNAL		= {{IEEE} Transactions on Computers},
	PUBLISHER	= {{IEEE} Computer Society Press, Los Alamitos, CA},
	VOLUME		= {61},
	NUMBER		= {3},
	PAGES		= {289--298},
	MONTH		= mar,
	YEAR		= {2012},
	URL		= {https://www.vinc17.net/research/papers/ieeetc2011-crsums.pdf},
	DOI		= {10.1109/TC.2011.27},
	HAL_ID		= {ensl-00331519},
	NOTE		= {Prix \emph{La Recherche} 2013.},
	TAGS		= {fpalgo,cr}
}

@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 and American Institute of Physics},
	VOLUME		= {12},
	NUMBER		= {3},
	PAGES		= {62--65},
	MONTH		= may,
	YEAR		= {2010},
	URL		= {https://doi.org/10.1109/MCSE.2010.73},
	DOI		= {10.1109/MCSE.2010.73},
	HAL_ID		= {inria-00543927},
	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		= {https://www.vinc17.net/research/papers/rr_power.pdf},
	HAL_ID		= {ensl-00150406},
	TAGS		= {approx,fpalgo,cr,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 41st Conference on signals, systems and computers},
	PUBLISHER	= {IEEE Conference Publishing Services},
	MONTH		= nov,
	YEAR		= {2007},
	TAGS		= {approx,fpalgo,cr,tmd}
}

@Article{LLMPR2022a,
	AUTHOR		= {V. Lefèvre and N. Louvet and J.-M. Muller and J. Picot and L. Rideau},
	TITLE		= {Accurate Calculation of {E}uclidean Norms using Double-Word Arithmetic},
	JOURNAL		= {{ACM} Transactions on Mathematical Software},
	MONTH		= oct,
	YEAR		= {2022},
	PUBLISHER	= {ACM},
	ADDRESS		= {New York, NY, USA},
	DOI		= {10.1145/3568672},
	URL		= {https://doi.org/10.1145/3568672},
	HAL_ID		= {hal-03482567},
	TAGS		= {fpalgo,proof}
}

@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		= {https://www.vinc17.net/research/papers/rr_lema.pdf},
	HAL_ID		= {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.},
	DOI		= {10.1145/1838599.1838622},
	URL		= {https://doi.org/10.1145/1838599.1838622},
	HAL_ID		= {inria-00542143},
	ANR		= {EVA-Flo},
	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		= {https://www.vinc17.net/research/papers/rr_power-cr.pdf},
	HAL_ID		= {ensl-00169409},
	TAGS		= {cr,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		= {https://www.vinc17.net/research/papers/ieeetc2009-powr.pdf},
	DOI		= {10.1109/TC.2008.202},
	HAL_ID		= {inria-00583988},
	TAGS		= {cr,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		= {https://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},
	TAGS		= {lalgo,cr,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},
	DOI		= {10.1007/978-94-017-1247-7_16},
	KEYWORDS	= {elementary functions,floating-point arithmetic,rounding},
	TAGS		= {lalgo,cr,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		= {https://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},
	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,
	URL		= {https://www.vinc17.net/research/papers/these},
	OTHER-URL	= {https://www.vinc17.net/research/papers/these.ps.gz https://www.vinc17.net/research/papers/these.pdf ftp://ftp.ens-lyon.fr/pub/LIP/Rapports/PhD/PhD2000/PhD2000-02.ps.Z},
	TAGS		= {cr,tmd,lalgo,mulbyconst,difftable}
}

@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},
	URL		= {https://www.vinc17.net/research/papers/rr_mulcst2},
	OTHER-URL	= {https://www.vinc17.net/research/papers/rr_mulcst2.ps.gz https://www.vinc17.net/research/papers/rr_mulcst2.pdf},
	HAL_ID		= {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_ID		= {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},
	URL		= {https://www.vinc17.net/research/papers/rr_mulcst3},
	OTHER-URL	= {https://www.vinc17.net/research/papers/rr_mulcst3.ps.gz https://www.vinc17.net/research/papers/rr_mulcst3.pdf},
	HAL_ID		= {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		= {https://www.vinc17.net/research/papers/rnc5},
	OTHER-URL	= {https://www.vinc17.net/research/papers/rnc5.ps.gz https://www.vinc17.net/research/papers/rnc5.pdf},
	HAL_ID		= {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		= {https://www.vinc17.net/research/papers/rnc6},
	OTHER-URL	= {https://www.vinc17.net/research/papers/rnc6.ps.gz https://www.vinc17.net/research/papers/rnc6.pdf http://www.informatik.uni-trier.de/Reports/TR-08-2004/rnc6_11_lefevre.pdf},
	HAL_ID		= {inria-00000026},
	TAGS		= {multiprec,cr,mpfr}
}

@InProceedings{Lef2005a,
	AUTHOR		= {V. Lefèvre},
	TITLE		= {New Results on the Distance Between a Segment and $\mathbb{Z}^2$. {Application} 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		= {https://www.vinc17.net/research/papers/arith17.pdf},
	DOI		= {10.1109/ARITH.2005.32},
	HAL_ID		= {inria-00000025},
	TAGS		= {lalgo,cr,tmd,baseconv}
}

@TechReport{Lef2005b,
	AUTHOR		= {V. Lefèvre},
	TITLE		= {The {Euclidean} 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},
	URL		= {https://www.vinc17.net/research/papers/rr_intdiv},
	OTHER-URL	= {https://www.vinc17.net/research/papers/rr_intdiv.ps.gz https://www.vinc17.net/research/papers/rr_intdiv.pdf},
	HAL_ID		= {inria-00070403},
	TAGS		= {division,cr}
}

@Misc{Lef2005c,
	AUTHOR		= {V. Lefèvre},
	TITLE		= {The {Euclidean} 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		= {https://www.vinc17.net/research/papers/intdiv-mul},
	OTHER-URL	= {https://www.vinc17.net/research/papers/intdiv-mul.ps.gz https://www.vinc17.net/research/papers/intdiv-mul.pdf},
	HAL_ID		= {inria-00000159},
	TAGS		= {division,cr}
}

@TechReport{Lef2011a,
	AUTHOR		= {V. Lefèvre},
	TITLE		= {{SIPE}: Small Integer Plus Exponent},
	ADDRESS		= {Lyon, France},
	INSTITUTION	= {{INRIA}},
	TYPE		= rr,
	NUMBER		= {RR-7832},
	MONTH		= dec,
	YEAR		= {2011},
	URL		= {https://www.vinc17.net/research/papers/rr_sipe.pdf},
	HAL_ID		= {hal-00650659},
	TAGS		= {fpalgo,cr}
}

@InProceedings{Lef2011b,
	AUTHOR		= {V. Lefèvre},
	TITLE		= {Generating a Minimal Interval Arithmetic Based on {GNU MPFR}},
	BOOKTITLE	= {Uncertainty modeling and analysis with intervals: Foundations, tools, applications (Dagstuhl Seminar 11371)},
	SERIES		= {Dagstuhl Reports},
	ADDRESS		= {Dagstuhl, Germany},
	MONTH		= dec,
	YEAR		= {2011},
	VOLUME		= {1},
	NUMBER		= {9},
	PAGES		= {43},
	NOTE		= abstract,
	EDITOR		= {Isaac E. Elishakoff and Vladik Kreinovich and Wolfram Luther and Evgenija D. Popova},
	PUBLISHER	= {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
	ISSN		= {2192-5283},
	URL		= {https://drops.dagstuhl.de/opus/volltexte/2011/3318/},
	DOI		= {10.4230/DagRep.1.9.26},
	HAL_ID		= {hal-00651939},
	TAGS		= {langcomp,interv,mpfr}
}

@InProceedings{Lef2013a,
	AUTHOR		= {V. Lefèvre},
	TITLE		= {{SIPE}: Small Integer Plus Exponent},
	BOOKTITLE	= {Proceedings of the 21st {IEEE} Symposium on Computer Arithmetic},
	EDITOR		= {Alberto Nannarelli and Peter-Michael Seidel and Ping Tak Peter Tang},
	PAGES		= {99--106},
	MONTH		= apr,
	YEAR		= {2013},
	ADDRESS		= {Austin, TX, USA},
	URL		= {https://www.vinc17.net/research/papers/arith21.pdf},
	OTHER-URL	= {https://doi.org/10.1109/ARITH.2013.22},
	DOI		= {10.1109/ARITH.2013.22},
	HAL_ID		= {hal-00763954},
	TAGS		= {fpalgo,cr}
}

@Misc{Lef2013b,
	AUTHOR		= {V. Lefèvre},
	TITLE		= {Sipe: a Mini-Library for Very Low Precision Computations with Correct Rounding},
	YEAR		= {2013},
	NOTE		= preprint,
	HAL_ID		= {hal-00864580},
	TAGS		= {fpalgo,cr}
}

@InProceedings{Lef2016a,
	AUTHOR		= {V. Lefèvre},
	TITLE		= {Correctly Rounded Arbitrary-Precision Floating-Point Summation},
	BOOKTITLE	= {Proceedings of the 23rd {IEEE} Symposium on Computer Arithmetic},
	PUBLISHER	= {{IEEE}},
	MONTH		= jul,
	YEAR		= {2016},
	ADDRESS		= {Santa Clara, CA, USA},
	URL		= {https://www.vinc17.net/research/papers/arith23.pdf},
	DOI		= {10.1109/ARITH.2016.9},
	HAL_ID		= {hal-01242127},
	TAGS		= {fpalgo,fpsum,multiprec,cr,mpfr}
}

@Article{Lef2016b,
	AUTHOR		= {V. Lefèvre},
	TITLE		= {Correctly Rounded Arbitrary-Precision Floating-Point Summation},
	JOURNAL		= {{IEEE} Transactions on Computers},
	PUBLISHER	= {{IEEE}},
	YEAR		= {2017},
	MONTH		= dec,
	VOLUME		= {66},
	NUMBER		= {12},
	PAGES		= {2111--2124},
	DOI		= {10.1109/TC.2017.2690632},
	URL		= {https://www.vinc17.net/research/papers/ieeetc2017-mpfrsum-publ.pdf},
	OTHER-URL	= {https://www.vinc17.net/research/papers/ieeetc2017-mpfrsum-auth.pdf},
	HAL_ID		= {hal-01394289},
	TAGS		= {fpalgo,fpsum,multiprec,cr,mpfr}
}

@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},
	DOI		= {10.1117/12.367669},
	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		= {https://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},
	HAL_ID		= {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		= {https://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},
	HAL_ID		= {inria-00072594},
	TAGS		= {cr,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},
	URL		= {https://www.vinc17.net/research/papers/arith15.pdf},
	DOI		= {10.1109/ARITH.2001.930110},
	HAL_ID		= {inria-00100547},
	TAGS		= {cr,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},
	URL		= {https://doi.org/10.1023/A:1021137717282},
	DOI		= {10.1023/A:1021137717282},
	HAL_ID		= {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		= {https://www.vinc17.net/research/papers/underflow.pdf},
	HAL_ID		= {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_ID		= {hal-00598554}
}

@InProceedings{LefMul2019a,
	AUTHOR		= {V. Lefèvre and J.-M. Muller},
	TITLE		= {Accurate Complex Multiplication in Floating-Point Arithmetic},
	BOOKTITLE	= {Proceedings of the {IEEE} 26th Symposium on Computer Arithmetic},
	PUBLISHER	= {{IEEE}},
	MONTH		= jun,
	YEAR		= {2019},
	ADDRESS		= {Kyoto, Japan},
	DOI		= {10.1109/ARITH.2019.00013},
	URL		= {https://www.vinc17.net/research/papers/arith26.pdf},
	HAL_ID		= {hal-02001080},
	TAGS		= {fpalgo}
}

@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		= {https://www.vinc17.net/research/papers/arith13.pdf},
	DOI		= {10.1109/ARITH.1997.614888},
	TAGS		= {cr,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		= {https://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},
	TAGS		= {cr,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		= {Toward Correctly Rounded Transcendentals},
	VOLUME		= {47},
	YEAR		= {1998},
	KEYWORDS	= {table maker's dilemma,elementary functions,rounding,floating-point arithmetic},
	URL		= {https://www.vinc17.net/research/papers/ieeetc1998-tcrt.pdf},
	DOI		= {10.1109/12.736435},
	TAGS		= {cr,tmd,lalgo}
}

@InCollection{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},
	EDITOR		= {P. Hertling and C.M. Hoffmann and W. Luther and N. Revol},
	VOLUME		= {5045},
	SERIES		= {Lecture Notes in Computer Science},
	PUBLISHER	= {Springer},
	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},
	URL		= {https://www.vinc17.net/research/papers/decimalexp.pdf},
	HAL_ID		= {inria-00068731},
	NOTE		= {This publication follows the ''Reliable Implementation of Real Number Algorithms: Theory and Practice'' international seminar, Dagstuhl, Germany, January 8-13, 2006.},
	TAGS		= {cr,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},
	URL		= {https://www.vinc17.net/research/papers/arithflottante},
	OTHER-URL	= {https://www.vinc17.net/research/papers/arithflottante.ps.gz https://www.vinc17.net/research/papers/arithflottante.pdf},
	HAL_ID		= {inria-00071477}
}

@InProceedings{LefZim2017a,
	AUTHOR		= {V. Lefèvre and P. Zimmermann},
	TITLE		= {Optimized Binary64 and Binary128 Arithmetic with {GNU MPFR}},
	BOOKTITLE	= {Proceedings of the 24th {IEEE} Symposium on Computer Arithmetic},
	MONTH		= jul,
	YEAR		= {2017},
	ADDRESS		= {London, United Kingdom},
	URL		= {https://www.vinc17.net/research/papers/arith24.pdf},
	DOI		= {10.1109/ARITH.2017.28},
	HAL_ID		= {hal-01502326},
	TAGS		= {cr,mpfr}
}

@Misc{MPFR,
	AUTHOR		= {G. Hanrot and V. Lefèvre and P. Pélissier and P. Zimmermann},
	TITLE		= {The {MPFR} Library},
	YEAR		= {2018},
	URL		= {https://www.mpfr.org/},
	TAGS		= {mpfr,multiprec}
}
% The following data correspond to the published article. The version
% at citeseerx.ist.psu.edu is the author's version from January 1996,
% with title "An Asymptotic Upper Bound for Multiplier Design"; it is
% freely available.

@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},
	URL		= {https://www.vinc17.net/research/papers/rr_wclr.ps.gz},
	HAL_ID		= {inria-00071999},
	TAGS		= {cr,tmd,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},
	URL		= {https://www.vinc17.net/research/papers/arith16.pdf},
	DOI		= {10.1109/ARITH.2003.1207672},
	HAL_ID		= {inria-00099572},
	TAGS		= {cr,tmd,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},
	URL		= {https://www.vinc17.net/research/papers/ieeetc2005-wclr.pdf},
	DOI		= {10.1109/TC.2005.55},
	HAL_ID		= {inria-00000379},
	TAGS		= {cr,tmd,slz}
}

$Id: perso.bib 165752 2024-02-11 01:37:37Z vinc17/qaa $