[Reliable Computing] New papers and books on interval arithmetic

This new paper should be of interest to list readers:

@String{j-SIAM-J-MAT-ANA-APPL   = "SIAM Journal on Matrix Analysis and
                                  Applications"}
@Article{Rump:2012:VBL,
  author =       "Siegfried M. Rump",
  title =        "Verified Bounds for Least Squares Problems and
                 Underdetermined Linear Systems",
  journal =      j-SIAM-J-MAT-ANA-APPL,
  volume =       "33",
  number =       "1",
  pages =        "130--148",
  month =        "????",
  year =         "2012",
  CODEN =        "SJMAEL",
  DOI =          "http://dx.doi.org/10.1137/110840248",
  ISSN =         "0895-4798 (print), 1095-7162 (electronic)",
  ISSN-L =       "0895-4798",
  bibdate =      "Thu Feb 9 08:15:52 MST 2012",
  bibsource =    "http://epubs.siam.org/sam-bin/dbq/toc/SIMAX/33/1;
                 http://www.math.utah.edu/pub/tex/bib/siamjmatanaappl.bib",
  URL =         "http://epubs.siam.org/simax/resource/1/sjmael/v33/i1/p130_s1",
  acknowledgement = ack-nhfb,
  fjournal =     "SIAM Journal on Matrix Analysis and Applications",
  keywords =     "interval arithmetic",
  onlinedate =   "January 13, 2012",
}

In shorter form, here are pointers to some other recent (2011--date)
books and papers that I've recorded:

Warwick Tucker
Validated numerics: a short introduction to rigorous computations
ISBN 0-691-14781-7, 978-0-691-14781-9

Modern computer arithmeticRichard P. Brent and Paul Zimmermann
ISBN 0-521-19469-5, 978-0-521-19469-3

B. T{\'o}th and J. Fern{\'a}ndez
Interval methods for single and bi-objective optimization problems ---
applied to competitive facility location model
ISBN 3-8383-6624-7, 978-3-8383-6624-1

Katsuhisa Ozaki and Takeshi Ogita and Shin'ichi Oishi and Siegfried
M. Rump
Error-free transformations of matrix multiplication by using fast
routines of matrix multiplication and its applications
http://www.springerlink.com/openurl.asp?genre=article&issn=1017-1398&volume=59&issue=1&spage=95

Hung T. Nguyen and Vladik Kreinovich and Berlin Wu
Computing statistics under interval and fuzzy uncertainty:
applications to computer science and engineering
ISBN 3-642-24904-3, 978-3-642-24904-4

Michel Colman and Annie Cuyt and Joris {Van Deun}
Validated computation of certain hypergeometric functions
http://dx.doi.org/10.1145/2049673.2049675

Ulrich Kulisch and Van Snyder
The exact dot product as basic tool for long interval arithmetic
http://dx.doi.org/10.1007/s00607-010-0127-7

Ulrich Kulisch
Very fast and exact accumulation of products
http://dx.doi.org/10.1007/s00607-010-0131-y

Katsuhisa Ozaki and Takeshi Ogita and Shin'ichi Oishi and Siegfried
M. Rump
Error-free transformations of matrix multiplication by using fast
routines of matrix multiplication and its applications
http://www.springerlink.com/openurl.asp?genre=article&issn=1017-1398&volume=59&issue=1&spage=95

-------------------------------------------------------------------------------
- Nelson H. F. Beebe                    Tel: +1 801 581 5254                  -
- University of Utah                    FAX: +1 801 581 4148                  -
- Department of Mathematics, 110 LCB    Internet e-mail:
beebe@...  -
- 155 S 1400 E RM 233                       beebe@... 
beebe@... -
- Salt Lake City, UT 84112-0090, USA    URL: http://www.math.utah.edu/~beebe/ -
-------------------------------------------------------------------------------