@COMMENT {
This file is part of crlibm, the correctly rounded mathematical library,
which has been developed by the Arénaire project at École normale supérieure
de Lyon.

Copyright (C) 2004-2011 David Defour, Catherine Daramy-Loirat,
Florent de Dinechin, Matthieu Gallet, Nicolas Gast, Christoph Quirin Lauter,
and Jean-Michel Muller

This library is free software; you can redistribute it and/or
modify it under the terms of the GNU Lesser General Public
License as published by the Free Software Foundation; either
version 2.1 of the License, or (at your option) any later version.

This library is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
Lesser General Public License for more details.

You should have received a copy of the GNU Lesser General Public
License along with this library; if not, write to the Free Software
Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
}


@BOOK{Baker75,
  author = {A. Baker},
  year = 1975,
  title = {Transcendental Number Theory},
  publisher = {Cambridge University Press}
} 

@Article{Ng1992,
  author =       "K. C. Ng",
  title =        "Argument Reduction for Huge Arguments: Good to the
                 Last Bit",
  journal =      "SunPro",
  day =          "13",
  month =        jul,
  year =         "1992",
  bibdate =      "Thu Sep 1 10:16:08 1994",
  bibsource =    "ftp://garbo.uwasa.fi/pc/doc-soft/fpbibl18.zip",
  note =         "Work in progress."
}

@TechReport{AMDoptim2001,
  author = 	 {AMD},
  title = 	 {{AMD} Athlon Processor {x86} Code Optimization Guide},
  institution =  {Advanced Micro Devices,inc},
  year = 	 2001
}

