metalibm.bib

@article{2007arXiv0712.0292K,
  author = {Karayannakis, D.},
  title = {{An algorithm for evaluating the {Gamma} function and ramifications}},
  journal = {ArXiv e-prints},
  archiveprefix = {arXiv},
  eprint = {0712.0292},
  primaryclass = {math.CA},
  year = 2007,
  month = dec,
  keywords = {special functions}
}
@article{Fukushima2009,
  year = {2009},
  issn = {0923-2958},
  journal = {Celestial Mechanics and Dynamical Astronomy},
  volume = {105},
  number = {4},
  doi = {10.1007/s10569-009-9228-z},
  title = {Fast computation of complete elliptic integrals and {Jacobian} elliptic functions},
  url = {http://dx.doi.org/10.1007/s10569-009-9228-z},
  publisher = {Springer Netherlands},
  keywords = {complete elliptic integrals, Jacobian elliptic functions, nome expansion, Innes’ method, Encke’s method, special functions},
  author = {Fukushima, Toshio},
  pages = {305-328},
  language = {English}
}
@article{LIP64851,
  author = {Chevillard, Sylvain and Joldes, Mioara and Harrison, John and Lauter, Christoph},
  month = apr,
  title = {Efficient and accurate computation of upper bounds of approximation errors},
  journal = {Theoretical Computer Science},
  volume = {412},
  number = {16},
  year = {2011},
  pages = {1523-1543},
  url = {http://dl.acm.org/citation.cfm?id=1945130},
  doi = {http://dx.doi.org/10.1016/j.tcs.2010.11.052},
  keywords = {tools, approximation, formal proof, multiple precision}
}
@inproceedings{JeKnMoReVi09,
  author = {Jeannerod, Claude-Pierre and Herv\'e Knochel and Christophe Monat and Guillaume Revy and Gilles Villard},
  title = {A new binary floating-point division algorithm and its software implementation on the {ST231} processor},
  booktitle = {Proceedings of the 19th {IEEE} Symposium on Computer Arithmetic (ARITH'19)},
  pages = {95-103},
  editor = {Bruguera, J.D. and Cornea, M. and DasSarma, D. and Harrison, J.},
  address = {Portland, OR, USA},
  month = jun,
  year = 2009,
  publisher = {IEEE Computer Society},
  doi = {10.1109/ARITH.2009.19},
  keywords = {division, fixed-point, low-level optimization}
}
@inproceedings{HarrisonBessel:2009,
  author = {John Harrison},
  title = {Fast and accurate {Bessel} function computation},
  booktitle = {Proceedings of the 19th {IEEE} Symposium on Computer Arithmetic (ARITH'19)},
  noeditor = {Bruguera, J.D. and Cornea, M. and DasSarma, D. and Harrison, J.},
  noaddress = {Portland, OR, USA},
  month = jun,
  year = 2009,
  publisher = {IEEE Computer Society},
  doi = {10.1109/ARITH.2009.19},
  keywords = {special functions}
}
@article{MPFR:TOMS:2007,
  author = {Laurent Fousse and Guillaume Hanrot and Vincent Lef\`evre and Patrick
        P\'elissier and Paul 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},
  pages = {13:1--13:15},
  url = {http://doi.acm.org/10.1145/1236463.1236468},
  keywords = {multiple precision, correct rounding}
}
@inproceedings{AndersonStoryAstafiev2006,
  author = {C. S. Anderson and Shane Story and Nikita Astafiev},
  title = {Accurate Math Functions on the {I}ntel {IA}-32 Architecture: A Performance-Driven Design},
  booktitle = {7th Conference on Real Numbers and Computers},
  pages = {93-105},
  year = 2006,
  keywords = {low-level optimization, libm, log, cos}
}
@mastersthesis{Goldschmidt64,
  author = {R. E. Goldschmidt},
  title = {Applications of division by convergence},
  school = {Electrical Engineering, Massachusetts Institute of Technology},
  year = 1964,
  month = jun,
  keywords = {division}
}
@inproceedings{harrison-fmcad2000,
  author = {John Harrison},
  title = {Formal verification of floating point
        trigonometric functions},
  booktitle = {Formal Methods in Computer-Aided Design:
        Third International Conference {FMCAD} 2000},
  publisher = {Springer-Verlag},
  pages = {217--233},
  series = {Lecture Notes in Computer Science},
  volume = 1954,
  year = 2000,
  keywords = {formal proof, sin, cos}
}
@inproceedings{harrison97-exp,
  author = {John Harrison},
  title = {Floating Point Verification in {HOL} Light: The Exponential Function},
  booktitle = {Algebraic Methodology and Software Technology},
  pages = {246-260},
  year = {1997},
  url = {citeseer.ist.psu.edu/harrison97floating.html},
  keywords = {formal proof, exp}
}
@article{Flynn70,
  author = {M. Flynn},
  title = {On division by functional iteration},
  journal = {IEEE Transactions on Computers},
  year = 1970,
  volume = {C-19},
  number = 8,
  pages = {154-161},
  month = feb,
  keywords = {division}
}
@inproceedings{Oberman99,
  author = {S. F. Oberman},
  title = {Floating Point Division and Square Root Algorithms and Implementation
        in the AMD-K7(TM) Microprocessor},
  month = apr,
  year = 1999,
  booktitle = {14th  Symposium on Computer Arithmetic},
  publisher = {IEEE},
  keywords = {division, sqrt, hardware}
}
@techreport{Ng1992,
  author = {Ng, Kwok C.},
  title = {Argument reduction for huge arguments: good to the last bit},
  type = {Technical Report},
  institution = {SunPro},
  address = {Mountain View, CA, USA},
  month = jul,
  year = 1992,
  keywords = {algorithms, sin, cos, tan}
}
@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,
  keywords = {algorithms}
}
@article{GalBachelis91,
  author = {Gal, Schmuel and Bachelis, Boris},
  journal = {ACM Transactions on Mathematical Software},
  number = 1,
  pages = {26-45},
  title = {An Accurate Elementary Mathematical  Library for the {IEEE} Floating Point Standard},
  volume = 17,
  month = mar,
  year = 1991,
  keywords = {algorithms, exp, log, sin, cos, tan, cotan, atan, atan2, sinh, cosh}
}
@techreport{filib98,
  author = {W. Hofschuster and W. Kr\"amer},
  title = {{FI\_LIB}, eine schnelle und portable {Funktionsbibliothek} f\"ur reelle {Argumente} und reelle {Intervalle} im {IEEE}-double-{Format}},
  institution = {{Institut f\"ur Wissenschaftliches Rechnen und Mathematische Modellbildung, Universit\"at Karlsruhe}},
  year = 1998,
  number = {Nr. 98/7},
  keywords = {}
}
@misc{IBMlibultimweb,
  title = {{IBM} {Accurate} {Portable} {MathLib}},
  key = {LibUltim},
  howpublished = {\url{http://oss.software.ibm.com/mathlib/}},
  keywords = {correct rounding}
}
@misc{FDLIBMweb,
  title = {Sun {Freely Distributable LIBM}},
  howpublished = {\url{http://www.netlib.org/fdlibm/}},
  keywords = {}
}
@misc{IntelOpenSource,
  title = {Open Source from {Intel}},
  howpublished = {\url{http://www.intel.com/software/products/opensource/}},
  keywords = {}
}
@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},
  year = {2000},
  keywords = {exp, multiple precision}
}
@inproceedings{MarksteinRNC2003,
  author = {Peter Markstein},
  address = {Lyon, France},
  booktitle = {Real Numbers and Computers},
  pages = {5-12},
  title = {A Fast Quad Precision Elementary Function Library For {Itanium}},
  year = {2003},
  keywords = {}
}
@inproceedings{Far81,
  author = {P.~M. Farmwald},
  editor = {K.~S. Trivedi and D.~E. Atkins},
  year = 1981,
  title = {High Bandwidth Evaluation of Elementary Functions},
  booktitle = {5th Symposium on Computer Arithmetic},
  publisher = {IEEE},
  keywords = {}
}
@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},
  keywords = {}
}
@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},
  keywords = {}
}
@book{Knuth97,
  author = {Donald Knuth},
  year = 1997,
  title = {The Art of Computer Programming, vol.2: Seminumerical Algorithms},
  edition = {3rd},
  publisher = {Addison Wesley},
  keywords = {multiple precision, formal proof, division, textbook}
}
@book{Kor93,
  author = {I. Koren},
  publisher = {Prentice-Hall},
  title = {Computer arithmetic algorithms},
  year = {1993},
  keywords = {textbook, 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{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},
  url = {http://www.cs.cmu.edu/afs/cs/project/quake/public/papers/robust-arithmetic.ps}
}
@inproceedings{StoTan99,
  author = {Story, S.  and Tang, P.T.P.},
  month = apr,
  year = 1999,
  title = {New Algorithms for Improved Transcendental Functions on {IA}-64},
  booktitle = {14th Symposium on Computer Arithmetic},
  pages = {4---11},
  publisher = {IEEE},
  keywords = {}
}
@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},
  keywords = {}
}
@inproceedings{Tang1991:arith,
  author = { Tang, Ping Tak Peter},
  editor = {P. Kornerup and D.~W. Matula},
  month = jun,
  year = 1991,
  title = {Table lookup algorithms for elementary functions and their error analysis},
  booktitle = {10th  Symposium on Computer Arithmetic},
  pages = {232-236},
  publisher = {IEEE},
  address = {Grenoble, France},
  keywords = {accuracy control,elementary functions,table lookup algorithms},
  keywords = {}
}
@article{PaulWilson76,
  author = {Paul, G. and Wilson, M. W.},
  title = {Should the Elementary Functions Be Incorporated Into Computer Instruction Sets?},
  journal = {ACM Transactions on Mathematical Software},
  year = 1976,
  volume = 2,
  number = 2,
  pages = {132-142},
  month = jun
}
@article{Tang89,
  author = {Tang, Ping Tak Peter},
  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 = {exp}
}
@article{Tang90,
  author = {Tang, Ping Tak Peter},
  month = dec,
  year = 1990,
  title = {Table-Driven Implementation of the Logarithm Function in {IEEE}
        Floating-Point Arithmetic},
  journal = {ACM Transactions on Mathematical Software},
  volume = 16,
  number = 4,
  pages = {378 - 400},
  keywords = {log}
}
@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,
  keywords = {textbook, division, sqrt}
}
@inproceedings{WongGotoICSC94,
  author = {Wong, W. F. and Goto, E.},
  title = {Fast Evaluation of the Elementary Functions in Double Precision},
  booktitle = {Twenty-Seventh Annual Hawaii International Conference on System Sciences },
  pages = {349--358},
  year = 1994,
  keywords = {Add-Table Lookup-Add-Multiply, ATA-M, hardware, division, square root, exp, sin, cos, log, atan, sinh, cosh}
}
@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},
  keywords = {hardware, division, log, sqrt, exp, atan, atan2, sin, cos}
}
@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,
  keywords = {Add-Table Lookup-Add, ATA, hardware, division, sqrt, log, exp, sin, cos, atan}
}
@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},
  keywords = {correct rounding, exp}
}
@book{Parhami2000,
  author = {Parhami, B.},
  title = {Computer Arithmetic, Algorithms and Hardware
        Designs},
  year = 2000,
  publisher = {Oxford University Press},
  keywords = {textbook}
}
@article{LeeVilla2007,
  author = {Lee, D.U. and Villasenor, John D.},
  journal = {IEEE Transactions on Computers},
  title = {A Bit-Width Optimization Methodology for Polynomial-Based Function Evaluation},
  year = {2007},
  volume = {56},
  number = {4},
  pages = {567--571}
}
@inproceedings{CaoWeiCheng2001,
  author = {J. Cao and  Wei, B.W.Y. and J. Cheng},
  title = {High-Performance Architectures for Elementary Function Generation},
  booktitle = {15th Symposium on Computer Arithmetic},
  editor = {Neil Burgess and Luigi Ciminiera},
  publisher = {IEEE},
  year = 2001,
  address = {Vail, Colorado},
  month = jun
}
@phdthesis{liddicoat-thesis,
  author = {Liddicoat, A.A.},
  title = {High-performance arithmetic for division and the elementary functions},
  school = {Stanford University},
  year = 2002
}
@book{Flynn2001,
  author = {Flynn, M. J. and Oberman, S. F.},
  title = {Advanced Computer Arithmetic Design},
  year = 2001,
  isbn = {0-471-41209-0},
  publisher = {Wiley-Interscience},
  keywords = {textbook}
}
@book{Markstein2000,
  author = {Peter Markstein},
  title = {{IA-64} and Elementary Functions: Speed and Precision},
  publisher = {Prentice Hall},
  year = 2000,
  series = {Hewlett-Packard Professional Books},
  isbn = {0130183482},
  keywords = {textbook}
}
@book{CorneaHarrisonTang2002,
  author = {Marius Cornea and John Harrison and Tang, Ping Tak Peter},
  title = {Scientific Computing on {Itanium}\textsuperscript{\textregistered}-based Systems},
  publisher = {Intel Press},
  year = 2002,
  keywords = {textbook}
}
@book{Moore66,
  author = {Moore, R. E.},
  publisher = {Prentice Hall},
  title = {Interval analysis},
  year = {1966},
  keywords = {textbook}
}
@book{ErcegovacLang2003,
  author = {Ercegovac, M. D. and Lang, T.},
  title = {Digital Arithmetic},
  publisher = {Morgan Kaufmann},
  year = 2003,
  keywords = {textbook}
}
@inproceedings{Priest97,
  author = {Priest, D.M.},
  title = {Fast Table-Driven Algorithms for Interval Elementary Functions},
  booktitle = {13th  Symposium on Computer
        Arithmetic},
  location = {Asilomar, CA},
  publisher = {IEEE},
  pages = {168-174},
  year = 1997
}
@inproceedings{Braune88,
  author = {K. Braune},
  title = {Standard functions for real and complex point and interval arguments with dynamic accuracy},
  booktitle = {Scientific Computation with automatic result verification},
  year = {1988},
  isbn = {3-211-82063-9},
  pages = {159--184},
  location = {Karlsruhe, Germany},
  publisher = {Springer-Verlag}
}
@inproceedings{Kramer88,
  author = {W. Kr\"amer},
  title = {Inverse standard functions for real and complex point and interval arguments with dynamic accuracy},
  booktitle = {Scientific Computation with automatic result verification},
  year = {1988},
  isbn = {3-211-82063-9},
  pages = {185--211},
  location = {Karlsruhe, Germany},
  publisher = {Springer-Verlag}
}
@article{HeDing2001,
  author = {He, Y. and Ding, C. H. Q.},
  title = {Using Accurate Arithmetics to Improve Numerical Reproducibility and Stability in Parallel Applications},
  journal = {Journal of Supercomputing},
  year = 2001,
  volume = 18,
  pages = {259--277}
}
@article{Bailey2005,
  author = {Bailey, D. H.},
  title = {High-Precision Floating-Point Arithmetic in Scientific Computation},
  journal = {Computing in Science and Engineering},
  year = 2005,
  volume = 7,
  number = 3,
  pages = {54-61},
  month = may
}
@inproceedings{Markstein03,
  author = {Peter Markstein},
  title = {Accelerating Sine and Cosine Evaluation with Compiler Assistance},
  booktitle = {16th Symposium on Computer Arithmetic},
  pages = {137--140},
  year = 2003,
  editor = {Jean, 2005. Proceedings. 8th Euromicro Conference on-Claude Bajard and Michael Schulte},
  location = {Santiago de Compostela, Spain},
  month = jun,
  publisher = {{IEEE}},
  keywords = {sin, cos, compiler}
}
@article{ErshovKash2005,
  author = {Ershov, A. G.  and Kashevarova, T. P. },
  title = {Interval Mathematical Library Based on {Chebyshev} and {Taylor} Series Expansion},
  journal = {Reliable Computing},
  year = 2005,
  volume = 11,
  number = 5,
  pages = {359-367}
}
@article{filib2005,
  author = {W. Hofschuster and W. Krämer and M. Lerch and G. Tischler and  Wolff v. Gudenberg, J.},
  title = {{filib++} a Fast Interval Library Supporting Containment Computations},
  journal = {Transactions on Mathematical Software},
  year = 2005
}
@article{Rump2001,
  author = {S. M. Rump},
  title = {Rigorous and Portable Standard Functions},
  journal = {{BIT} Numerical Mathematics},
  year = 2001,
  volume = 41,
  number = 3
}
@techreport{ThoOkaMarLi2004:tr-hp,
  author = {Thomas, James W. and Okada, John P. and Markstein, Peter and Li, Ren-Chang},
  title = {The {\slshape libm} library and floating-point arithmetic in {HP-UX} for {I}tanium-based systems},
  type = {Technical Report},
  institution = {Hewlett-Packard Company},
  address = {Palo Alto, CA, USA},
  month = dec,
  year = 2004
}
@article{moore2008,
  author = {Moore, Samuel K. },
  title = {Intel Makes A Big Jump In Computer Math},
  journal = {IEEE Spectrum},
  year = 2008,
  month = {feb}
}
@article{WielgoszEtAl2007,
  author = {Maciej WIELGOSZ and Ernest JAMRO and Kazimierz WIATR},
  title = {Implementacja w układach FPGA operacji eksponenty dla liczb w standardzie {IEEE}-754 o podwójnej precyzji},
  journal = {PAK},
  volume = 53,
  number = 5,
  pages = {126-128},
  year = 2007
}
@inproceedings{ARC08:Wielgosz,
  author = {Wielgosz, Maciej and Jamro, Ernest and Wiatr, Kazimierz},
  title = {Highly Efficient Structure of 64-Bit Exponential Function Implemented in {FPGA}s},
  booktitle = {Reconfigurable computing: architectures, tools and applications, LNCS 4943},
  year = {2008},
  pages = {274--279},
  publisher = {Springer-Verlag}
}
@inproceedings{ARC09:Wielgosz,
  author = {Wielgosz, Maciej and Jamro, Ernest and Wiatr, Kazimierz},
  title = {Accelerating Calculations on the {RASC} Platform: A Case Study of the Exponential Function},
  booktitle = {Reconfigurable computing: architectures, tools and applications, LNCS  5453},
  year = {2009},
  pages = {306--311},
  publisher = {Springer-Verlag}
}
@article{PinErceBru2004,
  author = {Pineiro, J.~A. and Ercegovac, M.~D. and Bruguera, J.~D.},
  title = {Algorithm and Architecture for Logarithm, Exponential, and Powering Computation},
  journal = {{IEEE} Transactions on Computers},
  volume = 53,
  year = 2004,
  pages = {1085-1096},
  month = sep,
  number = 9
}
@article{Vazquez2003,
  author = {\'Alvaro V\'azquez and Elisardo Antelo},
  title = {Implementation of the Exponential Function in a Floating-Point Unit},
  journal = {Journal of VLSI Signal Processing},
  year = 2003,
  volume = 33,
  number = {1-2},
  pages = {125--145},
  month = jan
}
@inproceedings{dpexpcordic,
  author = {Pottathuparambil, Robin and Sass, Ron},
  title = {A parallel/vectorized double-precision exponential core to accelerate computational science applications},
  booktitle = {Field Programmable Gate Arrays},
  year = {2009},
  isbn = {978-1-60558-410-2},
  pages = {285--285},
  location = {Monterey, California, USA},
  doi = {http://doi.acm.org/10.1145/1508128.1508198},
  publisher = {ACM}
}
@manual{AlteraAltFPEXP2008,
  title = {Floating Point Exponent ({ALTFP\_EXP}) Megafunction User Guide},
  organization = {Altera},
  year = 2008
}
@manual{AlteraAltFPLOG2008,
  title = {Floating Point Natural Logarithm ({ALTFP\_LOG}) Megafunction User Guide},
  organization = {Altera},
  year = 2008
}
@inproceedings{Lutz2011:Arith,
  author = {David R. Lutz},
  title = {Fused Multiply-Add Microarchitecture Comprising Separate Early-Normalizing Multiply and Add Pipelines},
  booktitle = {IEEE Symposium on Computer Arithmetic},
  year = {2011},
  pages = {123-128},
  url = {http://dx.doi.org/10.1109/ARITH.2011.25}
}
@article{Harris2004:TC,
  author = {Harris, David},
  journal = {Transactions on Computers},
  title = {An exponentiation unit for an {OpenGL} lighting engine},
  year = 2004,
  month = mar,
  volume = 53,
  number = 3,
  publisher = {IEEE},
  pages = { 251-258},
  keywords = { IEEE single-precision floating-point format; OpenGL hardware acceleration; OpenGL lighting engine; bipartite table; computer arithmetic; exponentiation unit; floating-point color component; geometry pipeline lighting stage; inverse log table; logarithm lookup table; table complexity; computational complexity; floating point arithmetic; pipeline arithmetic; software standards; table lookup;},
  doi = {10.1109/TC.2004.1261833},
  issn = {0018-9340}
}
@article{parendeh2011:TRETS,
  author = {Parendeh-Afshar, Hadi and Arkosnato Neogy and Philip Brisk and Paolo Ienne},
  title = {Compressor Tree Synthesis on Commercial High-Performance {FPGA}s},
  journal = {ACM Transactions on Reconfigurable Technology and Systems},
  year = 2011,
  volume = 4,
  number = 4,
  pages = {39:1-39:19}
}
@inproceedings{AskoyEtAl:DAC2007,
  author = {L. Aksoy and E. Costa and P. Flores and J. Monteiro},
  title = {Optimization of Area in Digital {FIR} Filters Using Gate-Level Metrics},
  booktitle = {Design Automation Conference},
  pages = {420-423},
  year = 2007
}
@book{AbrSte1964,
  author = {M. Abramowitz and  Stegun, I. A.},
  title = {Handbook of mathematical functions},
  publisher = {National Bureau of Standards, Washington, D.C.},
  year = {1964},
  series = {Applied Math. Series 55},
  keywords = {textbook}
}
@book{OlverEtAl2010,
  title = {{NIST} Handbook of Mathematical Functions},
  publisher = {Cambridge University Press},
  year = {2010},
  editor = {Olver, F. W. and Lozier, D. W. and Boisvert, R. F. and Clark, C. W.},
  keywords = {textbook}
}
@article{DinLauMul2007:log,
  author = {de Dinechin, Florent and Lauter, Christoph Quirin and Muller, Jean-Michel},
  title = {Fast and correctly rounded logarithms in double-precision},
  journal = {Theoretical Informatics and Applications},
  year = 2007,
  volume = 41,
  pages = {85-102},
  publisher = {{EDP} Sciences},
  pdf = {http://perso.ens-lyon.fr/florent.de.dinechin/recherche/publis/2007-TIA.pdf}
}
@book{MullerEtAl2009:HandBook,
  title = {Handbook of Floating-Point Arithmetic},
  author = {Muller, Jean-Michel and Brisebarre, Nicolas and de
        Dinechin, Florent and Jeannerod, Claude-Pierre and
            Lef{\`e}vre, Vincent and Melquiond, Guillaume and Revol,
        Nathalie and Stehl{\'e}, Damien and Torres, Serge},
  language = {{A}nglais},
  publisher = {{B}irkhauser {B}oston },
  year = {2009},
  keywords = {textbook}
}
@article{Kapre2009:FCCM,
  author = {Nachiket Kapre and Andre DeHon},
  title = {Accelerating {SPICE} Model-Evaluation using {FPGA}s},
  journal = {Field-Programmable Custom Computing Machines},
  isbn = {978-0-7695-3716-0},
  year = {2009},
  pages = {37-44},
  doi = {http://doi.ieeecomputersociety.org/10.1109/FCCM.2009.14},
  publisher = {IEEE},
  address = {Los Alamitos, CA, USA}
}
@inproceedings{DinMaid2006:RNC,
  author = {de Dinechin, Florent and Maidanov, Sergey},
  title = {Software techniques for perfect elementary functions in floating-point interval arithmetic},
  booktitle = {Real Numbers and Computers},
  year = 2006,
  month = jul,
  pdf = {http://perso.ens-lyon.fr/florent.de.dinechin/recherche/publis/2006-RNC.pdf}
}
@inproceedings{DinErshGast2005:Arith,
  author = {de~Dinechin, Florent and Ershov, Alexey and Gast, Nicolas},
  title = {Towards the post-ultimate libm},
  booktitle = {17th Symposium on Computer Arithmetic},
  year = 2005,
  location = {Cape Cod, Massachussets},
  publisher = {IEEE},
  month = jun,
  pages = {288--295},
  url = {http://perso.ens-lyon.fr/florent.de.dinechin/recherche/publis/2005-Arith.pdf}
}
@inproceedings{ChevLaut2007QSIC,
  author = {S. Chevillard and Ch. Lauter},
  location = {Portland, OR, USA},
  booktitle = {Seventh International Conference on Quality Software ({QSIC} 2007)},
  editor = {A. Mathur and W. E. Wong and M. F. Lau},
  pages = {153--160},
  publisher = {{IEEE}},
  title = {A certified infinite norm for the implementation of elementary functions},
  year = {2007},
  keywords = {tools}
}
@article{DinechinLauterMelquiond2011:TC,
  author = {de Dinechin, Florent and Lauter, Christoph and Melquiond, Guillaume},
  doi = {10.1109/TC.2010.128},
  title = {Certifying the floating-point implementation of an elementary function using {G}appa},
  journal = {IEEE Transactions on Computers},
  publisher = {IEEE},
  pages = {242--253},
  year = 2011,
  month = feb,
  volume = 60,
  number = 2,
  url = {http://hal.inria.fr/inria-00533968/en},
  pdf = {http://perso.ens-lyon.fr/florent.de.dinechin/recherche/publis/2011-TC-ElemFun-Gappa.pdf},
  keywords = {formal proofs}
}
@article{beebe2009new,
  title = {A new math library},
  author = {Beebe, Nelson HF},
  journal = {International Journal of Quantum Chemistry},
  volume = {109},
  number = {13},
  pages = {3008--3025},
  year = {2009},
  publisher = {Wiley Online Library}
}
@inproceedings{JeKnMoRe07,
  author = {Claude-Pierre Jeannerod and Herv\'e Knochel and Christophe
        Monat and Guillaume Revy},
  title = {Faster floating-point square root for integer processors},
  booktitle = {IEEE Symposium on Industrial Embedded Systems (SIES'07)},
  year = {2007},
  isbn = {1-4244-0840-7}
}
@article{jeannerod:2011:ensl-00559236:1,
  author = {Jeannerod, Claude-Pierre and Knochel, Herv{\'e} and Monat, Christophe and Revy, Guillaume},
  title = {{Computing floating-point square roots via bivariate polynomial evaluation}},
  journal = {{IEEE Transactions on Computers}},
  volume = {60},
  number = {2},
  pages = {214-227},
  year = {2011},
  month = feb,
  doi = {10.1109/TC.2010.152},
  url = {http://hal.inria.fr/ensl-00559236/en}
}
@inproceedings{jeannerod:2011:ensl-00644147:1,
  author = {Jeannerod, Claude-Pierre and Jourdan-Lu, Jingyan and Monat, Christophe and Revy, Guillaume},
  title = {{How to Square Floats Accurately and Efficiently on the ST231 Integer Processor}},
  booktitle = {{20th IEEE Symposium on Computer Arithmetic (ARITH)}},
  year = {2011},
  month = aug,
  doi = {10.1109/ARITH.2011.19},
  pages = {77-81},
  address = {T{\"u}bingen, Germany},
  url = {http://hal.inria.fr/ensl-00644147/en}
}
@inproceedings{mouilleron:2011:ensl-00531721:1,
  author = {Mouilleron, Christophe and Revy, Guillaume},
  title = {{Automatic Generation of Fast and Certified Code for Polynomial Evaluation}},
  booktitle = {{20th  Symposium on Computer Arithmetic }},
  year = 2011,
  month = aug,
  doi = {10.1109/ARITH.2011.39},
  pages = {233-242},
  address = {T{\"u}bingen, Germany},
  url = {http://hal.inria.fr/ensl-00531721/en}
}
@inproceedings{jeannerod:hal-00672327,
  author = {Jeannerod, Claude-Pierre and Jourdan-Lu, Jingyan},
  title = {{Simultaneous floating-point sine and cosine for VLIW integer processors}},
  booktitle = {{23rd IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP 2012)}},
  year = {2012},
  month = feb,
  pages = {69-76},
  address = {Delft, Netherlands},
  url = {http://hal.inria.fr/hal-00672327}
}
@article{DinechinEtAl-2013-power,
  author = {de Dinechin, Florent and Pedro Echeverr\'{i}a  and L\'opez-Vallejo, Marisa and  Bogdan Pasca},
  title = {Floating-Point Exponentiation Units for Reconfigurable Computing},
  journal = {ACM Transactions on Reconfigurable Technology and Systems},
  volume = 6,
  number = 1,
  year = 2013,
  publisher = {ACM},
  url = {http://dl.acm.org/citation.cfm?id=2457447},
  pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2013-TRETS-Exponentiation.pdf},
  keywords = {exp, log, pow, fixed-point, hardware, fpga}
}
@inproceedings{DinechinPasca2010-FPT,
  author = {de Dinechin, Florent and Bogdan Pasca},
  title = {Floating-point exponential functions for {DSP}-enabled {FPGA}s},
  pages = {110--117},
  booktitle = {Field Programmable Technologies},
  url = {http://prunel.ccsd.cnrs.fr/ensl-00506125/},
  pdf = {http://perso.ens-lyon.fr/florent.de.dinechin/recherche/publis/2010-FPT-Exp.pdf},
  year = 2010,
  month = dec,
  keywords = {exp, fixed-point, hardware, fpga}
}
@inproceedings{DetDinPuj2007:Arith,
  author = {J\'er\'emie Detrey and de Dinechin, Florent  and Pujol, Xavier},
  title = {Return of the hardware floating-point elementary function},
  booktitle = {18th Symposium on Computer Arithmetic},
  year = 2007,
  location = {Montpellier, France},
  longpublisher = {IEEE Computer Society Press},
  publisher = {IEEE},
  month = jun,
  pages = {161--168},
  pdf = {http://perso.ens-lyon.fr/florent.de.dinechin/recherche/publis/2007-Arith-ReturnHardFPFun.pdf}
}
@article{DetDin2007:JMM,
  author = {J\'er\'emie Detrey and de Dinechin,  Florent},
  title = {Parameterized floating-point logarithm and exponential functions for {FPGAs}},
  journal = {Microprocessors and Microsystems, Special Issue on {FPGA}-based Reconfigurable Computing},
  volume = 31,
  number = 8,
  pages = {537--545},
  month = dec,
  publisher = {Elsevier},
  year = 2007,
  doi = {10.1016/j.micpro.2006.02.008},
  pdf = {http://perso.ens-lyon.fr/florent.de.dinechin/recherche/publis/2006-JMM.pdf}
}
@techreport{2010-RR-FPLog,
  author = {de Dinechin, Florent},
  title = {A flexible floating-point logarithm for reconfigurable computers},
  institution = {ENS-Lyon},
  year = 2010,
  url = {http://prunel.ccsd.cnrs.fr/ensl-00506122/},
  type = {LIP Research Report RR2010-22}
}
@inproceedings{DinJolPas2010-poly,
  author = {de Dinechin, Florent and Mioara Joldes and Bogdan Pasca},
  title = {Automatic generation of polynomial-based hardware architectures for  function evaluation},
  booktitle = {Application-specific Systems, Architectures and Processors},
  publisher = {IEEE},
  pdf = {http://perso.ens-lyon.fr/florent.de.dinechin/recherche/publis/2010-ASAP-Polynomials.pdf},
  url = {http://prunel.ccsd.cnrs.fr/ensl-00470506/},
  year = 2010
}
@inproceedings{DetDin2007:FPL,
  author = {Detrey, J\'er\'emie and de Dinechin, Florent},
  title = {Floating-Point Trigonometric Functions for {FPGAs}},
  booktitle = {Field-Programmable Logic and Applications},
  publisher = {IEEE},
  pages = {29-34},
  year = 2007,
  pdf = {http://perso.ens-lyon.fr/florent.de.dinechin/recherche/publis/2007-FPL-SinCos.pdf},
  month = aug,
  location = {Amsterdam, Netherlands}
}
@article{DinechinPasca2011-DaT,
  author = {de Dinechin, Florent and Pasca, Bogdan},
  title = {Designing Custom Arithmetic Data Paths with {FloPoCo}},
  journal = {{IEEE} Design \& Test of Computers},
  volume = 28,
  number = 4,
  pages = {18-27},
  year = 2011,
  month = jul,
  url = {http://hal.inria.fr/ensl-00646282/en},
  pdf = {http://perso.ens-lyon.fr/florent.de.dinechin/recherche/publis/2011-DaT-FloPoCo.pdf}
}
@inproceedings{Langhammer:2013,
  author = {Langhammer, Martin and Pasca, Bogdan},
  title = {Faithful single-precision floating-point tangent for {FPGA}s},
  booktitle = {Field Programmable Gate Arrays},
  year = {2013},
  isbn = {978-1-4503-1887-7},
  location = {Monterey, California, USA},
  pages = {39--42},
  numpages = {4},
  url = {http://doi.acm.org/10.1145/2435264.2435274},
  doi = {10.1145/2435264.2435274},
  acmid = {2435274},
  publisher = {ACM/SIGDA},
  address = {New York, NY, USA},
  keywords = {floating-point, fpga, single-precision, tangent}
}
@inproceedings{VI2012:OpenLab,
  author = { Vincenzo Innocente},
  title = {Floating Point in Experimental {HEP} Data Processing},
  booktitle = {2nd CERN Openlab/INTEL Workshop on Numerical Computing},
  year = 2012,
  location = {CERN, Switzerland},
  pdf = {http://indico.cern.ch/getFile.py/access?contribId=0&sessionId=0&resId=0&materialId=slides&confId=202688},
  url = {http://indico.cern.ch/conferenceDisplay.py?confId=202688}
}
@inproceedings{DP2012:OpenLab,
  author = {Danilo Piparo},
  title = {The {VDT} Mathematical Library},
  booktitle = {2nd CERN Openlab/INTEL Workshop on Numerical Computing},
  year = 2012,
  location = {CERN, Switzerland},
  pdf = {http://indico.cern.ch/getFile.py/access?contribId=4&sessionId=9&resId=0&materialId=slides&confId=202688},
  url = {http://indico.cern.ch/conferenceDisplay.py?confId=202688}
}
@online{ONLINE:LHC,
  author = {CERN},
  title = {The Large Hadron Collider},
  url = {http://public.web.cern.ch/public/en/lhc/lhc-en.html}
}
@techreport{WLCG,
  author = {Ian Bird and others},
  institution = {CERN},
  number = {LCG-TDR-001},
  title = {{LHC} Computing Grid: Technical Design Report},
  year = {2005}
}
@techreport{Geant4:ATLAS,
  author = {Apostolakis, J. and Buckley, A. and Dotti, A. and Marshall, Z.},
  title = {Final Report of the {ATLAS} Detector Simulation Performance Assessment Group},
  institution = {CERN/PH/SFT},
  year = 2010,
  pdf = {http://lcgapp.cern.ch/project/docs/reportATLASDetectorSimulationPerformance2010.pdf},
  url = {http://sftweb.cern.ch/AAdocuments},
  type = {CERN-LCGAPP-2010-01}
}
@book{CMS:TDR,
  author = {The CMS Collaboration},
  title = {CMS Physics: Technical Design Report Volume 1: Detector Performance and Software},
  publisher = {CERN},
  address = {Geneva},
  series = {Technical Design Report CMS},
  year = {2006}
}
@book{Wood08,
  author = {Woods, Roger and Mcallister, John and Turner, Richard and Yi, Ying and Lightbody, Gaye},
  publisher = {Wiley Publishing},
  title = {FPGA-based Implementation of Signal Processing Systems},
  year = {2008}
}
@book{Geve93,
  author = {M. Gevers and G. Li},
  publisher = {Springer-Verlag},
  title = {Parametrizations in Control, Estimation and Filtering Probems},
  year = {1993}
}
@book{Iste01a,
  editor = {R. Istepanian and J.F. Whidborne},
  publisher = {Springer},
  title = {Digital Controller implementation and fra\-gility},
  year = {2001}
}
@book{Meye07,
  author = {Meyer-Baese, U.},
  publisher = {Springer},
  series = {Signals and Communication Technology},
  title = {Digital Signal Processing with Field Programmable Gate Arrays},
  year = {2007}
}
@book{Mitr93,
  editor = {S. Mitra and J. Kaise},
  publisher = {Wiley-Interscience},
  title = {Handbook for Digital Signal Processing},
  year = {1993}
}
@inproceedings{Mena02c,
  author = {Daniel M\'enard and
        Olivier Sentieys},
  title = {A methodology for evaluating the precision of fixed-point
        systems},
  booktitle = {ICASSP},
  year = {2002},
  pages = {3152-3155},
  ee = {http://dx.doi.org/10.1109/ICASSP.2002.5745318}
}
@article{Hila11b,
  author = {T. Hilaire and P. Chevrel},
  journal = {EURASIP Journal on Advances in Signal Processing},
  month = {January},
  title = {Sensitivity-based Pole and Input-Output Errors of Linear Filters as Indicators of the Implementation Deterioration in Fixed-Point Context},
  volume = {special issue on Quantization of VLSI Digital Signal Processing Systems},
  year = {2011}
}
@article{Wu03b,
  author = {J. Wu and S. Chen and J.F. Whidborne and J. Chu},
  journal = {IEEE Trans. Automatic Control},
  month = {May},
  number = {5},
  pages = {816-823},
  title = {A Unified Closed-Loop Stability Measure for Finite-Precision Digital Controller Realizations Implemented in Different Representation Schemes},
  volume = {48},
  year = {2003}
}
@inproceedings{DDMF,
  author = {Benoit, Alexandre and Chyzak, Frédéric and Darrasse,
        Alexis and Gerhold, Stefan and Mezzarobba, Marc and Salvy,
        Bruno},
  title = {The {D}ynamic {D}ictionary of {M}athematical {F}unctions
        ({DDMF})},
  year = {2010},
  pages = {35--41},
  crossref = {ICMS2010}
}
@proceedings{ICMS2010,
  title = {Mathematical Software -- {ICMS} 2010},
  year = {2010},
  editor = {Fukuda, Komei and van der Hoeven, Joris and Joswig,
        Michael and Takayama, Nobuki},
  volume = {6327},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  booktitle = {Mathematical Software - ICMS 2010}
}
@inproceedings{Liu71,
  author = {B. Liu},
  booktitle = {IEEE Trans. on Circuit Theory},
  number = {6},
  title = {Effect of Finite Word Length on the Accuracy of Digital Filters - A Review,},
  volume = {18},
  year = {1971}
}
@article{Jack70,
  author = {Jackson, L.},
  journal = {Audio and Electroacoustics, IEEE Transactions on},
  month = {June},
  number = {2},
  pages = {107-122},
  title = {Roundoff-noise analysis for fixed-point digital filters realized in cascade or parallel form},
  volume = {18},
  year = {1970}
}
@article{Widr60,
  author = {B. Widrow},
  journal = {Trans AIEE},
  number = {79},
  pages = {555-568},
  title = {Statistical Analysis of Amplitude Quantized Sampled-Data Systems},
  volume = {2},
  year = {1960}
}
@article{Bert58,
  author = {J. E. Bertram},
  journal = {Trans. of the American Institute of Electrical Engineers},
  pages = {177-182},
  title = {The effects of quantization in sampled-feedback systems},
  volume = {77},
  year = {1958}
}
@article{Hans87,
  author = {H. Hanselmann},
  journal = {Automatica},
  month = {January},
  number = {1},
  pages = {7-32},
  title = {Implementation of Digital Controllers - A Survey},
  volume = {23},
  year = {1987}
}
@article{Thie84,
  author = {Thiele, L.},
  journal = {Int. J. Circuit Theory Appl.},
  pages = {39--46},
  title = {Design of sensitivity and round-off noise optimal state-space discrete systems},
  volume = {12},
  year = {1984}
}
@inproceedings{Mull76,
  author = {C. Mullis and R. Roberts},
  booktitle = {IEEE Transactions on Circuits and Systems},
  month = {September},
  number = {9},
  title = {Synthesis of Minimum Roundoff Noise Fixed Point Digital Filters},
  volume = {CAS-23},
  year = {1976}
}
@inproceedings{Hwan75,
  author = {S.Y. Hwang},
  booktitle = {IEEE Trans. on Acoustics, Speech and Signal Processing},
  pages = {591-593},
  title = {Dynamic range constraint in state-space digital filtering},
  volume = {23},
  year = {1975}
}
@article{Wu03c,
  author = {J. Wu and S. Chen and G. Li and J. Chu},
  journal = {IEE Proc. Control Theory and Applications},
  month = {January},
  number = {1},
  pages = {61-68},
  title = {Constructing sparse realizations of finite-precision digital controllers based on a closed-loop stability related measure},
  volume = {150},
  year = {2003}
}
@inproceedings{Iste00a,
  author = {R.H. Istepanian and J. Wu and S. Chen},
  month = {June},
  pages = {687-691},
  title = {Sparse realizations of optimal finite-precision teleoperation controller structures},
  year = {2000}
}
@article{Li98,
  author = {G. Li},
  journal = {IEEE Trans. on Autom. Control},
  month = {May},
  number = {5},
  pages = {689-693},
  title = {On the Structure of Digital Controllers with Finite Word Length Consideration},
  volume = {43},
  year = {1998}
}
@article{Dini86,
  author = {P. Diniz and A. Antoniou},
  journal = {Acoustics, Speech and Signal Processing},
  month = {August},
  number = {4},
  pages = {807-815},
  title = {More economical state-space digital-filter structures which are free of constant-input limit cycles},
  volume = {34},
  year = {1986}
}
@book{Midd90a,
  author = {R. Middleton and G. Goodwin},
  publisher = {Prentice-Hall International Editions},
  title = {Digital Control and Estimation, a unified approach},
  year = {1990}
}
@article{Feng11a,
  author = {Y. Feng and P. Chevrel and T. Hilaire},
  journal = {International Journal of Control},
  number = {1},
  pages = {66-77},
  title = {Generalized modal realisation as a practical and efficient tool for {FWL} implementation},
  volume = {84},
  year = {2011}
}
@article{Li04b,
  author = {G. Li and Z. Zhao},
  journal = {IEEE Trans. on Circuits and Systems},
  month = {April},
  number = {4},
  pages = {769-778},
  title = {On the Generalized {DFII}t Structure and its State-Space Realization in Digital Filter Implementation},
  volume = {51},
  year = {2004}
}
@article{Li97,
  author = {Gang Li},
  journal = {Circuits and Systems I: Fundamental Theory and Applications, IEEE Transactions on},
  month = {jul},
  number = {7},
  pages = {583 -590},
  title = {On pole and zero sensitivity of linear systems},
  volume = {44},
  year = {1997}
}
@inproceedings{Hila07e,
  author = {T. Hilaire and P. Chevrel and J. Whidborne},
  booktitle = {Proc. European Control Conference (ECC'07)},
  month = {July},
  title = {Low Parametric Closed-Loop Sensitivity Realizations using Fixed-Point and Floating-Point Arithmetic},
  year = {2007}
}
@inproceedings{Iste98,
  author = {R. Istepanian and G. Li and J. Wu and J. Chu},
  booktitle = {IEEE Proc. Control Theory and Appl.},
  title = {Analysis of sensitivity measures of finite-precision digital controller structures with closed-loop stability bounds},
  volume = {145},
  year = {1998}
}
@inproceedings{Hila06a,
  author = {T. Hilaire and P. Chevrel and J-P. Clauzel},
  booktitle = {Proc. of Control Applications of Optimisation CAO'O6},
  month = {April},
  title = {Low Parametric Sensitivity Realization Design for {FWL} Implementation of {MIMO} Controllers},
  year = {2006}
}
@article{Lutz88,
  author = {W. Lutz and L. Hakimi},
  journal = {IEEE Trans. on Circuits and Systems},
  month = {september},
  number = {9},
  pages = {1114-1122},
  title = {Design of Multi-Input Multi-Output Systems with Minimum Sensitivity},
  volume = {35},
  year = {1988}
}
@inproceedings{Will86,
  author = {D. Williamson},
  booktitle = {IEEE Trans. on Acoustics, Speech and Signal Processing},
  month = {October},
  title = {Roundoff Noise Minimization and Pole-Zero Sensibivity in Fixed-Point Digital Filters Using Residue Feedback},
  volume = {ASSP-43},
  year = {1986}
}
@book{Kail80,
  author = {T. Kailath},
  publisher = {Prentice-Hall},
  title = {Linear Systems},
  year = {1980}
}
@phdthesis{Hila06c,
  author = {T. Hilaire},
  month = {June},
  school = {Universit{\'e} de Nantes},
  title = {Analyse et synth{\`e}se de l'impl{\'e}mentation de lois de contr{\^o}le-commande en pr{\'e}cision finie ({\'E}tude dans le cadre des applications automobiles sur calculateur embarqu{\'e}e)},
  year = {2006}
}
@book{Kast10,
  address = {New York, NY, USA},
  author = {Kastner, Ryan and Hosangadi, Anup and Fallah, Farzan},
  edition = {1st},
  publisher = {Cambridge University Press},
  title = {Arithmetic Optimization Techniques for Hardware and Software Design},
  year = {2010},
  keywords = {textbook}
}
@article{LeeLuk2009,
  author = {Lee, D-U   and P. Cheung and W. Luk and J. Villasenor},
  journal = {IEEE Transactions on VLSI Systems},
  title = {Hierarchical Segmentation Schemes for Function Evaluation},
  booktitle = {{IEEE} Conference on Field-Programmable Technology},
  year = 2009,
  volume = 17,
  number = 1
}
@article{Pueschel:05,
  author = {Markus P{\"u}schel and Jos{\'e} M. F. Moura and Jeremy Johnson and David Padua and Manuela Veloso and Bryan Singer and Jianxin Xiong and Franz Franchetti and Aca Gacic and Yevgen Voronenko and Kang Chen and Robert W. Johnson and Nicholas Rizzolo},
  title = {{SPIRAL}: Code Generation for {DSP} Transforms},
  journal = {Proceedings of the IEEE},
  volume = {93},
  number = {2},
  pages = {232-- 275},
  year = {2005},
  note = {special issue on ``Program Generation, Optimization, and Adaptation''}
}
@article{FFTW05,
  author = {Frigo, Matteo and Johnson, Steven~G.},
  title = {The Design and Implementation of {FFTW3}},
  journal = {Proceedings of the IEEE},
  year = 2005,
  volume = 93,
  number = 2,
  pages = {216--231},
  note = {Special issue on ``Program Generation, Optimization, and Platform Adaptation''}
}
@article{whaley04-atlas,
  author = {R. Clint Whaley and Antoine Petitet},
  title = {Minimizing development and maintenance costs in supporting
        persistently optimized {BLAS}},
  journal = {Software: Practice and Experience},
  volume = 35,
  number = 2,
  pages = {101-121},
  month = feb,
  year = 2005,
  note = {\verb+http://www.cs.utsa.edu/~whaley/papers/spercw04.ps+}
}
@book{MullerEtAl2010,
  title = {Handbook of Floating-Point Arithmetic},
  author = {Muller, J.-M. and Brisebarre, N. and de
        Dinechin, F. and Jeannerod, C.-P. and
            Lef{\`e}vre, V. and Melquiond, G. and Revol,
        N. and Stehl{\'e}, D. and Torres, S.},
  publisher = {Birkh\"auser},
  address = {Boston},
  pages = {572 },
  year = {2010},
  keywords = {textbook}
}
@book{Muller:EFAI,
  author = {Muller, Jean-Michel},
  title = {Elementary Functions: Algorithms and Implementation (2nd edition)},
  year = 2006,
  isbn = {0-8176-3990-X},
  publisher = {Birkhauser},
  keywords = {textbook}
}
@techreport{Kahan:1981:WDW,
  author = {W. Kahan},
  title = {Why Do We Need a Floating-Point Arithmetic Standard?},
  type = {Technical Report},
  institution = inst-berkeley,
  address = inst-berkeley:adr,
  pages = {41},
  day = {12},
  month = feb,
  year = {1981},
  bibdate = {Fri Apr 7 12:22:17 GMT 1995},
  bibsource = {http://www.math.utah.edu/pub/bibnet/subjects/acc-stab-num-alg-2ed.bib;
http://www.math.utah.edu/pub/bibnet/subjects/acc-stab-num-alg.bib;
http://www.math.utah.edu/pub/bibnet/authors/k/kahan-william-m.bib},
  acknowledgement = ack-nhfb
}
@article{BM2008,
  author = {N. Brisebarre and J.-M. Muller},
  title = {Correctly Rounded Multiplication by Arbitrary
        Precision Constants},
  journal = {IEEE Transactions on Computers},
  volume = {57},
  number = {2},
  pages = {165--174},
  month = feb,
  year = {2008},
  coden = {ITCOB4},
  doi = {http://dx.doi.org/10.1109/TC.2007.70813},
  issn = {0018-9340 (print), 1557-9956 (electronic)},
  issn-l = {0018-9340},
  bibdate = {Mon Jul 4 12:17:40 MDT 2011},
  bibsource = {http://www.computer.org/tc/;the
        http://www.math.utah.edu/pub/tex/bib/ieeetranscomput2000.bib}
}
@phdthesis{sharythesis,
  author = {Sergey P. Shary},
  title = {Interval algebraic problems and their numerical solution},
  school = {Novosibirsk Institute of Computational Mathematics and Mathematical Geophysics},
  year = {2000}
}
@book{Forsythe,
  author = {George E. Forsythe, Michael A. Malcolm, Cleve B. Moler},
  title = {Computer methods for mathematical computations},
  publisher = {Prentice-Hall, Inc., Englewood Cliffs, New Jersey},
  year = {1977},
  keywords = {textbook}
}
@phdthesis{phdDefour,
  author = {David Defour},
  title = {Fonctions \'el\'ementaires: algorithmes et impl\'ementations efficaes pour l'arrondi correct en double pr\'ecision},
  school = {\'Ecole Normale Sup\'erieure de Lyon, Lyon, France},
  year = {2003},
  file = {PhD2003-01.ps.gz:http\://www.ens-lyon.fr/LIP/Pub/Rapports/PhD/PhD2003/PhD2003-01.ps.gz:PostScript},
  key = {AP}
}
@phdthesis{phdLauter,
  author = {Christoph Lauter},
  title = {Arrondi correct de fonctions math\'ematiques. Fonctions univari\'ees et bivari\'ees, certification et automatisation},
  school = {\'Ecole Normale Sup\'erieure de Lyon, Lyon, France},
  year = {2008}
}
@phdthesis{phdChevillard,
  author = {Chevillard, Sylvain},
  title = {{\'Evaluation efficace de fonctions num\'eriques -- Outils et exemples}},
  school = {\'Ecole Normale Sup\'erieure de Lyon, Lyon, France},
  year = {2009}
}
@manual{IEEE:1985:AIS,
  author = {IEEE Task P754},
  title = {{ANSI}\slash {IEEE} 754-1985, Standard for Binary
        Floating-Point Arithmetic},
  organization = {IEEE, New York},
  pages = {18},
  month = aug # { 12},
  year = {1985},
  bibdate = {Fri Sep 16 11:22:29 1994}
}
@misc{IEEE754-2008,
  key = {IEEE754-2008},
  title = {{IEEE} Standard for Floating-Point Arithmetic},
  howpublished = {{IEEE} 754-2008, also ISO/IEC/IEEE 60559:2011},
  month = aug,
  year = {2008},
  isbn = {978-0-7381-5752-8},
  url = {http://ieeexplore.ieee.org/servlet/opac?punumber=4610933}
}
@book{CStandard,
  title = {Committee Draft, International C Standard},
  publisher = {ISO/IEC 9899:201x},
  year = {2011},
  months = {April}
}
@misc{CRLibm,
  author = {David Defour and Florent de Dinechin and Christoph Lauter and Catherine Daramy-Loirat},
  title = {CRLibm, a library of correctly rounded elementary functions in double-precision}
}
@article{Goldberg91whatevery,
  author = {David Goldberg},
  title = {What Every Computer Scientist Should Know About Floating Point Arithmetic},
  journal = {ACM Computing Surveys},
  year = {1991},
  volume = {23},
  number = {1},
  pages = {5--48}
}
@book{glibc,
  author = {S. Loosemore and Stallman, R. M. and others},
  title = {The GNU C Library Reference Manual},
  publisher = {Free Software Foundation, Inc.}
}
@book{Remez,
  author = {E. Remez},
  title = {Sur un proc\'ed\'e convergent d'approximations successives pour d\'eterminer les polynômes d'approximation.},
  publisher = {Acad\'emie des Sciences, Paris},
  year = {1934}
}
@article{Tang:1990,
  author = {Ping Tak Peter Tang},
  title = {Table-driven implementation of the logarithm function in {IEEE} floating-point
        arithmetic},
  journal = {{ACM} Trans. Math. Softw.},
  year = {1990},
  volume = {16},
  number = {4},
  pages = {378--400},
  url = {http://doi.acm.org/10.1145/98267.98294},
  doi = {10.1145/98267.98294},
  timestamp = {Thu, 09 Oct 2014 17:35:47 +0200}
}
@article{Tang:1992,
  author = {Ping Tak Peter Tang},
  title = {Table-driven implementation of the Expm1 function in {IEEE} floating-point
        arithmetic},
  journal = {{ACM} Trans. Math. Softw.},
  year = {1992},
  volume = {18},
  number = {2},
  pages = {211--222},
  url = {http://doi.acm.org/10.1145/146847.146928},
  doi = {10.1145/146847.146928},
  timestamp = {Thu, 09 Oct 2014 17:36:35 +0200},
  biburl = {http://dblp.uni-trier.de/rec/bib/journals/toms/Tang92}
}
@inproceedings{SollyaICMS,
  author = {S.~Chevillard and M.~Jolde\c{s} and C.~Lauter},
  title = {Sollya: An Environment for the Development of Numerical Codes},
  booktitle = {International Conference on Mathematical Software},
  volume = {6327},
  series = {LNCS},
  year = {2010},
  editor = {K.~Fukuda and J.~van~der~Hoeven and M.~Joswig and N.~Takayama},
  pages = {28--31},
  address = {Heidelberg, Germany},
  month = sep,
  publisher = {Springer},
  abstract = {Sollya has become a mature tool for the development of
        numerical software. With about $175$ built-in algorithms and a broad
            extensibility, it offers a complete tool-chain for fixed- and
            floating-point software and hardware design. Its features
            include on-the-fly faithful rounding, specialized approximation algorithms
            and extensive support for floating-point code generation.},
  keywords = {numerical software, faithful rounding, computer algebra, development tool, function approximation}
}
@inproceedings{BrisebarreChevillard2007,
  author = {Nicolas Brisebarre and Sylvain Chevillard},
  title = {Efficient Polynomial ${L}^\infty$- approximations},
  booktitle = {18th Symposium on Computer Arithmetic},
  year = 2007,
  location = {Montpellier, France},
  publisher = {IEEE},
  month = jun,
  pages = {169--176}
}
@inproceedings{infnorm,
  author = {Sylvain Chevillard and
        Christoph Quirin Lauter},
  title = {A Certified Infinite Norm for the Implementation of Elementary Functions},
  booktitle = {Seventh International Conference on Quality Software {(QSIC} 2007),
        11-12 October 2007, Portland, Oregon, {USA}},
  year = {2007},
  pages = {153--160},
  doi = {10.1109/QSIC.2007.1},
  timestamp = {Mon, 20 Oct 2014 06:08:31 +0200},
  biburl = {http://dblp.uni-trier.de/rec/bib/conf/qsic/ChevillardL07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{supnorm,
  author = {Sylvain Chevillard and
        Mioara Joldes and
            Christoph Quirin Lauter},
  title = {Certified and Fast Computation of Supremum Norms of Approximation
        Errors},
  booktitle = {19th Symposium on Computer Arithmetic},
  publisher = {IEEE},
  year = {2009},
  pages = {169--176},
  doi = {10.1109/ARITH.2009.18},
  timestamp = {Mon, 17 Nov 2014 17:23:48 +0100},
  biburl = {http://dblp.uni-trier.de/rec/bib/conf/arith/ChevillardJL09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{domainSplit,
  author = {Olga Kupriianova and
        Christoph Quirin Lauter},
  title = {A Domain Splitting Algorithm for the Mathematical Functions Code Generator},
  booktitle = {2014 Asilomar Conference on Signals, Systems and Computers},
  year = {2014}
}
@inproceedings{branchingSCAN,
  author = {Olga Kupriianova and Christoph Lauter},
  title = {Replacing Branches by Polynomials in Vectorizable Elementary Functions},
  booktitle = {Book of abstracts for 16th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics},
  year = {2014}
}
@article{deDinechin2007,
  author = {de Dinechin, Florent and Lauter, Christoph and Muller, Jean-Michel},
  journal = {RAIRO - Theoretical Informatics and Applications},
  month = {4},
  number = {1},
  pages = {85-102},
  publisher = {EDP Sciences},
  title = {Fast and correctly rounded logarithms in double-precision},
  volume = {41},
  year = {2007},
  keywords = {correct rounding, log}
}
@inproceedings{2014-PPAM-Yeppp,
  author = {Marat Dukhan and Richard Vuduc},
  title = {Methods for high-throughput computation of elementary functions},
  booktitle = {Parallel Processing and Applied Mathematics},
  series = {LNCS 8384},
  pages = {86-95},
  year = 2014
}
@inproceedings{2013-PyHPC-PeachPy,
  author = {Marat Dukhan},
  title = {{PeachPy}: A {Python} Framework for Developing High-Performance Assembly Kernels},
  booktitle = {Python for High Performance and Scientific Computing},
  year = 2013
}
@book{BrentZimmermann2010,
  author = {Richard P. Brent and Paul Zimmermann},
  file = {/home/marc/docs/recherche/biblio/documents/BrentZimmermann2010.pdf},
  publisher = {Cambridge University Press},
  title = {Modern Computer Arithmetic},
  url = {http://www.loria.fr/~zimmerma/mca/mca-cup-0.5.7.pdf},
  year = {2010},
  keywords = {textbook,multiple precision, division, sqrt, exp, log, sincos, tan}
}
@inproceedings{Johansson2015,
  author = {Fredrik Johansson},
  booktitle = {22nd IEEE Symposium on Computer Arithmetic},
  title = {Efficient implementation of elementary functions in the medium-precision range},
  year = {2015},
  keywords = {multiple precision, exp, log, sincos, atan}
}
@inproceedings{Brent1976,
  address = {Brisbane, Australia},
  author = {Richard P. Brent},
  booktitle = {The Complexity of Computational Problem Solving},
  editor = {R. S. Anderssen and R. P. Brent},
  pages = {126–165},
  title = {The Complexity of Multiple-precision Arithmetic},
  url = {http://wwwmaths.anu.edu.au/~brent/pub/pub032.html},
  year = {1976},
  keywords = {multiple precision, exp, log, sincos, atan, sinh}
}
@article{Brent1976a,
  author = {Richard P. Brent},
  journal = {Journal of the ACM},
  owner = {marc},
  pages = {242–251},
  title = {Fast multiple precision evaluation of elementary functions},
  url = {http://wwwmaths.anu.edu.au/~brent/pub/pub034.html},
  volume = {23},
  year = {1976},
  keywords = {multiple precision, exp, log, sincos, atan, sinh}
}
@article{Brent1978,
  author = {Richard P. Brent},
  issn = {0098-3500},
  journal = {ACM Transactions on Mathematical Software},
  month = mar,
  number = {1},
  pages = {57–70},
  title = {A {Fortran} Multiple-Precision Arithmetic Package},
  url = {http://maths.anu.edu.au/~brent/pub/pub042.html},
  volume = {4},
  year = {1978},
  keywords = {multiple precision, exp, log, atan}
}
@phdthesis{Brunie2014,
  author = {Nicolas Brunie},
  hal_id = {tel-01078204},
  hal_version = {v1},
  school = {École normale supérieure de {L}yon},
  title = {Contributions to computer arithmetic and applications to embedded systems},
  type = {Thèse de doctorat},
  url = {https://tel.archives-ouvertes.fr/tel-01078204},
  year = {2014},
  keywords = {low-level optimization, tools, correct rounding}
}
@inproceedings{BoldoMelquiond2011,
  author = {S. Boldo and G. Melquiond},
  booktitle = {ARITH 20},
  pages = {243–252},
  title = {Flocq: A Unified Library for Proving Floating-point Algorithms in {C}oq},
  url = {http://www.lri.fr/~melquion/doc/11-arith20-article.pdf},
  year = {2011},
  keywords = {formal proof}
}
@inproceedings{DinechinLauter2008,
  author = {Florent de Dinechin and Christoph Lauter},
  booktitle = {Proceedings of the 8th Conference on Real Numbers and Computers},
  pages = {7–16},
  title = {Optimizing polynomials for floating-point implementation},
  year = {2008},
  keywords = {tools}
}
@book{Cody:1980,
  author = {Cody, William James},
  title = {Software Manual for the Elementary Functions},
  year = {1980},
  isbn = {0138220646},
  publisher = {Prentice-Hall},
  keywords = {textbook}
}
@book{overton:2001,
  title = {Numerical computing with {IEEE} floating point arithmetic},
  author = {Overton, Michael L},
  year = {2001},
  publisher = {SIAM},
  keywords = {textbook}
}

This file was generated by bibtex2html 1.98.