@article{Car59,
  author =	 {Carr, J. W. },
  journal =	 {Communications of the ACM},
  number =	 5,
  pages =	 {10-16},
  title =	 {Error analysis in floating point arithmetic},
  volume =	 2,
  year =	 1959,
  url = {http://delivery.acm.org/10.1145/370000/368329/p10-carr.pdf}
}



@InCollection{Gal86,
  author = 	 {S. Gal},
  title = 	 {Computing elementary functions: A new approach for achieving high accuracy and good performance},
  booktitle = 	 {Accurate Scientific Computations, LNCS 235},
  pages =	 {1-16},
  publisher =	 {Springer Verlag},
  year =	 1986
}

@ARTICLE{KarOfm62,
  author =	 {Karatsuba, A. and Ofman, Y.},
  JOURNAL =	 {Doklady Akademii Nauk SSSR},
  TITLE =	 {Multiplication of multidigit numbers on automata},
  NUMBER =	 {2},
  PAGES =	 {293-294},
  VOLUME =	 {145},
  YEAR =	 {1962},
  CRINDEX =	 {Traduit}
}


@ARTICLE{Brent78,
  AUTHOR =       {Richard P. Brent},
  JOURNAL =      {ACM Transactions on Mathematical Software},
  NUMBER =       1,
  PAGES =        {57-70},
  TITLE =        {A {Fortran} multiple-precision arithmetic package},
  VOLUME =       4,
  YEAR =         1978
}



@Article{Bernstein86,
  AUTHOR =	 {R. Bernstein},
  TITLE =	 {Multiplication by Integer Constants},
  JOURNAL =	 {Software -- Practice and Experience},
  VOLUME =	 {16},
  NUMBER =	 {7},
  PAGES =	 {641--652},
  MONTH =	 jul,
  YEAR =	 {1986}
}

@ARTICLE{DM94,
  AUTHOR =	 {Das Sarma, D.  and  Matula, D. W.},
  JOURNAL =	 {IEEE Transactions on Computers},
  MONTH =	 Aug,
  NUMBER =	 {8},
  PAGES =	 {932-940},
  TITLE =	 {Measuring the Accuracy of {ROM} Reciprocal Tables},
  VOLUME =	 {43},
  YEAR =	 {1994},
  KEYWORDS =	 {division}
}
@ARTICLE{Bailey95,
  author =	 {David H. Bailey},
  JOURNAL =	 {ACM Transactions on Mathematical Software},
  NUMBER =	 {4},
  PAGES =	 {379-387},
  TITLE =	 {A {Fortran}-90 based multiprecision system},
  VOLUME =	 {21},
  YEAR =	 {1995},
  CRINDEX =	 {Fichier},
  url =
                  {http://science.nas.nasa.gov/Pubs/TechReports/RNRreports/dbailey/RNR-94-013/RNR-94-013.ps}
}


@Misc{GMPweb,
  title = 	 {{GMP}, the {GNU} Multi-Precision Library},
  key = {GMP},
  howpublished = {{\tt http://swox.com/gmp/}}
}

@Misc{MPFRweb,
  title = 	 {{MPFR}},
  key = {MPFR},
  howpublished = {{\tt http://www.mpfr.org/}}
}

@Misc{IBMlibultimweb,
  title = 	 {{IBM} {Accurate} {Portable} {Math.} {Library}},
  key = {LibUltim},
  howpublished = {{\tt http://oss.software.ibm.com/mathlib/}}
}

@Misc{FDLIBMweb,
  title = 	 {Sun {Freely Distributable LIBM}},
  howpublished = {{\tt http://www.netlib.org/fdlibm/}}
}


@Misc{IntelOpenSource,
  title = 	 {Open Source from {Intel}},
  howpublished = {{\tt http://www.intel.com/software/products/opensource/}}
}




@inproceedings{Daumas98,
  author =       {Marc Daumas},
  title =        {Expansions: lightweight multiple precison
                  arithmetic},
  booktitle =    {Architecture and Arithmetic Support for Multimedia},
  address =      {Dagstuhl, Germany},
  year =         {1998},
  url =
                  {ftp://ftp.ens-lyon.fr/pub/LIP/Rapports/RR/RR98/RR98-39.ps.Z}
}

@ARTICLE{DauFin99a,
        AUTHOR             = {Marc Daumas and Claire Finot},
        NUMBER             = {6},
        VOLUME             = {5},
        PAGES              = {323-338},
        JOURNAL            = {Journal of Universal Computer Science},
        TITLE              = {Division of floating point expansions with an application to the computation of a determinant},
        YEAR               = {1999},
        CRINDEX            = {Fichier},
        LOCATION           = {http://www.iicm.edu/jucs_5_6/division_of_floating_point/paper.pdf}
}

@INPROCEEDINGS{DauMor2K,
        AUTHOR             = {Marc Daumas and Claire Moreau-Finot},
        ADDRESS            = {Dagstuhl, Germany},
        BOOKTITLE          = {Real Numbers and Computers},
        PAGES              = {61-74},
        TITLE              = {Exponential: implementation trade-offs for hundred bit precision},
        CRINDEX            = {Livre, Fichier},
        YEAR               = {2000}
}

@TECHREPORT{DefDinMul01,
  author = {D. Defour and F. de~Dinechin and J.M. Muller},
  month = {July},
  year = 2001,
  title = {Correctly Rounded Exponential Function in Double Precision Arithmetic},
  number = {RR2001-26},
  note = {Available at ftp://ftp.ens-lyon.fr/pub/LIP/Rapports/RR/RR2001/RR2001-26.ps.Z},
  institution = {LIP, \'Ecole Normale Sup\'erieure de Lyon},
}

@TECHREPORT{Defour02,
  author = {D. Defour},
  month = oct,
  year = 2002,
  title = {Cache-Optimised Methods for the Evaluation of Elementary Functions},
  number = {RR2002-38},
  note = {Available at ftp://ftp.ens-lyon.fr/pub/LIP/Rapports/RR/RR2002/RR2002-38.ps.Z},
  institution = {LIP, \'Ecole Normale Sup\'erieure de Lyon},
}



@ARTICLE{Dek71,
        AUTHOR             = {Theodorus J. Dekker},
        JOURNAL            = {Numerische Mathematik},
        NUMBER             = {3},
        PAGES              = {224-242},
        TITLE              = {A floating point technique for extending the available precision},
        VOLUME             = {18},
        YEAR               = {1971},
        CRINDEX            = {Classeur}
}

@INPROCEEDINGS{Far81,
  author = {P.~M. Farmwald},
  editor = {K.~S. Trivedi and D.~E. Atkins},
  year = 1981,
  title = {High Bandwidth Evaluation of Elementary Functions},
  booktitle = {Proceedings of the 5th IEEE Symposium on Computer Arithmetic},
  publisher = {IEEE Computer Society Press, Los Alamitos, CA},
  key = {Far81}
}

@ARTICLE{Gol91,
  author = {D. Goldberg},
  month = Mar,
  year = 1991,
  title = {What every computer scientist should know about floating-point
          arithmetic},
  journal = {ACM Computing Surveys},
  volume = 23,
  number = 1,
  pages = {5-47},
  keywords = {floating-point arithmetic}
}

@techreport{Markstein2001,
        author = {R.-C. Li and P. Markstein and J. P. Okada and J. W. Thomas},
        title = {The Libm library and floating-point arithmetic for {HP-UX} on {I}tanium},
        institution = {{H}ewlett-{P}ackard company},
        year = {2001},
        month = {april}
}

@ARTICLE{HarKubStoTan99,
  author = {J. Harrison and T. Kubaska and S. Story and P.T.P. Tang},
  year = 1999,
  title = {The Computation of Transcendental Functions on the {IA}-64
          Architecture},
  journal = {Intel Technology Journal},
  volume = {Q4}
}

@INPROCEEDINGS{Hassler95,
  AUTHOR =	 {Hassler, H. and Takagi, N.},
  ADDRESS =	 {Bath, UK},
  BOOKTITLE =	 {12th IEEE Symposium on Computer
                  Arithmetic},
  EDITOR =	 {S. Knowles and W.H. McAllister},
  PAGES =	 {10--16},
  PUBLISHER =	 {IEEE Computer Society Press},
  TITLE =	 {Function Evaluation by Table Look-up and Addition},
  YEAR =	 {1995}
}

@BOOK{Hwang79,
  AUTHOR =	 {K. Hwang},
  PUBLISHER =	 {Wiley, New York},
  TITLE =	 {Computer Arithmetic Principles, Architecture and
                  Design},
  YEAR =	 {1979}
}

@BOOK{Knu73,
  author = {D. Knuth},
  year = 1973,
  title = {The Art of Computer Programming},
  volume = 2,
  publisher = {Addison Wesley, Reading, MA}
}

@BOOK{Kor93,
  AUTHOR =	 {I. Koren},
  PUBLISHER =	 {Prentice-Hall},
  TITLE =	 {Computer arithmetic algorithms},
  YEAR =	 {1993},
  KEYWORDS =	 {accuracy control,addition,cordic,division,elementary
                  functions,exponential,floating-point
                  arithmetic,logarithm,multiplication,number
                  systems,redundant number systems,residue number
                  systems,shift-and-add algorithms,square root,survey
                  on computer arithmetic,trigonometric functions}
}

@INPROCEEDINGS{Arnold89,
  author = {Arnold, M.G. and Bailey, T.A. and Cowles, J.R. and Cupal, J.J.},
  title = {Redundant Logarithmic Number Systems},
  month = sep,
  year = 1989,
  booktitle = {Proceedings of the 9th IEEE Symposium on Computer Arithmetic},
  editor = {Avizienis, Ercegovac and Swartzlander},
  pages = {144-151},
  publisher = {IEEE Computer Society Press},
  address = {Santa Monica}
}

@INPROCEEDINGS{Lewis89,
  author = {Lewis, D.M. and Yu, L.K.},
  title = {Algorithm Design for a 30 bit Integrated Logarithmic Processor},
  month = sep,
  year = 1989,
  booktitle = {Proceedings of the 9th IEEE Symposium on Computer Arithmetic},
  editor = {Avizienis, Ercegovac and Swartzlander},
  pages = {192-199},
  publisher = {IEEE Computer Society Press},
  address = {Santa Monica}
}

@PHDTHESIS{Lef2000,
  author = {V.~Lefèvre},
  year = 2000,
  title = {Moyens arithm\'etiques pour un calcul fiable},
  school = {\'Ecole Normale Sup\'erieure de Lyon, Lyon, France}
}

@INPROCEEDINGS{LefMul2000,
  author = {V. Lefèvre and J.M. Muller},
  month = aug,
  year = 2000,
  title = {On-the-Fly Range Reduction},
  booktitle = {{SPIE's} International Symposium on Optical Science and
              Technology},
  address = {San Diego}
}

@Article{LMT98,
  AUTHOR =	 {V. Lef\`evre 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}
}

@Article{Lewis94,
  AUTHOR =	 {Lewis, D.M.},
  JOURNAL =	 {IEEE Transactions on Computers},
  MONTH =	 aug,
  NUMBER =	 {8},
  PAGES =	 {974-982},
  TITLE =	 {Interleaved Memory Function Interpolators with Application to an Accurate {LNS} Arithmetic Unit},
  VOLUME =	 {43},
  YEAR =	 {1994}
}

@TechReport{Lefevre99b,
  AUTHOR =	 {V. Lef\`evre},
  TITLE =	 {Multiplication by an Integer Constant},
  ADDRESS =	 {Lyon, France},
  INSTITUTION =	 {Laboratoire d'Informatique du Parall\'elisme},
  TYPE =	 {{LIP} research report},
  NUMBER =	 {RR1999-06
                  (\texttt{ftp://ftp.ens-lyon.fr/pub/LIP­/Rapports/­RR/­RR1999/­RR1999-06.ps.Z})},
  YEAR =	 {1999},
  KEYWORDS =	 {multiplication,addition chains}
}
@BOOK{Map91,
  author = {B.~W. Char and K.~O. Geddes and G.~H. Gonnet and B.~L. Leong and
           M.~B. Monagan and S.~M. Watt},
  year = 1991,
  title = {Maple V Library Reference Manual},
  publisher = {Springer Verlag},
  address = {Berlin, Germany},
  key = {Map91},
  issn_isbn = {3-540-97592-6}
}

@INPROCEEDINGS{Mehendale95,
  AUTHOR =	 {Mahesh Mehendale and S. D.Sherlekar and G. Venkatesh
                  },
  TITLE =	 {Synthesis of multiplier-less {FIR} filters with
                  minimum number of additions},
  BOOKTITLE =	 {IEEE/ACM International Conference on Computer-Aided
                  Design},
  PAGES =	 {668-671},
  ADDRESS =	 {San Jose, CA USA},
  MONTH =	 nov,
  YEAR =	 {1995}
}

@INPROCEEDINGS{Mehendale96,
  AUTHOR =	 {Mahesh Mehendale and G. Venkatesh and S.D.Sherleka},
  TITLE =	 {Optimized code generation of multiplication-free
                  linear transforms},
  BOOKTITLE =	 {ACM IEEE Design Automation Conference },
  PAGES =	 {41},
  ADDRESS =	 {Las Vegas, NV USA},
  MONTH =	 nov,
  YEAR =	 {1996}
}
@INPROCEEDINGS{Potkonjak94,
  AUTHOR =	 {M. Potkonjak and M.B. Srivastava and
                  A. Chandrakasan},
  TITLE =	 {Efficient substitution of multiple constant
                  multiplications by shifts and additions using
                  iterative pairwise matching},
  BOOKTITLE =	 {ACM IEEE Design Automation Conference },
  PAGES =	 {189-194},
  ADDRESS =	 {San Diego, CA USA},
  MONTH =	 jun,
  YEAR =	 {1994}
}
@INPROCEEDINGS{Pri91,
  author = {D.~M. Priest},
  editor = {P. Kornerup and D.~W. Matula},
  month = {June},
  year = 1991,
  title = {Algorithms for arbitrary precision floating point arithmetic},
  booktitle = {Proceedings of the 10th IEEE Symposium on Computer Arithmetic
              (Arith-10)},
  pages = {132-144},
  publisher = {IEEE Computer Society Press, Los Alamitos, CA},
  address = {Grenoble, France},
  keywords = {accuracy control,floating-point arithmetic},
  location = {}
}
@INPROCEEDINGS{SS97,
  AUTHOR =	 {M.J. Schulte and J.E. Stine},
  BOOKTITLE =	 {Proceedings of the 13th IEEE Symposium on Computer
                  Arithmetic},
  LOCATION =	 {Asilomar, CA},
  EDITOR =	 {T. Lang and J.M. Muller and N. Takagi},
  KEY =		 {SS97},
  PUBLISHER =	 {IEEE Computer Society Press},
  TITLE =	 {Symmetric Bipartite Tables for Accurate Function
                  Approximation},
  PAGES =	 {175-183},
  YEAR =	 {1997}
}
@Article{SS99sbtm,
  AUTHOR =	 {M.J. Schulte and J.E. Stine},
  JOURNAL =	 {IEEE Transactions on Computers},
  MONTH =	 aug,
  NUMBER =	 {8},
  PAGES =	 {842-847},
  TITLE =	 {Approximating Elementary Functions with Symmetric
                  Bipartite Tables},
  VOLUME =	 {48},
  YEAR =	 {1999}
}
@ARTICLE{SS99stam,
  author =	 { J.E. Stine and M.J. Schulte},
  year =	 1999,
  title =	 {The Symmetric Table Addition Method for Accurate
                  Function Approximation},
  journal =	 {Journal of VLSI Signal Processing},
  number =	 2,
  volume =	 21,
  pages =	 {167-177}
}
@INPROCEEDINGS{She97,
        AUTHOR             = {Jonathan R. Shewchuk},
        BOOKTITLE          = {Discrete and Computational Geometry},
        PAGES              = {305-363},
        TITLE              = {Adaptive Precision Floating-Point Arithmetic and Fast Robust Geometric Predicates},
        VOLUME             = {18},
        YEAR               = {1997},
        CRINDEX            = {Fichier},
        LOCATION           = {http://link.springer.de/link/service/journals/00454/papers97/18n3p305.pdf},
        LOCATION.ALT       = {http://www.cs.cmu.edu/afs/cs/project/quake/public/papers/robust-arithmetic.ps}
}
@BOOK{Ste74,
  author = {P.~H. Sterbenz},
  year = 1974,
  title = {Floating point computation},
  publisher = {Prentice-Hall},
  address = {Englewood Cliffs, NJ},
  keywords = {floating-point arithmetic}
}
@INPROCEEDINGS{StoTan99,
  author = {Shane Story and Ping Tak Peter Tang},
  month = {April},
  year = 1999,
  title = {New Algorithms for Improved Transcendental Functions on {IA}-64},
  booktitle = {Proceedings of the 14th {IEEE} Symposium on Computer
              Arithmetic, Adelaide, Australia},
  pages = {4---11},
  publisher = {IEEE Computer Society Press}
}
@ARTICLE{Tang89,
  author = {P.~T.~P.~Tang},
  month = jun,
  year = 1989,
  title = {Table-Driven Implementation of the Exponential Function in {IEEE}
          Floating-Point Arithmetic},
  journal = {ACM Transactions on Mathematical Software},
  volume = 15,
  number = 2,
  pages = {144--157},
  key = {Tan89},
  keywords = {Elementary functions, exponential}
}
@ARTICLE{Dunham90,
  author = {Dunham, C. B.},
  month = oct,
  year = 1990,
  title = {Feasability of "perfect" function evaluation},
  journal = {{SIGNUM} Newsletter},
  volume = 25,
  number = 4,
  pages = {25-26}
}
@INPROCEEDINGS{Tan91,
  author = {P.~T.~P. Tang},
  editor = {P. Kornerup and D.~W. Matula},
  month = {June},
  year = 1991,
  title = {Table lookup algorithms for elementary functions and their error
          analysis},
  booktitle = {Proceedings of the 10th IEEE Symposium on Computer Arithmetic},
  pages = {232-236},
  publisher = {IEEE Computer Society Press, Los Alamitos, CA},
  address = {Grenoble, France},
  keywords = {accuracy control,elementary functions,table lookup algorithms},
  location = {Grenoble, France}
}
@ARTICLE{Tan92,
  author = {Tang, P.T.P.},
  month = jun,
  year = 1992,
  title = {Table-Driven Implementation of the Exponential Function in {IEEE}
          Floating-Point Arithmetic},
  journal = {{ACM} Transactions on Mathematical Software},
  volume = 18,
  number = 2,
  pages = {211--222},
  key = {Tan92}
}

@book{ErcegovacLang94,
        author={Ercegovac, M. D. and Lang, T.},
        title={Division and Square Root: Digit-Recurrence Algorithms and
Implementations},
        publisher={Kluwer Academic Publishers, Boston},
        year= 1994
}

@ARTICLE{WG94,
  author = {Wong, W. F. and Goto, E.},
  month = mar,
  year = 1994,
  title = {Fast Hardware-Based Algorithms for Elementary Function Computations
          Using Rectangular Multipliers},
  journal = {IEEE Transactions on Computers},
  volume = 43,
  number = 3,
  pages = {278--294},
  key = {WG94}
}

@ARTICLE{WG95,
        AUTHOR             = {Wong, W.F. and Goto, E.},
        JOURNAL            = {IEEE Transactions on Computers},
        MONTH              = mar,
        NUMBER             = {3},
        PAGES              = {453--457},
        TITLE              = {Fast Evaluation of the Elementary Functions in Single Precision},
        VOLUME             = {44},
        YEAR               = {1995}
}
@ARTICLE{Ziv91,
  author = {A.~Ziv},
  month = sep,
  year = 1991,
  title = {Fast evaluation of elementary mathematical functions with correctly
          rounded last bit},
  journal = {ACM Transactions on Mathematical Software},
  volume = 17,
  number = 3,
  pages = {410--423}
}

@Article{HsiLauDel2000,
  author =       "Shen-Fu Hsiao and Chun-Yi Lau and Jean-Marc Delosme",
  month =        jun,
  year =         "2000",
  title =        "Redundant Constant-Factor Implementation of
                 Multi-Dimensional {CORDIC} and Its Application to
                 Complex {SVD}",
  journal =      "Journal of VLSI Signal Processing Systems",
  volume =       "25",
  number =       "2",
  pages =        "155--166",
}

@Book{Parhami2000,
  author =       {Parhami, B.},
  title =        {Computer Arithmetic, Algorithms and Hardware
                 Designs},
  year =         2000,
  publisher =    {Oxford University Press}
}

@Article{Coleman2000,
  AUTHOR =	 {Coleman, J. N. and Chester, E. I.},
  JOURNAL =	 {IEEE Transactions on Computers},
  TITLE =	 {Arithmetic on the European Logarithmic Microprocessor}, 
  MONTH =	 jul,
  YEAR =	 {2000},
 VOLUME =	 {49},
  NUMBER =	 {7},
  PAGES =	 {702--715}
}

@InProceedings{Pineiro2001,
  author = {Pi\~neiro, J. A. and Bruguera, J. D. and Muller, J.-M.},
  title = {Faithful Powering Computation Using Table Look-Up and a Fused Accumulation Tree},
  booktitle =    {15th {IEEE} Symposium on Computer Arithmetic},
  editor =       {Neil Burgess and Luigi Ciminiera},
  year =         2001,
  address =      {Vail, Colorado},
  month =        Jun,
  pages = {40-47}
}

@InProceedings{CaoWeiCheng2001,
  author = {J. Cao and  Wei, B.W.Y. and J. Cheng},
  title = {High-Performance Architectures for Elementary Function Generation},
  booktitle =    {15th {IEEE} Symposium on Computer Arithmetic},
  editor =       {Neil Burgess and Luigi Ciminiera},
  year =         2001,
  address =      {Vail, Colorado},
  month =        Jun
}

@InProceedings{Pineiro2001b,
  author = {Pi\~neiro, J.A. and Bruguera, J.D. and Muller, J.-M.},
  title = {{FPGA} Implementation of a Faithful Polynomial Approximation 
for  Powering Function Computation},
  booktitle =    {EuroMicro DSD},
  year =         2001,
  address =      {Warszawa, Poland}
}

@InProceedings{Bailey2001,
  author = {Hida, Yozo and Li, Xiaoye S. and Bailey, David H.},
  title = {Algorithms for Quad-Double Precision Floating-Point Arithmetic},
  booktitle =    {15th {IEEE} Symposium on Computer Arithmetic},
  editor =       {Neil Burgess and Luigi Ciminiera},
  year =         2001,
  address =      {Vail, Colorado},
  month =        Jun,
  pages = {155-162}
}

@inproceedings{Lee2002,
  author =       {Lee, B. and Burgess, N.},
  title =        {Parameterisable Floating-Point Operators on {FPGA}s},
  booktitle =    {36th Asilomar Conference on Signals, Systems, and Computers},
  pages =        {1064-1068},
  address =      {Pacific Grove, California},
  year =         2002
}

@InProceedings{Pineiro2001b,
  author = {Pi\~neiro, J. A. and Bruguera, J. D. and Muller, J.-M.},
  title = {{FPGA} Implementation of a Faithful Polynomial Approximation 
for  Powering Function Computation},
  booktitle =    {EuroMicro DSD},
  year =         2001,
  address =      {Warszawa, Poland}
}

@InProceedings{Liddicoat2001,
  author = {Liddicoat, A. A.  and Flynn,  M. J. },
  title = {High-Performance Floating Point Divide},
  booktitle =    {Euromicro Symposium on Digital System Design},
  year =         2001,
  address =      {Warsaw, Poland},
  month =        Sep,
  pages = {354-361}
}



@PhdThesis{liddicoat-thesis,
  author = 	 {Liddicoat, A.A.},
  title = 	 {High-performance arithmetic for division and the elementary functions},
  school = 	 {Stanford University},
  year = 	 2002
}

@Misc{Briggs2002,
  author = {Briggs, K.},
  year = 2002,
  title = 	 {Doubledouble floating point arithmetic},
  url = {{\tt http://members.lycos.co.uk/keithmbriggs/doubledouble.html}}
}


@InProceedings{MencerBoullisLukStyles2001,
  author = {O. Mencer and N. Boullis and W. Luk and H. Styles},
  title = {Parametrized Function Evaluation on FPGAs},
  booktitle =    {Field-Programmable Logic and Applications},
  year =         2001,
  address =      {Belfast},
  month =        Sep
}


@InProceedings{Matousek2002,
  author = {R. Matou\v sek and M. Tich\' y and Z. Pohl and J. Kadlec and C. Softley and N. Coleman},
  title = {Logarithmic Number System and Floating-Point Arithmetics on {FPGA}},
  booktitle =    {Field-Programmable Logic and Applications},
  year =         2002,
  address =      {Montpellier},
  month =        Sep,
  pages = {627-636}
}


@InProceedings{Arnold2002,
  author = {M. Arnold},
  title = {21st Century Slide Rules with Logarithmic Arithmetic: High-Speed, Low-Cost, Low-Power Alternative to Fixed Point Arithmetic},
  booktitle =    {Online Symposium for Electronics Engineers (\texttt{http://www.osee.net})},
  year =         2002,
  month =        Feb
}

@InProceedings{Lee2003,
  author = {B. Lee and N. Burgess},
  title = {A Dual-Path Logarithmic Number System Addition/Subtraction Scheme for {FPGA}},
  booktitle =    {Field-Programmable Logic and Applications},
  year =         2003,
  address =      {Lisbon},
  month =        Sep
}

@Article{Taylor88,
  AUTHOR =	 {Taylor, F. J. and Gill, R. and Joseph, J. and Radke, J.},
  JOURNAL =	 {IEEE Transactions on Computers},
  TITLE =	 {A 20 Bit Logarithmic Number System Processor}, 
  YEAR =	 {1988},
  MONTH =        feb, 
 VOLUME =	 {37},
  NUMBER =	 {2},
  PAGE =	 {190-199}
}

@Article{Lewis90,
  AUTHOR =	 {Lewis, D. M.},
  JOURNAL =	 {IEEE Transactions on Computers},
  TITLE =	 {An Architecture for Addition and Subtraction of Long Word Length Numbers in the Logarithmic Number System}, 
  YEAR =	 {1990},
  MONTH =        nov, 
 VOLUME =	 {39},
  NUMBER =	 {11},
  PAGE =	 {1325-1336}
}


@Book{Flynn2001,
  author =       {Flynn, M. J. and Oberman, S. F.},
  title =        {Advanced Computer Arithmetic Design},
  year =         2001,
  publisher =    {Wiley-Interscience}
}


@Article{Lefevre2001,
  AUTHOR =	 {Defour, D. and Muller, J.M.},
  JOURNAL =	 {R\'eseaux et syst\`emes r\'epartis, calculateurs parall\`eles},
  TITLE =	 {\'Evaluation des fonctions \'el\'ementaires}, 
  YEAR =	 {2001},
 VOLUME =	 {13},
  NUMBER =	 {4-5},
  PAGE =	 {449-464}
}

@book{Markstein2000,
	author = {P. Markstein},
	title = {{IA-64} and Elementary Functions : Speed and Precision},
	publisher = {Prentice Hall},
	year = {2000},
	series = {Hewlett-Packard Professional Books},
	note = {ISBN: 0130183482}
}



@Book{CorneaHarrisonTang2002,
  author =	 {M. Cornea and J. Harrison and Tang, P.T.P},
  title = 	 {Scientific Computing on Itanium-based Systems},
  publisher = 	 {Intel Press},
  year = 	 2002
}

@Misc{IEEE754,
  author =	 {ANSI/IEEE},
  title =	 {Standard  754-1985 for Binary Floating-Point Arithmetic},
  year =	 1985
}


@BOOK{KKLRW93,
        AUTHOR             = {Klatte, R. and Kulisch, U. and Lawo, C. and Rauch, M. and Wiethoff, A.},
        PUBLISHER          = {Springer Verlag},
        TITLE              = {{C-XSC a C++ class library for extended scientific computing}},
        YEAR               = {1993}
}

@BOOK{Moore66,
        AUTHOR             = {Moore, R.E.},
        PUBLISHER          = {Prentice Hall},
        TITLE              = {Interval analysis},
        YEAR               = {1966}
}

@book{ErcegovacLang2003,
        author={Ercegovac, M. D. and Lang, T.},
        title={Digital Arithmetic},
        publisher={Morgan Kaufmann},
        year= 2003
}

@Article{Vassiliadis2000,
  author = 	 {S. Vassiliadis and M. Zhang and Delgado-Frias, J. G. },
  title = 	 {Elementary Function Generators for Neural-Network Emulators},
  journal = 	 {{IEEE} transactions on neural networks},
  year = 	 2000,
  volume =	 11,
  number =	 6,
  pages =	 {1438-1449},
  month =	 {nov}
}


@InProceedings{LeeLuk2003,
  author = 	 {Lee, D-U and W. Luk and J. Villasenor and P. Cheung},
  title = 	 {Hierarchical Segmentation Schemes for Function Evaluation},
  booktitle =	 {{IEEE} Conference on Field-Programmable Technology},
  year =	 2003,
  address =	 {Tokyo},
  month =	 {dec}
}

@book{Muller89,
  AUTHOR =	 {Muller, Jean-Michel},
  TITLE =	 {Arithm\'etique des ordinateurs, operateurs et
                  fonctions \'el\'ementaires},
  PUBLISHER =	 {Masson},
  YEAR =	 1989
}

@BOOK{Muller97,
  AUTHOR =	 {Muller, J.-M.},
  PUBLISHER =	 {Birkhauser},
  ADDRESS = {Boston},
  TITLE =	 {Elementary Functions, Algorithms and Implementation},
  YEAR =	 {1997},
  ISSN_ISBN =	 {ISBN 0-8176-3990-X}
}

@ARTICLE{Mul99,
  author =	 {Muller, J.-M. },
  year =	 1999,
  title =	 {A Few Results on Table-Based Methods},
  journal =	 {Reliable Computing},
  volume =	 5,
  number =	 3,
  pages  = {279-288}
}

@ARTICLE{DefHanLefMulRevZim2004,
  AUTHOR =  {Defour, D. and Hanrot, G. and Lef\`evre, V. and Muller, J.-M. and Revol, N. and Zimmermann, P.},
  JOURNAL = {Numerical algorithms},
  VOLUME = 37, 
  NUMBER = {1-4},
  PAGES = {367-375},
  TITLE = {Proposal for a Standardization of Mathematical function Implementations in Floating-Point Arithmetic},
  MONTH = jan,
  YEAR =  2004
}

@inproceedings{Boldo2001,
  author =       {Boldo, S. and Daumas, M.},
  title =        {A mechanically validated technique for extending the available precision},
  PUBLISHER =	 {IEEE Computer Society Press},
  booktitle =    {35th Asilomar Conference on Signals, Systems, and Computers},
  address =      {Pacific Grove, California},
  url =          {http://www.ens-lyon.fr/~daumas/SoftArith/BolDau01b.pdf},
  year =         2001
}

@InProceedings{LefMulTis1997a,
  AUTHOR =	 {V. Lef\`evre and Muller, J.-M.  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}
}

@TechReport{Lef1997a,
  AUTHOR =	 {V. Lef\`evre},
  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},
  YEAR =	 {1997},
  KEYWORDS =	 {elementary functions,floating-point
                  arithmetic,rounding},
  ABSTRACT-URL = {http://www.ens-lyon.fr/LIP/research_reports.us.html},
  URL =
                  {ftp://ftp.ens-lyon.fr/pub/LIP/Rapports/RR/RR1997/RR1997-18.ps.Z}
}

@InProceedings{ELMT98,
  author =	 {M.D. Ercegovac and T. Lang and Muller, J.-M. and
                  A. Tisserand},
  title =	 {Reciprocation, square root, inverse square root, and
                  some elementary functions using small multipliers},
  booktitle =	 {International Symposium on Optical Science,
                  Engineering and Instrumentation},
  year =	 1998,
  editor =	 {SPIE},
  month =	 jun,
  note =	 {San Diego, U.S.A}
}


@TechReport{LefMulTis1998a,
  AUTHOR =	 {V. Lef\`evre and Muller, J.-M.  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},
  YEAR =	 {1998},
  KEYWORDS =	 {table maker's dilemma,elementary
                  functions,rounding,floating-point arithmetic},
  ABSTRACT-URL = {http://www.ens-lyon.fr/LIP/research_reports.us.html},
  URL =
                  {ftp://ftp.ens-lyon.fr/pub/LIP/Rapports/RR/RR1998/RR1998-12.ps.Z}
}




@Article{ELMT2000,
  author =	 {M.D. Ercegovac and T. Lang and Muller, J.-M. and
                  A. Tisserand},
  title =	 {Reciprocation, square root, inverse square root, and
                  some elementary functions using small multipliers},
  JOURNAL =	 {{IEEE} Transactions on Computers},
  year =	 2000,
  MONTH =	 jul,
  NUMBER =	 {7},
  PAGES =	 {628--637},
  VOLUME =	 {49}
}


@Article{LefMulTis1998b,
  AUTHOR =	 {V. Lef\`evre and Muller, J.-M.  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}
}

@Article{MST98,
  author =	 { Muller, J.-M. and A. Scherbyna and A. Tisserand},
  title =	 {Semi-Logarithmic Number Systems},
  journal =	 {IEEE Transactions on Computers},
  year =	 1998,
  volume =	 47,
  number =	 2,
  pages =	 {145--151},
  month =	 {feb},
  annote =	 {ISSN 0018-9340}
}

@Book{RALIP99,
  author =	 {{Laboratoire d'Informatique du Parallélisme}},
  title =	 {Rapport d'activité 1999},
  publisher =	 {ENS Lyon},
  year =	 {1999},
  URL =		 {http://www.ens-lyon.fr/LIP/Rapport99-WEB/}
}
@ARTICLE{BajKlaMul94,
        AUTHOR             = {Jean-Claude Bajard and Sylvanus Kla and Jean-Michel Muller},
        JOURNAL            = {IEEE Transactions on Computers},
        NUMBER             = {8},
        PAGES              = {955-963},
        TITLE              = {{BKM}: a new hardware algorithm for complex elementary functions},
        VOLUME             = {43},
        YEAR               = {1994},
        CRINDEX            = {Non référencé}
}

@InProceedings{TMP99b,
  author =	 {A. Tisserand and P. Marchal and C. Piguet},
  title =	 {An On-Line Arithmetic based FPGA for Low-Power
                  Custom Computing},
  booktitle =	 {9th International Workshop on Field Programmable
                  Logic and Applications (FPL99)},
  pages =	 {264--273},
  year =	 1999,
  number =	 1673,
  series =	 {LNCS},
  address =	 {Denver, Colorado},
  month =	 {sep}
}

@Article{DTHL99,
  author =	 {M. Dimmler and A. Tisserand and U. Holmberg and
                  R. Longchamp},
  title =	 {On-Line Arithmetic for Real-Time Control of
                  Microsystems},
  journal =	 {IEEE/ASME Transactions on Mechatronics},
  year =	 1999,
  volume =	 4,
  number =	 2,
  pages =	 {213--217},
  month =	 {jun},
  annote =	 {ISSN 1083-4435}
}

@InCollection{Lef1999a,
  AUTHOR =	 {V. Lef\`evre},
  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}
}

@TechReport{Lef1999b,
  AUTHOR =	 {V. Lef\`evre},
  TITLE =	 {Multiplication by an Integer Constant},
  ADDRESS =	 {Lyon, France},
  INSTITUTION =	 {Laboratoire de l'Informatique du Parallélisme},
  TYPE =	 rr,
  NUMBER =	 {RR1999-06},
  YEAR =	 {1999},
  KEYWORDS =	 {multiplication,addition chains},
  ABSTRACT-URL = {http://www.ens-lyon.fr/LIP/research_reports.us.html},
  URL =
                  {ftp://ftp.ens-lyon.fr/pub/LIP/Rapports/RR/RR1999/RR1999-06.ps.Z}
}

@InProceedings{LefMul1999a,
  AUTHOR =	 {V. Lef\`evre and Muller, J.-M.},
  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}
}

@PhDThesis{Lef2000a,
  AUTHOR =	 {V. Lef\`evre},
  TITLE =	 {Moyens arithmétiques pour un calcul fiable},
  SCHOOL =	 {École Normale Supérieure de Lyon},
  ADDRESS =	 {Lyon, France},
  YEAR =	 {2000},
  MONTH =	 jan,
  URL =          {ftp://ftp.ens-lyon.fr/pub/LIP/Rapports/PhD/PhD2000/PhD2000-02.ps.Z}
}

@PhdThesis{Defour-thesis,
  author = 	 {Defour, David},
  title = 	 {Fonctions \'el\'ementaires: algorithmes et impl\'ementations efficaces pour
l'arrondi correct en double pr\'ecision},
  school = 	 {\'Ecole Normale Sup\'erieure de  Lyon},
  year = 	 2003,
  ADDRESS =	 {Lyon, France},
  month = sep,
  URL =          {ftp://ftp.ens-lyon.fr/pub/LIP/Rapports/PhD/PhD2003/PhD2003-01.ps.gz}
}




@techreport{Lauter2003lip,
	author = {C. Lauter},
	title = {A correctly rounded implementation of the exponential function on the {Intel} {Itanium} architecture},
	institution = {{LIP}, \'Ecole Normale Sup\'erieure de Lyon},
	year = 2003,
	number = {2003-54},
	month = nov,
	note = {Available at ftp://ftp.ens-lyon.fr/pub/LIP/Rapports/RR/RR2003/RR2003-54.ps.gz}
}




@TECHREPORT{Lauter2003inria,
author = {C.  Lauter},
title = {A correctly rounded implementation of the exponential function on the {Intel} {Itanium} architecture},
institution= {{INRIA}},
  NUMBER =	 {RR-5024},
  MONTH =	 nov,
  YEAR =	 {2003},
  note =    {Available at http://www.inria.fr/rrrt/rr-5024.html}
}

@InProceedings{BIT:spie03,
  author =	 { Beuchat, J.-L. and L. Imbert and A.
                  Tisserand},
  title =	 {Comparison of Modular Multipliers on {FPGA}s},
BOOKTITLE =	 {Proceedings of the SPIE --- The International
                  Society for Optical Engineering},
  year =	 {2003}
}

@InProceedings{BM:sympaaa2003,
  author =	 {Jean-Luc Beuchat and Jean-Michel Muller},
  title =	 {Multiplication-addition modulaire: algorithmes
                  it\'eratifs et implantations sur {FPGA}},
  booktitle =	 {Actes de RenPar'15, CFSE'3 et SympAAA'2003},
  editor =	 {M. Auguin and F. Baude and D. Lavenier and
                  M. Riveill},
  year =	 {2003},
  pages =	 {235--242},
  month =	 oct
}

@Article{BT:tsisympa8,
  author =	 {Jean-Luc Beuchat and Arnaud Tisserand},
  title =	 {Evaluation polynomiale en-ligne de fonctions
                  \'el\'ementaires sur {FPGA}},
  journal =	 {Technique et science informatiques},
  year = {\aparaitre}
}
@InProceedings{Beuchat:asap03,
  author =	 {Jean-Luc Beuchat},
  title =	 {Modular Multiplication for {FPGA} Implementation of
                  the {IDEA} Block Cipher},
  booktitle =	 {Proceedings of the 14th IEEE International
                  Conference on Application-Specific Systems,
                  Architectures, and Processors},
  pages =	 {412--422},
  year =	 {2003},
  editor =	 {E. Deprettere and S. Bhattacharyya and J. Cavallaro
                  and A. Darte and L. Thiele},
  publisher =	 {IEEE Computer Society}
}

@InProceedings{Beuchat:fpl2003,
  author =	 {Jean-Luc Beuchat},
  title =	 {{FPGA} Implementations of the {RC6} Block Cipher},
  booktitle =	 {Field-Programmable Logic and Applications},
  pages =	 {101--110},
  year =	 {2003},
  editor =	 {P. Y. K. Cheung and G. A. Constantinides and
                  J. T. de Sousa},
  number =	 {2778},
  series =	 {Lecture Notes in Computer Science},
  publisher =	 {Springer}
}

@InProceedings{Beuchat:raw03,
  author =	 {Jean-Luc Beuchat},
  title =	 {Some Modular Adders and Multipliers for Field
                  Programmable Gate Arrays},
  booktitle =	 {Proceedings of the 17th International Parallel \&
                  Distributed Processing Symposium},
  year =	 {2003},
  publisher =	 {IEEE Computer Society}
}


@InProceedings{BouTis03-arith16,
  author =	 {N. Boullis and A. Tisserand},
  title =	 {Some Optimizations of Hardware Multiplication by
                  Constant Matrices},
  booktitle =	 {ARITH 16},
  pages =	 {20--27},
  year =	 2003
}

@INPROCEEDINGS{BouTis02sympa,
  AUTHOR =	 {Boullis, N. and Tisserand, A.},
  ADDRESS =	 {Hamamet, Tunisie},
  BOOKTITLE =	 {8\`eme SYMPosium en Architectures nouvelles de
                  machines},
  MONTH =	 apr,
  PAGES =	 {283--290},
  TITLE =	 {G\'en\'eration automatique d'architectures de calcul
                  pour des op\'erations lin\'eaires~: application \`a
                  l'{IDCT} sur {FPGA}},
  YEAR =	 {2002}
}

@misc{LefMul2004,
  author = 	 {Lef\`evre, V. and Muller, J.-M},
  title = 	 {Worst Cases for Correct Rounding of the Elementary Functions in Double Precision},
  institution =  {LIP/ENS-Lyon},
  year = 	 2004,
howpublished = {http://perso.ens-lyon.fr/jean-michel.muller/Intro-to-TMD.htm}
}



@InProceedings{DefDinMul2001,
  author = {D. Defour and F. de~Dinechin and J.M. Muller},
  title = {Correctly Rounded Exponential Function in Double Precision Arithmetic},
  booktitle =    {Advanced Signal Processing Algorithms, Architectures, and
Implementations X (SPIE'2000)},
  editor =       {},
  year =         2001,
  volume =       {},
  address =      {San Diego, California},
  month =        Aug,
  note = {Also available as LIP research report 2001-26}
}



@InProceedings{DefDin2002,
  author = {Defour, D. and de~Dinechin, F.},
  title = {Software carry-save for fast multiple-precision algorithms},
  booktitle =    {35th International Congress of Mathematical Software},
  year =         2002,
  address =      {Beijing, China},
  note = {Updated version of LIP research report 2002-08}
}



@InProceedings{DinDef2003,
  author = {de Dinechin, F. and Defour, D.},
  title = {Software Carry-Save: A case study for instruction-level parallelism},
  booktitle =    {Seventh International Conference on Parallel Computing Technologies},
  year =         2003,
  month =        Sep,
  address =      {Nizhny Novgorod, Russia}
}





@techreport{DarDefDinMul03,
	author = {C. Daramy and D. Defour and F. de~Dinechin and J.M. Muller},
	title = {{CR-LIBM}: The evaluation of the exponential},
	institution = {LIP, \'Ecole Normale Sup\'erieure de Lyon},
	year = 2003,
	number = {RR2003-37},
	month = jul,
	note = {Available at ftp://ftp.ens-lyon.fr/pub/LIP/Rapports/RR/RR2003/RR2003-37.ps.gz}
}



@misc{SCSweb,
        title = {{SCS}, {S}oftware {C}arry-{S}ave multiprecision library},
        url = {http://www.ens-lyon.fr/LIP/Arenaire/News/SCSLib/}
}



@techreport{DinDefLau2004LIP,
	author = {de~Dinechin, F. and D. Defour and C. Lauter},
	title = {Fast correct rounding of elementary functions 
             in double precision using double-extended arithmetic},
	institution = {LIP, \'Ecole Normale Sup\'erieure de Lyon},
	year = 2004,
	number = {2004-10},
	month = mar,
	note = {Available at http://www.ens-lyon.fr/LIP/Pub/Rapports/RR/RR2004/RR2004-10.pdf}
}

@techreport{DinGast2004LIP,
	author = { de~Dinechin, F. and Gast, N.},
	title = {Towards the post-ultimate \texttt{libm}},
	institution = {LIP, \'Ecole Normale Sup\'erieure de Lyon},
	year = 2004,
	number = {2004-47},
	month = nov,
        note={Submitted to Arith' 17},
	anote = {available at \url{http://www.ens-lyon.fr/LIP/Pub/Rapports/RR/RR2004/RR2004-47.pdf}}
}


@InProceedings{DinErshGast2005,
  author = {de~Dinechin, F. and Ershov, A. and Gast, N.},
  title = {Towards the post-ultimate libm},
  booktitle =    {17th Symposium on Computer Arithmetic},
  year =         2005,
  nolocation =      {Cape Cod, Massachussets},
  PUBLISHER =	 {IEEE Computer Society Press},
  month =        jun,
  pages = {288-295},
  url = {http://perso.ens-lyon.fr/florent.de.dinechin/recherche/publis/2005-Arith.pdf}
}


@TechReport{Lauter2005LIP:tripledouble,
	author = {Lauter, Ch. Q.},
  title =        {Basic building blocks for a triple-double intermediate format},
  institution =  {LIP},
  year =         {2005},
  month =        sep,
  number =       {RR2005-38},
  location =
{http://www.ens-lyon.fr/LIP/Pub/Rapports/RR/RR2005/RR2005-38.pdf}
}



@inproceedings{BroMelPio03,
  author    = {H. Br{\"o}nnimann and G. Melquiond and S. Pion},
  title     = {The {B}oost interval arithmetic library},
  booktitle = {Proceedings of the 5th Conference on Real Numbers and Computers},
  pages     = {65--80},
  location   = {Lyon, France},
  year      = {2003},
  url       = {http://perso.ens-lyon.fr/guillaume.melquiond/doc/03-rnc5-article.ps.gz}
}


@inproceedings{DauMelMun05,
  author    = {M. Daumas and G. Melquiond and C. Mu{\~n}oz},
  title     = {Guaranteed proofs using interval arithmetic},
  booktitle = {Proceedings of the 17th IEEE Symposium on Computer Arithmetic},
  Noeditor    = {Paolo Montuschi and Eric Schwarz},
  pages     = {188--195},
  address   = {Cape Cod, Massachusetts, USA},
  year      = {2005},
  url       = {http://perso.ens-lyon.fr/guillaume.melquiond/doc/05-arith17-article.pdf}
}

@inproceedings{MelPio05,
  author    = {G. Melquiond and S. Pion},
  title     = {Formal certification of arithmetic filters for geometric predicates},
  booktitle = {Proceedings of the 15th IMACS World Congress on Computational and Applied Mathematics},
  location   = {Paris, France},
  year      = {2005},
  url       = {http://perso.ens-lyon.fr/guillaume.melquiond/doc/05-imacs17_2-article.ps.gz}
}

@misc{Melqu05,
        title = {Gappa - G\'en\'eration automatique de preuves de propri\'et\'es arithm\'etiques},
   author = {G. Melquiond},
        howpublished = {Available at \url{http://lipforge.ens-lyon.fr/www/gappa/}}
}


@PhdThesis{Finot-thesis,
  author = 	 {Finot-Moreau, Claire},
  title = 	 {Preuves et algorithmes utilisant l'arithm\'etique flottante normalis\'ee IEEE},
  school = 	 {\'Ecole Normale Sup\'erieure de  Lyon},
  year = 	 2001,
  ADDRESS =	 {Lyon, France},
  month = jul,
  URL =          {ftp://ftp.ens-lyon.fr/pub/LIP/Rapports/PhD/PhD2001/PhD2001-03.ps.Z}
}

@techreport{Muller05INRIA,
	author = {Muller, Jean-Michel},
	title = {On the definition of ulp$(x)$},
	institution = {INRIA},
	year = 2005,
	number = {RR 5504},
	month = feb,
	note = {Available at ftp://ftp.inria.fr/INRIA/publication/publi-pdf/RR/RR-5504.pdf}
}

@Misc{crlibmweb,
  title = 	 {{CR-Libm}, A library of correctly rounded elementary functions in
                    double-precision},
  howpublished = {\url{http://lipforge.ens-lyon.fr/www/crlibm/}}
}

@InProceedings{DinLauMel2005,
  author =       {de~Dinechin, F. and Lauter, Ch. Q. and Melquiond, G.},
  title =        {Assisted verification of elementary functions using {Gappa}},
  booktitle =	 {ACM{ } Symposium on Applied Computing},
  note = {Extended version available as LIP research report RR2005-43, \url{http://www.ens-lyon.fr/LIP/Pub/Rapports/RR/RR2005/RR2005-43.pdf}},
  year =	 2006

}


@PhdThesis{Stehle-thesis,
  author = 	 {Damien Stehl\'e},
  title = 	 {Algorithmique de la réduction de réseaux et application à la recherche de pires cas pour l'arrondi de fonctions mathématiques},
  school = 	 {LORIA},
  year = 	 2006,
  URL =          {http://perso.ens-lyon.fr/damien.stehle/these.html}
}

@techreport{LauterLefevre2007,
  author =       {Ch. Lauter and V. Lef{\`e}vre},
  institution =  {Laboratoire de l'Informatique du Parall{\'e}lisme},
  number =       {RR-2007-36},
  title =        {An efficient rounding boundary test for pow(x,y) in double precision},
  type =         {Technical Report},
  year =         {2007},
  url =          {http://prunel.ccsd.cnrs.fr/ensl-00169409/},
  note =         {To appear in IEEE Transactions on Computers}
}

@techreport{KorLauLefLouvMul2008,
        author = {P. Kornerup and Ch. Lauter and V. Lef{\`e}vre and N. Louvet and J.-M. Muller},
        title = {Computing Correctly Rounded Integer Powers in Floating-Point Arithmetic},
        number = {RR 2008-15},
        institution = {SDU, Odense, Denmark et LIP, CNRS/ENS Lyon/INRIA/Université de Lyon, Lyon, France},
        year = {2008},
        month = may,
        note = {To appear in ACM Transactions on Mathematical Software}
} 