%%% -*-BibTeX-*-
%%% ====================================================================
%%%  BibTeX-file{
%%%     author          = "Nelson H. F. Beebe",
%%%     version         = "0.17",
%%%     date            = "31 March 2014",
%%%     time            = "12:36:07 MDT",
%%%     filename        = "moore-ramon-e.bib",
%%%     address         = "University of Utah
%%%                        Department of Mathematics, 110 LCB
%%%                        155 S 1400 E RM 233
%%%                        Salt Lake City, UT 84112-0090
%%%                        USA",
%%%     telephone       = "+1 801 581 5254",
%%%     FAX             = "+1 801 581 4148",
%%%     URL             = "http://www.math.utah.edu/~beebe",
%%%     checksum        = "35648 1966 8605 86198",
%%%     email           = "beebe at math.utah.edu, beebe at acm.org,
%%%                        beebe at computer.org (Internet)",
%%%     codetable       = "ISO/ASCII",
%%%     keywords        = "BibNet Project; BibTeX; bibliography; interval
%%%                        analysis; interval arithmetic; reliable
%%%                        computing",
%%%     license         = "public domain",
%%%     supported       = "yes",
%%%     docstring       = "This is a bibliography of publications of
%%%                        Ramon (Ray) E. Moore.
%%%
%%%                        At version 0.17, the year coverage looked
%%%                        like this:
%%%
%%%                             1959 (   2)    1976 (   1)    1993 (   2)
%%%                             1960 (   2)    1977 (   2)    1994 (   1)
%%%                             1961 (   0)    1978 (   2)    1995 (   1)
%%%                             1962 (   1)    1979 (   3)    1996 (   0)
%%%                             1963 (   2)    1980 (   6)    1997 (   0)
%%%                             1964 (   1)    1981 (   0)    1998 (   0)
%%%                             1965 (   8)    1982 (   3)    1999 (   1)
%%%                             1966 (   1)    1983 (   1)    2000 (   0)
%%%                             1967 (   2)    1984 (   3)    2001 (   1)
%%%                             1968 (   2)    1985 (   1)    2002 (   1)
%%%                             1969 (   4)    1986 (   0)    2003 (   1)
%%%                             1970 (   2)    1987 (   0)    2004 (   0)
%%%                             1971 (   1)    1988 (   3)    2005 (   2)
%%%                             1972 (   1)    1989 (   0)    2006 (   1)
%%%                             1973 (   0)    1990 (   0)    2007 (   1)
%%%                             1974 (   0)    1991 (   4)    2008 (   0)
%%%                             1975 (   1)    1992 (   2)    2009 (   1)
%%%
%%%                             Article:         27
%%%                             Book:            13
%%%                             InCollection:     6
%%%                             InProceedings:    6
%%%                             Misc:             1
%%%                             PhdThesis:        1
%%%                             Proceedings:      8
%%%                             TechReport:      12
%%%
%%%                             Total entries:   74
%%%
%%%                        This file is available as part of the BibNet
%%%                        Project.  The master copy is available for
%%%                        public access at
%%%
%%%                            ftp://ftp.math.utah.edu/pub/bibnet/authors
%%%                            http://www.math.utah.edu/pub/bibnet/authors
%%%
%%%                        It is mirrored to
%%%
%%%                            ftp://netlib.bell-labs.com/netlib/bibnet/authors
%%%
%%%                        The data in this bibliography were collected
%%%                        from many sources, including the MathSciNet
%%%                        database, the JSTOR database, the European
%%%                        Mathematical Society database, the
%%%                        bibliography archives of the BibNet Project,
%%%                        the TeX User Group, and the University of
%%%                        Karlsruhe Computer Science Department, as
%%%                        well as
%%%
%%%                            http://interval.louisiana.edu/Moores_early_papers/bibliography.html
%%%
%%%                        The checksum field above contains a CRC-16
%%%                        checksum as the first value, followed by the
%%%                        equivalent of the standard UNIX wc (word
%%%                        count) utility output of lines, words, and
%%%                        characters.  This is produced by Robert
%%%                        Solovay's checksum utility.",
%%%  }
%%% ====================================================================

@Preamble{
    "\ifx \undefined \booktitle \def \booktitle#1{{{\em #1}}} \fi"
}

%%% ====================================================================
%%% Acknowledgement abbreviations:

@String{ack-nhfb = "Nelson H. F. Beebe,
                    University of Utah,
                    Department of Mathematics, 110 LCB,
                    155 S 1400 E RM 233,
                    Salt Lake City, UT 84112-0090, USA,
                    Tel: +1 801 581 5254,
                    FAX: +1 801 581 4148,
                    e-mail: \path|beebe@math.utah.edu|,
                            \path|beebe@acm.org|,
                            \path|beebe@computer.org| (Internet),
                    URL: \path|http://www.math.utah.edu/~beebe/|"}

%%% ====================================================================
%%% Journal abbreviations:

@String{j-AMER-MATH-MONTHLY     = "American Mathematical Monthly"}

@String{j-APL-MAT               = "Aplikace Matematiky"}

@String{j-COMP-MATH-APPL        = "Computers and Mathematics with Applications"}

@String{j-COMPUTING             = "Computing: Archiv f{\"u}r informatik und numerik"}

@String{j-COMPUTING-SUPPLEMENTUM = "Computing. Supplementum"}

@String{j-FUZZY-SETS-SYSTEMS    = "Fuzzy Sets and Systems"}

@String{j-IBM-SYS-J             = "IBM Systems Journal"}

@String{j-J-COMP-SYS-SCI        = "Journal of Computer and System Sciences"}

@String{j-RELIABLE-COMPUTING    = "Reliable Computing = Nadezhnye vychisleniia"}

@String{j-SIAM-J-NUMER-ANAL     = "SIAM Journal on Numerical Analysis"}

@String{j-SIAM-REVIEW           = "SIAM Review"}

@String{j-SIGNUM                = "ACM SIGNUM Newsletter"}

%%% ====================================================================
%%% Publisher abbreviations:

@String{pub-ACM                 = "ACM Press"}
@String{pub-ACM:adr             = "New York, NY 10036, USA"}

@String{pub-AP                  = "Academic Press Inc."}
@String{pub-AP:adr              = "New York, USA"}

@String{pub-BIRKHAUSER          = "Birkh{\"{a}}user"}
@String{pub-BIRKHAUSER:adr      = "Cambridge, MA, USA; Berlin, Germany; Basel,
                                  Switzerland"}

@String{pub-ELLIS-HORWOOD       = "Ellis Horwood"}
@String{pub-ELLIS-HORWOOD:adr   = "New York, NY, USA"}

@String{pub-HRW                 = "Holt, Rinehart, and Winston"}
@String{pub-HRW:adr             = "New York, NY, USA"}

@String{pub-IEEE                = "IEEE Computer Society Press"}

@String{pub-IEEE:adr            = "1109 Spring Street, Suite 300,
                                  Silver Spring, MD 20910, USA"}

@String{pub-OLDENBOURG          = "R. Oldenbourg"}
@String{pub-OLDENBOURG:adr      = "M{\"u}nchen, Germany"}

@String{pub-PH                  = "Pren{\-}tice-Hall"}
@String{pub-PH:adr              = "Upper Saddle River, NJ 07458, USA"}

@String{pub-PRINCETON           = "Princeton University Press"}
@String{pub-PRINCETON:adr       = "Princeton, NJ, USA"}

@String{pub-SIAM                = "Society for Industrial and Applied
                                  Mathematics"}
@String{pub-SIAM:adr            = "Philadelphia, PA, USA"}

@String{pub-SPRINGER-WIEN       = "Spring{\-}er"}
@String{pub-SPRINGER-WIEN:adr   = "Wien / New York"}

@String{pub-SV                  = "Spring{\-}er-Ver{\-}lag"}

@String{pub-SV:adr              = "Berlin, Germany~/ Heidelberg,
                                  Germany~/ London, UK~/ etc."}

@String{pub-WILEY               = "Wiley"}
@String{pub-WILEY:adr           = "New York, NY, USA"}

%%% ====================================================================
%%% Bibliography entries, sorted by year, and within years, by citation
%%% label:

@TechReport{Moore:1959:AEA,
  author =       "R. E. Moore",
  title =        "Automatic error analysis in digital computation",
  type =         "Technical Report",
  number =       "Space Div. Report LMSD84821",
  institution =  "Lockheed Missiles and Space Co.",
  address =      "Sunnyvale, CA, USA",
  year =         "1959",
  bibdate =      "Thu Jun 20 10:47:34 2002",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/m/moore-ramon-e.bib",
  URL =          "http://interval.louisiana.edu/Moores_early_papers/Moore_Lockheed.pdf",
  acknowledgement = ack-nhfb,
}

@TechReport{Moore:1959:IAI,
  author =       "R. E. Moore and C. T. Yang",
  title =        "Interval Analysis {I}",
  type =         "Technical Document",
  number =       "LMSD-285875",
  institution =  "Lockheed Missiles and Space Division",
  address =      "Sunnyvale, CA, USA",
  year =         "1959",
  bibdate =      "Thu Jun 20 10:57:59 2002",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/m/moore-ramon-e.bib",
  URL =          "http://interval.louisiana.edu/Moores_early_papers/Moore_Yang.pdf",
  acknowledgement = ack-jr,
}

@Article{Moore:1960:BRB,
  author =       "Ramon E. Moore",
  title =        "Book Review: {{\booktitle{On Numerical Approximation}}
                 (Proceedings of a Symposium) (R. E. Langer, ed.)}",
  journal =      j-SIAM-REVIEW,
  volume =       "2",
  number =       "1",
  pages =        "49--50",
  month =        "????",
  year =         "1960",
  CODEN =        "SIREAD",
  DOI =          "http://dx.doi.org/10.1137/1002015",
  ISSN =         "0036-1445 (print), 1095-7200 (electronic)",
  ISSN-L =       "0036-1445",
  bibdate =      "Thu Mar 27 09:04:29 MDT 2014",
  bibsource =    "http://epubs.siam.org/toc/siread/2/1;
                 http://www.math.utah.edu/pub/bibnet/authors/m/moore-ramon-e.bib;
                 http://www.math.utah.edu/pub/tex/bib/siamreview.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "SIAM Review",
  journal-URL =  "http://epubs.siam.org/sirev",
  onlinedate =   "January 1960",
}

@TechReport{Moore:1960:II,
  author =       "R. E. Moore and W. Strother and C. T. Yang",
  title =        "Interval Integrals",
  type =         "Technical Memorandum: Mathematics",
  number =       "LMSD-703073",
  institution =  "Lockheed Missiles and Space Division",
  address =      "Sunnyvale, CA, USA",
  year =         "1960",
  bibdate =      "Thu Jun 20 10:57:03 2002",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/m/moore-ramon-e.bib",
  URL =          "http://interval.louisiana.edu/Moores_early_papers/Moore_integrals.pdf",
  acknowledgement = ack-jr,
}

@PhdThesis{Moore:1962:IAA,
  author =       "R. E. Moore",
  title =        "Interval Arithmetic and Automatic Error Analysis in
                 Digital Computing",
  type =         "{Ph.D.} dissertation",
  school =       "Department of Mathematics, Stanford University",
  address =      "Stanford, CA, USA",
  month =        nov,
  year =         "1962",
  bibdate =      "Thu Jun 20 10:49:16 2002",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/m/moore-ramon-e.bib",
  note =         "Also published as Applied Mathematics and Statistics
                 Laboratories Technical Report No. 25.",
  URL =          "http://interval.louisiana.edu/Moores_early_papers/disert.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{Boche:1963:OIA,
  author =       "R. E. Boche",
  title =        "An Operational Interval Arithmetic",
  crossref =     "IEEE:1963:PNE",
  pages =        "??--??",
  year =         "1963",
  bibdate =      "Thu Jun 20 10:43:29 2002",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/m/moore-ramon-e.bib",
  URL =          "http://interval.louisiana.edu/Moores_early_papers/Boche_operational.pdf",
  acknowledgement = ack-jr,
}

@TechReport{Moore:1964:DIR,
  author =       "R. E. Moore and J. A. Davison and H. R. Jaschke and S.
                 Shayer",
  title =        "{DIFEQ} integration routine --- user's manual",
  type =         "Technical Report",
  number =       "LMSC6-90-64-6,",
  institution =  "Lockheed Missiles and Space Co.",
  address =      "Los Angeles, CA",
  year =         "1964",
  bibdate =      "Sat May 27 06:39:09 2006",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/m/moore-ramon-e.bib",
  URL =          "http://interval.louisiana.edu/Moores_early_papers/Moore_DIFEQ.pdf",
  acknowledgement = ack-nhfb,
}

@TechReport{Boche:1965:CIA,
  author =       "R. E. Boche",
  title =        "Complex interval arithmetic with some applications",
  type =         "Technical Report",
  number =       "LMSC4-22-66-1",
  institution =  "Lockheed Missiles and Space Co.",
  address =      "Sunnyvale, CA, USA",
  year =         "1965",
  bibdate =      "Thu Jun 20 10:43:56 2002",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/m/moore-ramon-e.bib",
  URL =          "http://interval.louisiana.edu/Moores_early_papers/Boche_complex.pdf",
  acknowledgement = ack-nhfb,
}

@TechReport{Miller:1965:IAP,
  author =       "M. E. Miller",
  title =        "Interval arithmetic programs and references",
  type =         "Memo",
  institution =  "Lockheed Missiles and Space Div.",
  address =      "Sunnyvale, CA, USA",
  year =         "1965",
  bibdate =      "Thu Jun 20 10:46:07 2002",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/m/moore-ramon-e.bib",
  URL =          "http://interval.louisiana.edu/Moores_early_papers/Miller_programs.pdf",
  acknowledgement = ack-nhfb,
}

@InCollection{Moore:1965:AACa,
  author =       "Ramon E. Moore",
  title =        "The automatic analysis and control of error in digital
                 computing based on the use of interval numbers",
  crossref =     "Rall:1965:EDCa",
  chapter =      "2",
  pages =        "61--130",
  year =         "1965",
  MRclass =      "65.61 (65.80)",
  MRnumber =     "MR0176614 (31 \#886)",
  MRreviewer =   "T. E. Hull",
  bibdate =      "Thu Jun 20 10:51:40 2002",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/m/moore-ramon-e.bib",
  URL =          "http://interval.louisiana.edu/Moores_early_papers/Moore_in_Rall_V1.pdf",
  acknowledgement = ack-nhfb,
  bookpages =    "????",
}

@InCollection{Moore:1965:AACb,
  author =       "Ramon E. Moore",
  title =        "Automatic local coordinate transformations to reduce
                 the growth of error bounds in interval computation of
                 solutions of ordinary differential equations",
  crossref =     "Rall:1965:EDCb",
  chapter =      "2",
  pages =        "103--140",
  year =         "1965",
  MRclass =      "65.80 (65.60)",
  MRnumber =     "MR0185839 (32 \#3299)",
  MRreviewer =   "T. E. Hull",
  bibdate =      "Thu Jun 20 10:51:40 2002",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/m/moore-ramon-e.bib",
  URL =          "http://interval.louisiana.edu/Moores_early_papers/Moore_in_Rall_V2.pdf",
  acknowledgement = ack-nhfb,
}

@TechReport{Reiter:1965:IAP,
  author =       "A. Reiter",
  title =        "Interval Arithmetic Package: {MRC} Program 2",
  type =         "Coop organ, Code-Wisc. Math. Res. Center",
  institution =  "University of Wisconsin, Madison",
  year =         "1965",
  bibdate =      "Thu Jun 20 10:58:36 2002",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/m/moore-ramon-e.bib",
  URL =          "http://interval.louisiana.edu/Moores_early_papers/Reiter_package.pdf",
  acknowledgement = ack-jr,
}

@TechReport{Shayer:1965:IAS,
  author =       "S. Shayer",
  title =        "Interval arithmetic with some applications for digital
                 computers",
  type =         "Technical Report",
  number =       "LMSD5-13-65-12",
  institution =  "Lockheed Missiles and Space Co.",
  address =      "Sunnyvale, CA, USA",
  year =         "1965",
  bibdate =      "Thu Jun 20 10:59:04 2002",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/m/moore-ramon-e.bib",
  URL =          "http://interval.louisiana.edu/Moores_early_papers/Shayer_applications.pdf",
  acknowledgement = ack-nhfb,
}

@Book{Moore:1966:IA,
  author =       "Ramon E. Moore",
  title =        "Interval analysis",
  publisher =    pub-PH,
  address =      pub-PH:adr,
  pages =        "xi + 145",
  year =         "1966",
  LCCN =         "QA297 .M63",
  MRclass =      "65.10 (68.00)",
  MRnumber =     "MR0231516 (37 \#7069)",
  bibdate =      "Sat Feb 14 08:15:54 1998",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/m/moore-ramon-e.bib",
  acknowledgement = ack-nhfb,
}

@InProceedings{Reiter:1967:PIA,
  author =       "A. Reiter",
  booktitle =    "Proceedings of the 1967 Army Numerical Analysis
                 Conference",
  title =        "Programming Interval Arithmetic and Applications",
  publisher =    "U. S. Army Research Office",
  address =      "Durham, NC, USA",
  pages =        "87--98",
  year =         "1967",
  bibdate =      "Thu Jun 20 10:58:57 2002",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/m/moore-ramon-e.bib",
  note =         "Army Research Office Rep. 67-3",
  URL =          "http://interval.louisiana.edu/Moores_early_papers/Reiter_programming.pdf",
  acknowledgement = ack-jr,
}

@TechReport{Braun:1968:PSD,
  author =       "J. A. Braun and R. E. Moore",
  title =        "A Program for the Solution of Differential Equations
                 Using Interval Arithmetic (Difeq) for the {CDC 3600}
                 and the {CDC 1604}",
  type =         "MRC Technical Summary",
  number =       "901",
  institution =  "University of Wisconsin, Madison",
  year =         "1968",
  bibdate =      "Fri Jan 12 11:37:56 1996",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/m/moore-ramon-e.bib",
  URL =          "http://interval.louisiana.edu/Moores_early_papers/addendum/Braun1968aprogram.pdf",
  acknowledgement = ack-jr,
}

@Article{Moore:1968:PAI,
  author =       "R. E. Moore",
  title =        "Practical aspects of interval computation",
  journal =      j-APL-MAT,
  volume =       "13",
  number =       "??",
  pages =        "52--92",
  year =         "1968",
  CODEN =        "APMTAK",
  ISSN =         "0373-6725",
  bibdate =      "Sat May 27 07:35:27 MDT 2006",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/m/moore-ramon-e.bib",
  ZMnumber =     "0184.37401",
  acknowledgement = ack-nhfb,
  fjournal =     "Aplikace Matematiky",
  keywords =     "numerical analysis",
}

@InCollection{Moore:1969:FAC,
  author =       "Ramon E. Moore",
  title =        "Functional analysis for computers",
  crossref =     "Unger:1969:TFM",
  pages =        "113--126",
  year =         "1969",
  MRclass =      "46.90 (65.00)",
  MRnumber =     "MR0248542 (40 \#1794)",
  bibdate =      "Sat May 27 07:35:27 MDT 2006",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/m/moore-ramon-e.bib",
  ZMnumber =     "0209.46504",
  acknowledgement = ack-nhfb,
  classmath =    "*65G30 Interval and finite arithmetic 65-02 Research
                 monographs (numerical analysis)",
}

@Book{Moore:1969:IUD,
  author =       "Ramon E. Moore",
  title =        "Intervallanalyse",
  publisher =    pub-OLDENBOURG,
  address =      pub-OLDENBOURG:adr,
  year =         "1969",
  MRclass =      "65.80",
  MRnumber =     "MR0260228 (41 \#4856)",
  bibdate =      "Sat May 27 07:35:27 MDT 2006",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/m/moore-ramon-e.bib",
  note =         "Translated to German by Dieter Pfaffenzeller",
  price =        "DM 39.00",
  ZMnumber =     "0273.65031",
  acknowledgement = ack-nhfb,
  bookpages =    "188 + 7",
  classmath =    "*65-02 Research monographs (numerical analysis) 65G50
                 Roundoff error",
  language =     "German",
}

@Book{Rall:1969:CSN,
  author =       "Louis B. Rall",
  title =        "Computational solution of nonlinear operator
                 equations",
  publisher =    pub-WILEY,
  address =      pub-WILEY:adr,
  pages =        "viii + 225",
  year =         "1969",
  MRclass =      "65.10 (46.00)",
  MRnumber =     "MR0240944 (39 \#2289)",
  MRreviewer =   "Jagdish Chandra",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/m/moore-ramon-e.bib",
  series =       "With an appendix by Ramon E. Moore",
}

@Book{Daniel:1970:CTO,
  author =       "James W. Daniel and Ramon E. Moore",
  title =        "Computation and Theory in Ordinary Differential
                 Equations",
  publisher =    "W. H. Freeman",
  address =      "San Francisco, CA, USA",
  pages =        "xi + 172",
  year =         "1970",
  ISBN =         "0-7167-0440-4",
  ISBN-13 =      "978-0-7167-0440-9",
  LCCN =         "QA372 .D28",
  MRclass =      "65.60",
  MRnumber =     "MR0267765 (42 \#2667)",
  MRreviewer =   "T. E. Hull",
  bibdate =      "Fri Jan 12 11:37:56 1996",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/m/moore-ramon-e.bib",
  note =         "Sec. 5.8 (pp. 86--89) and Sec. 6.6 (pp. 100--101)",
  acknowledgement = ack-jr,
}

@Article{Moore:1970:SLR,
  author =       "Ramon E. Moore",
  title =        "On the stability of linear recurrence equations with
                 arbitrary time lags",
  journal =      j-J-COMP-SYS-SCI,
  volume =       "4",
  number =       "4",
  pages =        "377--383",
  month =        aug,
  year =         "1970",
  CODEN =        "JCSSBM",
  DOI =          "http://dx.doi.org/10.1016/S0022-0000(70)80019-8",
  ISSN =         "0022-0000 (print), 1090-2724 (electronic)",
  ISSN-L =       "0022-0000",
  MRclass =      "39.30",
  MRnumber =     "MR0265803 (42 \#712)",
  MRreviewer =   "A. Smajdor",
  bibdate =      "Sat May 27 07:35:27 MDT 2006",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/m/moore-ramon-e.bib",
  ZMnumber =     "0198.13302",
  acknowledgement = ack-nhfb,
  fjournal =     "Journal of Computer and System Sciences",
  journal-URL =  "http://www.sciencedirect.com/science/journal/00220000",
  keywords =     "ordinary differential equations",
}

@Article{Moore:1972:RCT,
  author =       "Ramon E. Moore and James W. Daniel and W. E. Boyce",
  title =        "Reviews: {Computation and Theory in Ordinary
                 Differential Equations}",
  journal =      j-AMER-MATH-MONTHLY,
  volume =       "79",
  number =       "4",
  pages =        "407--408",
  year =         "1972",
  CODEN =        "AMMYAE",
  ISSN =         "0002-9890 (print), 1930-0972 (electronic)",
  ISSN-L =       "0002-9890",
  MRclass =      "Contributed Item",
  MRnumber =     "MR1536701",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/m/moore-ramon-e.bib",
  fjournal =     "The American Mathematical Monthly",
  journal-URL =  "http://www.jstor.org/page/journal/amermathmont/about.html",
}

@Book{Moore:1975:MES,
  author =       "Ramon E. Moore",
  title =        "Mathematical elements of scientific computing",
  publisher =    pub-HRW,
  address =      pub-HRW:adr,
  pages =        "x + 237",
  year =         "1975",
  ISBN =         "0-03-088125-0",
  ISBN-13 =      "978-0-03-088125-1",
  LCCN =         "QA 297 .M64 1975",
  bibdate =      "Sat May 27 07:35:27 MDT 2006",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/m/moore-ramon-e.bib",
  ZMnumber =     "0376.65001",
  acknowledgement = ack-nhfb,
  classmath =    "65-01 Textbooks (numerical analysis); 65Fxx Numerical
                 linear algebra; 65Dxx Numerical approximation; 65Lxx
                 Numerical methods for ODE; 65Hxx Nonlinear algebraic or
                 transcendental equations",
  keywords =     "interval arithmetic",
}

@Article{Moore:1976:CRR,
  author =       "R. E. Moore",
  title =        "On Computing the Range of a Rational Function of $n$
                 Variables over a Bounded Region",
  journal =      j-COMPUTING,
  volume =       "16",
  number =       "1--2",
  pages =        "1--15",
  year =         "1976",
  CODEN =        "CMPTA2",
  ISSN =         "0010-485X (print), 1436-5057 (electronic)",
  ISSN-L =       "0010-485X",
  bibdate =      "Tue Jan 2 17:40:52 MST 2001",
  bibsource =    "Compendex database;
                 http://www.math.utah.edu/pub/bibnet/authors/m/moore-ramon-e.bib;
                 INSPEC Axiom database (1968--date)",
  URL =          "http://springerlink.metapress.com/openurl.asp?genre=journal&issn=0010-485X",
  ZMnumber =     "0345.65024",
  acknowledgement = ack-nhfb,
  affiliation =  "Univ. of Wisconsin, Madison, WI, USA",
  classification = "723; 921; B0290D; C4120; C7310",
  classmath =    "*65H10 Systems of nonlinear equations (numerical
                 methods) 65G50 Roundoff error",
  description =  "function evaluation",
  fjournal =     "Computing: Archiv f{\"u}r informatik und numerik",
  journal-URL =  "http://link.springer.com/journal/607",
  journalabr =   "Comput (Vienna/NY)",
  keywords =     "bounded region; computational mathematics; computer
                 programming --- Subroutines; digital computing;
                 internal analysis; mathematical programming;
                 mathematical techniques; ranges of values; rational
                 function",
}

@Article{Moore:1977:SSR,
  author =       "R. E. Moore and S. T. Jones",
  title =        "Safe starting regions for iterative methods",
  journal =      j-SIAM-J-NUMER-ANAL,
  volume =       "14",
  number =       "6",
  pages =        "1051--1065",
  year =         "1977",
  CODEN =        "SJNAAM",
  ISSN =         "0036-1429 (print), 1095-7170 (electronic)",
  ISSN-L =       "0036-1429",
  bibdate =      "Sat May 27 07:35:27 MDT 2006",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/m/moore-ramon-e.bib;
                 JSTOR database",
  ZMnumber =     "0371.65009",
  acknowledgement = ack-nhfb,
  classmath =    "*65H10 Systems of nonlinear equations (numerical
                 methods)",
  fjournal =     "SIAM Journal on Numerical Analysis",
  journal-URL =  "http://epubs.siam.org/sinum",
}

@Article{Moore:1977:TES,
  author =       "R. E. Moore",
  title =        "A test for existence of solutions to nonlinear
                 systems",
  journal =      j-SIAM-J-NUMER-ANAL,
  volume =       "14",
  number =       "??",
  pages =        "611--615",
  year =         "1977",
  CODEN =        "SJNAAM",
  ISSN =         "0036-1429 (print), 1095-7170 (electronic)",
  ISSN-L =       "0036-1429",
  bibdate =      "Sat May 27 07:35:27 MDT 2006",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/m/moore-ramon-e.bib",
  ZMnumber =     "0365.65034",
  acknowledgement = ack-nhfb,
  classmath =    "*65H10 Systems of nonlinear equations (numerical
                 methods) 65G50 Roundoff error",
  fjournal =     "SIAM Journal on Numerical Analysis",
  journal-URL =  "http://epubs.siam.org/sinum",
}

@Article{Moore:1978:BSF,
  author =       "R. E. Moore",
  title =        "Bounding sets in function spaces with applications to
                 nonlinear operator equations",
  journal =      j-SIAM-REVIEW,
  volume =       "20",
  number =       "??",
  pages =        "492--512",
  year =         "1978",
  CODEN =        "SIREAD",
  ISSN =         "0036-1445 (print), 1095-7200 (electronic)",
  ISSN-L =       "0036-1445",
  bibdate =      "Sat May 27 07:35:27 MDT 2006",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/m/moore-ramon-e.bib",
  ZMnumber =     "0392.65020",
  acknowledgement = ack-nhfb,
  classmath =    "*65J15 Equations with nonlinear operators (numerical
                 methods) 65G30 Interval and finite arithmetic 65L05
                 Initial value problems for ODE (numerical methods)
                 65L10 Boundary value problems for ODE (numerical
                 methods)",
  fjournal =     "SIAM Review",
  journal-URL =  "http://epubs.siam.org/sirev",
  keywords =     "Bounding Sets; Interval Method; Newton - Kantorovich
                 Method; Nonlinear Operator Equations",
}

@Article{Moore:1978:CTC,
  author =       "R. E. Moore",
  title =        "A computational test for convergence of iterative
                 methods for nonlinear systems",
  journal =      j-SIAM-J-NUMER-ANAL,
  volume =       "15",
  number =       "6",
  pages =        "1194--1196",
  month =        dec,
  year =         "1978",
  CODEN =        "SJNAAM",
  ISSN =         "0036-1429 (print), 1095-7170 (electronic)",
  ISSN-L =       "0036-1429",
  bibdate =      "Sat May 27 07:35:27 MDT 2006",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/m/moore-ramon-e.bib",
  ZMnumber =     "0395.65020",
  acknowledgement = ack-nhfb,
  classmath =    "*65H10 Systems of nonlinear equations (numerical
                 methods)",
  fjournal =     "SIAM Journal on Numerical Analysis",
  journal-URL =  "http://epubs.siam.org/sinum",
  keywords =     "Computational Test; Convergence of Iterative Methods;
                 Newton-Type Sequence; Solution to a Nonlinear System of
                 Equations",
}

@TechReport{Moore79,
  author =       "R. E. Moore",
  title =        "Handling complex queries in a distributed database",
  type =         "Technical Note, Artificial Intelligence",
  number =       "170",
  institution =  "SRI International",
  address =      "Menlo Park, CA, USA",
  pages =        "????",
  year =         "1979",
  bibdate =      "Sat May 27 08:22:28 2006",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/m/moore-ramon-e.bib",
  acknowledgement = ack-nhfb,
}

@TechReport{Moore:1979:AEC,
  author =       "R. E. Moore and others",
  title =        "{AIRDOS-EPA}: {A} Computerized Methodology for
                 Estimating Environmental Concentrations and Dose to Man
                 from Airborne Releases of Radionuclides",
  type =         "Technical Report",
  number =       "ORNL-5532",
  institution =  "Oak Ridge National Laboratory",
  address =      "Oak Ridge, Tenn.",
  year =         "1979",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/m/moore-ramon-e.bib",
  referred =     "[Horw91a].",
  xxnote =       "Is this Ramon E. Moore?",
}

@Book{Moore:1979:MAI,
  author =       "Ramon E. Moore",
  title =        "Methods and Applications of Interval Analysis",
  publisher =    pub-SIAM,
  address =      pub-SIAM:adr,
  pages =        "xi + 190",
  year =         "1979",
  ISBN =         "0-89871-161-4",
  ISBN-13 =      "978-0-89871-161-5",
  LCCN =         "QA297.75 .M66",
  MRclass =      "65G10 (65-02)",
  MRnumber =     "MR551212 (81b:65040)",
  MRreviewer =   "H. Ratschek",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/m/moore-ramon-e.bib",
  ZMnumber =     "0417.65022",
  abstract =     "Chapter 3 of this book discusses differentiation
                 arithmetic as a recursive iteration. That is, for
                 calculating Taylor coefficients.",
  classmath =    "*65G30 Interval and finite arithmetic 65-02 Research
                 monographs (numerical analysis) 65C05 Monte Carlo
                 methods 65Kxx Numerical methods in mathematical
                 programming and optimization 65L05 Initial value
                 problems for ODE (numerical methods) 65L10 Boundary
                 value problems for ODE (numerical methods) 65J10
                 Equations with linear operators (numerical methods)",
  keywords =     "bibliography; boundary value problems; differential
                 equations; differential inequalities; error-bound
                 estimates; existence and convergence of iterative
                 solutions; Gaussian elimination; interval analysis;
                 interval extension of a real function; interval Newton
                 method; interval searching procedures; iterative
                 methods; linear and nonlinear algebraic systems; linear
                 and nonlinear programming; metric topology for
                 intervals; operator equations; rounded interval
                 analysis; starting and stopping criteria; Taylor
                 series; wrapping effect",
  referred =     "[Corl87a]; [Corl91a]; [Garl85a] \#980; [Aber88a];
                 [Corl88a]; [Layn91a]; [Neid89a]; [Rall80a]; [Rall81a];
                 [Rall85a]; [Rall91a].",
}

@InProceedings{Moore:1980:IMN,
  author =       "R. E. Moore",
  title =        "Interval Methods for Nonlinear Systems",
  crossref =     "Alefeld:1980:FNC",
  volume =       "2",
  pages =        "113--120",
  year =         "1980",
  bibdate =      "Fri Oct 15 21:05:35 1999",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/m/moore-ramon-e.bib",
  series =       j-COMPUTING-SUPPLEMENTUM,
  ZMnumber =     "0437.65055",
  acknowledgement = ack-nhfb,
  classmath =    "*65H10 Systems of nonlinear equations (numerical
                 methods) 65G30 Interval and finite arithmetic 65F10
                 Iterative methods for linear systems",
  keywords =     "bisection procedures; computational tests; convergence
                 of an iteration process; existence of a solution in the
                 region; existence of solutions; interval arithmetic;
                 nonexistence of a solution in the region; numerical
                 example",
}

@Article{Moore:1980:MIA,
  author =       "R. E. Moore",
  title =        "Microprogrammed interval arithmetic",
  journal =      j-SIGNUM,
  volume =       "15",
  number =       "2",
  pages =        "30--30",
  month =        jun,
  year =         "1980",
  CODEN =        "SNEWD6",
  ISSN =         "0163-5778 (print), 1558-0237 (electronic)",
  ISSN-L =       "0163-5778",
  bibdate =      "Tue Apr 12 07:50:08 MDT 2005",
  bibsource =    "http://portal.acm.org/;
                 http://www.math.utah.edu/pub/bibnet/authors/m/moore-ramon-e.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "ACM SIGNUM Newsletter",
}

@InCollection{Moore:1980:NRN,
  author =       "Ramon E. Moore",
  title =        "New results on nonlinear systems",
  crossref =     "Nickel:1980:IMP",
  pages =        "165--180",
  year =         "1980",
  MRclass =      "65G10 (65H10)",
  MRnumber =     "MR651363 (83c:65105)",
  bibdate =      "Sat May 27 07:35:27 MDT 2006",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/m/moore-ramon-e.bib",
  ZMnumber =     "0539.65034",
  abstract =     "{[For the entire collection see Zbl 0527.00029.] Verf.
                 berichtet {\"u}ber einige neue Ergebnisse zur
                 L{\"o}sung nichtlinearer Gleichungssysteme mit Hilfe
                 von Intervalloperatoren. Er erw{\"a}hnt Existenz- und
                 Nichtexistenztests, ein Konvergenzkriterium, welches
                 von Rall mit dem Kantorovich Theorem verglichen wurde,
                 sowie Suchalgorithmen zur Bestimmung eines
                 Anfangsintervalls, in welchem eine L{\"o}sung liegt. Er
                 gibt auch ein Beispiel an, f{\"u}r welches sich der
                 Rechenaufwand aufgrund der speziellen Struktur des
                 Gleichungssystems reduzieren l{\"a}{\ss}t.}",
  acknowledgement = ack-nhfb,
  classmath =    "*65H10 Systems of nonlinear equations (numerical
                 methods) 65G30 Interval and finite arithmetic",
  keywords =     "convergence criterion; interval arithmetic; search
                 algorithm",
  reviewer =     "R.Krawczyk",
}

@Article{Moore:1980:STA,
  author =       "R. E. Moore and J. B. Kioustelidis",
  title =        "A simple test for accuracy of approximate solutions to
                 nonlinear (or linear) systems",
  journal =      j-SIAM-J-NUMER-ANAL,
  volume =       "17",
  number =       "4",
  pages =        "521--529",
  month =        aug,
  year =         "1980",
  CODEN =        "SJNAAM",
  ISSN =         "0036-1429 (print), 1095-7170 (electronic)",
  ISSN-L =       "0036-1429",
  MRclass =      "65G10 (65H10)",
  MRnumber =     "83e:65085",
  bibdate =      "Sat May 27 07:35:27 MDT 2006",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/m/moore-ramon-e.bib;
                 JSTOR database",
  ZMnumber =     "0457.65031",
  acknowledgement = ack-nhfb,
  classmath =    "*65H10 Systems of nonlinear equations (numerical
                 methods) 65F05 Direct methods for linear systems 65G30
                 Interval and finite arithmetic",
  fjournal =     "SIAM Journal on Numerical Analysis",
  journal-URL =  "http://epubs.siam.org/sinum",
  keywords =     "intermediate theorem; interval analysis; test for
                 accuracy",
}

@Article{Asaithambi:1982:CRV,
  author =       "N. S. Asaithambi and Shen Zuhe and R. E. Moore",
  title =        "On Computing the Range of Values",
  journal =      j-COMPUTING,
  volume =       "28",
  number =       "3",
  pages =        "225--237",
  year =         "1982",
  CODEN =        "CMPTA2",
  ISSN =         "0010-485X (print), 1436-5057 (electronic)",
  ISSN-L =       "0010-485X",
  MRclass =      "65G10",
  MRnumber =     "83d:65136",
  bibdate =      "Tue Oct 12 16:33:42 MDT 1999",
  bibsource =    "Compendex database;
                 http://www.math.utah.edu/pub/bibnet/authors/m/moore-ramon-e.bib;
                 MathSciNet database",
  URL =          "http://springerlink.metapress.com/openurl.asp?genre=journal&issn=0010-485X",
  acknowledgement = ack-nhfb,
  affiliation =  "Univ of Wis, Madison, USA",
  classification = "723",
  fjournal =     "Computing: Archiv f{\"u}r informatik und numerik",
  journal-URL =  "http://link.springer.com/journal/607",
  journalabr =   "Computing (Vienna/New York)",
  keywords =     "computer programming",
}

@Article{Moore:1982:GMU,
  author =       "R. E. Moore",
  title =        "A generalization of the method of upper and lower
                 solutions for integral equations",
  journal =      "Nonlinear Anal., Theory Methods Appl.",
  volume =       "6",
  number =       "??",
  pages =        "829--831",
  year =         "1982",
  bibdate =      "Sat May 27 07:35:27 MDT 2006",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/m/moore-ramon-e.bib",
  ZMnumber =     "0495.65055",
  acknowledgement = ack-nhfb,
  classmath =    "*65R20 Integral equations (numerical methods) 65G30
                 Interval and finite arithmetic 65R20 Integral equations
                 (numerical methods) 45G10 Nonsingular nonlinear
                 integral equations",
  keywords =     "integral inequalities; interval arithmetic; interval
                 integration; interval-valued function; upper and lower
                 solutions; Urysohn integral equations",
}

@Article{Moore:1982:SIT,
  author =       "R. E. Moore and L. Qi",
  title =        "A Successive Interval Test for Nonlinear Systems",
  journal =      j-SIAM-J-NUMER-ANAL,
  volume =       "19",
  number =       "4",
  pages =        "845--850",
  month =        aug,
  year =         "1982",
  CODEN =        "SJNAAM",
  ISSN =         "0036-1429 (print), 1095-7170 (electronic)",
  ISSN-L =       "0036-1429",
  MRclass =      "65H10 (65J15)",
  MRnumber =     "83f:65080",
  bibdate =      "Fri Oct 16 06:57:22 MDT 1998",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/m/moore-ramon-e.bib;
                 JSTOR database",
  ZMnumber =     "0497.65027",
  acknowledgement = ack-nhfb,
  fjournal =     "SIAM Journal on Numerical Analysis",
  journal-URL =  "http://epubs.siam.org/sinum",
  keywords =     "interval-analysis; interval-operator;
                 Krawczyk-operator",
}

@Article{Moore:1983:IVC,
  author =       "R. E. Moore and Zuhe Shen",
  title =        "An interval version of Chebyshev's method for
                 nonlinear operator equations",
  journal =      "Nonlinear Anal., Theory Methods Appl.",
  volume =       "7",
  number =       "??",
  pages =        "21--34",
  year =         "1983",
  bibdate =      "Sat May 27 07:35:27 MDT 2006",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/m/moore-ramon-e.bib",
  ZMnumber =     "0505.65015",
  acknowledgement = ack-nhfb,
  classmath =    "*65J15 Equations with nonlinear operators (numerical
                 methods) 65G30 Interval and finite arithmetic 65L05
                 Initial value problems for ODE (numerical methods)
                 65L10 Boundary value problems for ODE (numerical
                 methods) 65N22 Solution of discretized equations (BVP
                 of PDE)",
  keywords =     "Banach function space; Chebyshev's method;
                 convergence; existence; interval arithmetic; interval
                 version of Newton's method; Kantorovich theorem;
                 uniqueness",
}

@TechReport{Moore:1984:RAM,
  author =       "Ramon E. Moore",
  title =        "Risk analysis without {Monte Carlo} methods",
  type =         "{Freiburger Intervall-Berichte}",
  number =       "84/1",
  institution =  "Universit{\"a}t Freiburg",
  address =      "Freiburg, Germany",
  pages =        "48",
  year =         "1984",
  bibdate =      "Tue Dec 31 13:58:10 2013",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/m/moore-ramon-e.bib",
  acknowledgement = ack-nhfb,
}

@InProceedings{Moore:1984:SIM,
  author =       "Ramon E. Moore",
  title =        "A Survey of Interval Methods for Differential
                 Equations",
  crossref =     "IEEE:1984:PIC",
  pages =        "1529--1535",
  year =         "1984",
  bibdate =      "Sat May 27 08:15:24 2006",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/m/moore-ramon-e.bib",
  acknowledgement = ack-nhfb,
}

@Book{Moore:1985:CFA,
  author =       "Ramon E. Moore",
  title =        "Computational functional analysis",
  publisher =    pub-ELLIS-HORWOOD,
  address =      pub-ELLIS-HORWOOD:adr,
  pages =        "156",
  year =         "1985",
  ISBN =         "0-85312-807-3",
  ISBN-13 =      "978-0-85312-807-6",
  MRclass =      "47-01 (46-01 47A50 47H17 58Cxx 65-01 65Jxx 90Cxx)",
  MRnumber =     "MR783431 (87a:47001)",
  MRreviewer =   "Heinz W. Engl",
  bibdate =      "Sat May 27 07:54:15 MDT 2006",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/m/moore-ramon-e.bib",
  series =       "Mathematics and its Applications",
  ZMnumber =     "0574.46001",
  abstract =     "The aim of the book is to apply concepts and
                 techniques of functional analysis to approximate
                 solutions of operator equations (algebraic, linear,
                 non-linear, differential, integral and
                 others).\par

                 Chapters 1 to 12 contain introductory topics from
                 functional analysis: linear spaces, topological and
                 metric spaces, Banach and Hilbert spaces, linear
                 functionals and operators, types of convergence,
                 reproducing kernel Hilbert spaces, compact operators.
                 The rest of the book is devoted to approximate methods
                 of solving operator equations: Newton's type methods,
                 Galerkin's method, interval methods, homotopy and
                 continuation methods.\par

                 The book is clearly written, contains many worked
                 numerical examples and can be used as an excellent
                 text-book for one --- or two --- semester courses at
                 the first year graduate level",
  acknowledgement = ack-nhfb,
  classmath =    "*46-01 Textbooks (functional analysis) 65-01 Textbooks
                 (numerical analysis) 65J05 General theory of numerical
                 methods in abstract spaces 47A50 Equations and
                 inequalities involving linear operators 46B03
                 Isomorphic theory (including renorming) of Banach
                 spaces",
  keywords =     "approximate solutions of operator equations; Banach
                 and Hilbert spaces; compact operators; Galerkin's
                 method; homotopy and continuation methods; interval
                 methods; linear functionals and operators; Newton's
                 type methods; reproducing kernel Hilbert spaces;
                 topological and metric spaces; types of convergence",
  reviewer =     "S.Cobzas",
}

@Book{Moore:1988:RC,
  editor =       "Ramon E. Moore",
  title =        "Reliability in computing",
  volume =       "19",
  publisher =    "Academic Press Inc.",
  address =      "Boston, MA",
  pages =        "xvi + 428",
  year =         "1988",
  ISBN =         "0-12-505630-3",
  ISBN-13 =      "978-0-12-505630-4",
  MRclass =      "65-06 (68-06 68U20)",
  MRnumber =     "MR988456 (89j:65011)",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/m/moore-ramon-e.bib",
  note =         "The role of interval methods in scientific computing",
  series =       "Perspectives in Computing",
}

@Article{Moore:1988:USA,
  author =       "R. E. Moore",
  title =        "Utilizing the {SNA} alert in the management of
                 multivendor networks",
  journal =      j-IBM-SYS-J,
  volume =       "27",
  number =       "1",
  pages =        "15--31",
  month =        jan,
  year =         "1988",
  CODEN =        "IBMSA7",
  ISSN =         "0018-8670",
  bibdate =      "Tue Mar 19 17:38:46 1996",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/m/moore-ramon-e.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "IBM Systems Journal",
  keywords =     "design; management",
  subject =      "C.2.1 Computer Systems Organization,
                 COMPUTER-COMMUNICATION NETWORKS, Network Architecture
                 and Design, SNA \\ C.2.3 Computer Systems Organization,
                 COMPUTER-COMMUNICATION NETWORKS, Network Operations,
                 Network management",
  xxnote =       "Is this Ramon E. Moore?",
}

@Article{Moore:1991:GOP,
  author =       "Ramon E. Moore",
  title =        "Global optimization to prescribed accuracy",
  journal =      j-COMP-MATH-APPL,
  volume =       "21",
  number =       "6--7",
  pages =        "25--39",
  year =         "1991",
  CODEN =        "CMAPDK",
  DOI =          "http://dx.doi.org/10.1016/0898-1221(91)90158-Z",
  ISSN =         "0898-1221 (print), 1873-7668 (electronic)",
  ISSN-L =       "0898-1221",
  MRclass =      "90C30 (65K10)",
  MRnumber =     "MR1096131 (91m:90159)",
  bibdate =      "Sat May 27 07:54:15 MDT 2006",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/m/moore-ramon-e.bib",
  ZMnumber =     "0725.65062",
  abstract =     "The author presents his view on the role of interval
                 arithmetic and on the use of multiple precision in the
                 field of global optimization. After an introductory
                 section on order relations and on interval arithmetic,
                 round-off errors are discussed in connection with
                 fixed-precision floating-point arithmetic. Results
                 obtained in this arithmetic are compared with those
                 using interval tools combined with an outward rounding.
                 The role of computing the ranges of functions and of
                 computing with sets is emphasized.\par

                 A central section addresses the problem of formulating
                 an appropriate stopping criterion. It is illustrated by
                 examples using the interval Newton method. Remarks on
                 user-controlled arbitrary precision interval arithmetic
                 are added where this precision can be varied during the
                 computation, if necessary. The paper ends with some
                 essentials of interval methods for global optimization
                 and with some directions for future research",
  acknowledgement = ack-nhfb,
  classmath =    "*65K05 Mathematical programming (numerical methods)
                 65G30 Interval and finite arithmetic 65H10 Systems of
                 nonlinear equations (numerical methods) 90C30 Nonlinear
                 programming",
  fjournal =     "Computers \& Mathematics with Applications. An
                 International Journal",
  keywords =     "floating-point arithmetic; global optimization;
                 interval arithmetic; interval Newton method; multiple
                 precision; round-off errors; stopping criterion",
  reviewer =     "G.Mayer (Karlsruhe)",
}

@InCollection{Moore:1991:ITC,
  author =       "Ramon E. Moore",
  title =        "Interval tools for computer aided proofs in analysis",
  crossref =     "Meyer:1991:CAP",
  volume =       "28",
  number =       "??",
  pages =        "211--216",
  year =         "1991",
  MRclass =      "68T15 (65G10)",
  MRnumber =     "MR1101373 (92a:68132)",
  bibdate =      "Sat May 27 07:54:15 MDT 2006",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/m/moore-ramon-e.bib",
  series =       "IMA Vol. Math. Appl.",
  ZMnumber =     "0753.65036",
  abstract =     "[For the entire collection see Zbl 0741.00031.]
                 Author's summary: A brief survey of theory and software
                 implementations of interval and related techniques for
                 computing with machine representable sets is presented
                 with applications to computer aided proofs in analysis.
                 Recent work on variable precision software is
                 discussed",
  acknowledgement = ack-nhfb,
  classmath =    "*65G30 Interval and finite arithmetic",
  keywords =     "computer aided proof; interval arithmetic; survey;
                 variable precision software",
  reviewer =     "R.Anguelov (Bulawayo)",
}

@InCollection{Moore:1991:TMC,
  author =       "Ramon E. Moore",
  title =        "Interval tools for computer aided proofs in analysis",
  crossref =     "Meyer:1991:CAP",
  pages =        "??--??",
  year =         "1991",
  bibdate =      "Sat May 27 07:41:52 2006",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/m/moore-ramon-e.bib",
  acknowledgement = ack-nhfb,
}

@InProceedings{Moore:1992:RMG,
  author =       "Ramon Moore and Eldon Hansen and Anthony Leclerc",
  title =        "Rigorous methods for global optimization",
  crossref =     "Floudas:1992:RAG",
  pages =        "321--342",
  year =         "1992",
  bibdate =      "Fri Sep 19 15:31:23 2003",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/m/moore-ramon-e.bib",
  acknowledgement = ack-nhfb,
}

@Article{Moore:1993:EGO,
  author =       "Ramon E. Moore",
  title =        "Erratum to: {``Global optimization to prescribed
                 accuracy'' [Comput.\ Math.\ Appl.\ \bf 21 (1991), no.\
                 6-7, 25--39; MR1096131 (91m:90159)]}",
  journal =      j-COMP-MATH-APPL,
  volume =       "25",
  number =       "10--11",
  pages =        "187",
  year =         "1993",
  CODEN =        "CMAPDK",
  DOI =          "http://dx.doi.org/10.1016/0898-1221(93)90292-4",
  ISSN =         "0898-1221 (print), 1873-7668 (electronic)",
  ISSN-L =       "0898-1221",
  MRclass =      "90C30 (65K10)",
  MRnumber =     "MR1213541 (94b:90074)",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/m/moore-ramon-e.bib",
  fjournal =     "Computers \& Mathematics with Applications. An
                 International Journal",
}

@Article{Moore:1993:RCM,
  author =       "R. E. Moore",
  title =        "The resolution of close minima",
  journal =      j-COMP-MATH-APPL,
  volume =       "25",
  number =       "10--11",
  pages =        "57--58",
  month =        may # "\slash " # jun,
  year =         "1993",
  CODEN =        "CMAPDK",
  DOI =          "http://dx.doi.org/10.1016/0898-1221(93)90281-Y",
  ISSN =         "0898-1221 (print), 1873-7668 (electronic)",
  ISSN-L =       "0898-1221",
  bibdate =      "Thu Dec 29 07:35:16 2011",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/m/moore-ramon-e.bib",
  URL =          "http://www.sciencedirect.com/science/article/pii/089812219390281Y",
  abstract =     "Interval methods enable us to isolate nearby roots of
                 a function with a resolution that depends only on the
                 number of digits carried. A one-dimensional example
                 illustrates the point. Similar methods are available
                 for higher dimensional examples. The methods can be
                 applied to minimization problems.",
  acknowledgement = ack-nhfb,
  fjournal =     "Computers and Mathematics with Applications",
}

@Article{Moore:1994:NSD,
  author =       "R. E. Moore",
  title =        "Numerical solution of differential equations to
                 prescribed accuracy",
  journal =      j-COMP-MATH-APPL,
  volume =       "28",
  number =       "10--12",
  pages =        "253--261",
  month =        nov # "\slash " # dec,
  year =         "1994",
  CODEN =        "CMAPDK",
  DOI =          "http://dx.doi.org/10.1016/0898-1221(94)00195-2",
  ISSN =         "0898-1221 (print), 1873-7668 (electronic)",
  ISSN-L =       "0898-1221",
  bibdate =      "Thu Dec 14 17:23:52 MST 1995",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/m/moore-ramon-e.bib",
  abstract =     "The basic ideas for numerical solution to differential
                 equations to prescribed accuracy is this: using set
                 methods (based on interval arithmetic) we can compute
                 rigorous upper and lower bounds to exact solutions. If
                 these bounds are not satisfactorily close together,
                 then we can do more computing until they are, carrying
                 more digits, or doing whatever the computer needs to do
                 to get the prescribed accuracy. A review of recent
                 results and a history of the invention of new types of
                 numbers for new types of problems are presented.",
  acknowledgement = ack-nhfb,
  affiliation =  "Dept. of Comput. and Inf. Sci., Ohio State Univ.,
                 Columbus, OH, USA",
  classification = "B0290P (Differential equations); C1160
                 (Combinatorial mathematics); C4170 (Differential
                 equations); C7310 (Mathematics computing)",
  fjournal =     "Computers and Mathematics with Applications",
  keywords =     "Accuracy; Computing; Differential equations; Digits;
                 History; Interval arithmetic; Lower bounds; Numerical
                 solution; Upper bounds",
  language =     "English",
  pubcountry =   "UK",
  thesaurus =    "Differential equations; Digital arithmetic; History;
                 Mathematics computing; Number theory; Numerical
                 analysis",
  xxauthor =     "N. E. Moore",
}

@Article{Bird:1995:AAA,
  author =       "B. R. Bird and C. Brotman and R. Case and G. Dudley
                 and R. E. Moore and M. Peters",
  title =        "Advances in {APPN} architecture",
  journal =      j-IBM-SYS-J,
  volume =       "34",
  number =       "3",
  pages =        "430--451",
  year =         "1995",
  CODEN =        "IBMSA7",
  ISSN =         "0018-8670",
  bibdate =      "Tue Mar 19 17:38:46 1996",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/m/moore-ramon-e.bib",
  URL =          "http://www.research.ibm.com/journal/sj34-3.html#seven",
  abstract =     "In this paper, we discuss the evolving environment and
                 requirements for the Advanced Peer-to-Peer Networking*
                 (APPN*) architecture and the accommodation of these
                 changes in basic directory, topology, and configuration
                 services, as well as in application transport
                 capabilities. We use high-performance routing, a recent
                 APPN extension, as an example of the adaptation of the
                 architecture to emerging high-speed communication
                 facilities and the increasing trend to multiprotocol
                 networks. Finally, we discuss some extensions to
                 switched support and network management in APPN and
                 speculate on possible future considerations.",
  acknowledgement = ack-nhfb,
  affiliation =  "IBM Networking Hardware Div., Research Triangle Park,
                 NC, USA",
  classification = "B6210L (Computer communications); C5620 (Computer
                 networks and techniques); C5670 (Network performance)",
  fjournal =     "IBM Systems Journal",
  keywords =     "Advanced Peer-to-Peer Networking architecture;
                 Application transport; APPN architecture; High speed
                 communication; High-performance routing; IBM;
                 Multiprotocol networks; Network configuration services;
                 Network directory; Network management; Network
                 topology; Switched support",
  language =     "English",
  pubcountry =   "USA",
  thesaurus =    "Computer networks; IBM computers; Performance
                 evaluation; Protocols; Telecommunication network
                 routing",
  xxnote =       "Is this Ramon E. Moore?",
}

@Article{Moore:1999:D,
  author =       "R. E. Moore",
  title =        "The dawning",
  journal =      j-RELIABLE-COMPUTING,
  volume =       "5",
  pages =        "423--424",
  year =         "1999",
  CODEN =        "RCOMF8",
  ISSN =         "1385-3139 (print), 1573-1340 (electronic)",
  ISSN-L =       "1385-3139",
  bibdate =      "Thu Jun 20 10:54:26 2002",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/m/moore-ramon-e.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Reliable Computing = Nadezhnye vychisleniia",
  journal-URL =  "http://www.springerlink.com/content/1385-3139",
}

@Misc{Hansen:2001:EWR,
  author =       "Eldon Hansen and Bill Walster and Ray Moore and
                 others",
  title =        "Early works of {Ray Moore}",
  howpublished = "World-Wide Web document",
  month =        sep,
  year =         "2001",
  bibdate =      "Sat Sep 29 09:06:35 2001",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/m/moore-ramon-e.bib",
  note =         "From an announcement by R. Baker Kearfott {\tt
                 <rbk\penalty0@\penalty0louisiana.edu>} to the {\tt
                 reliable\_computing\penalty0@\penalty0interval.louisiana.edu}
                 list on Fri, 28 Sep 2001 19:56:51 -0500: ``Bill Walster
                 has collected the early works of Ray Moore and his
                 colleagues, has scanned them into electronic form, and
                 has obtained permission from the publishers to post
                 them. (Sun has sponsored this endeavor, including
                 paying copyright fees.) Eldon Hansen has written a
                 short introduction, that I have converted to HTML. This
                 HTML file contains links to the actual papers (in PDF
                 format), that you can access and read.''",
  URL =          "http://interval.louisiana.edu/Moores_early_papers/bibliography.html",
  acknowledgement = ack-nhfb,
}

@Article{Moore:2002:SSF,
  author =       "Ramon E. Moore",
  title =        "Sparse systems in fixed point form",
  journal =      j-RELIABLE-COMPUTING,
  volume =       "8",
  number =       "4",
  pages =        "249--265",
  year =         "2002",
  CODEN =        "RCOMF8",
  DOI =          "http://dx.doi.org/10.1023/A:1016390830247",
  ISSN =         "1385-3139 (print), 1573-1340 (electronic)",
  ISSN-L =       "1385-3139",
  MRclass =      "65H10 (65G40)",
  MRnumber =     "MR1914593 (2003e:65089)",
  MRreviewer =   "M. A. Wolfe",
  bibdate =      "Sat May 27 07:54:15 MDT 2006",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/m/moore-ramon-e.bib",
  ZMnumber =     "0999.65040",
  abstract =     "(1) A method is shown for reducing dimension of sparse
                 systems of equations given in fixed point form.
                 Economic models provide examples.\par

                 (2) A given box to be searched for solutions can be
                 reduced using interval intersections.\par

                 (3) Interval Newton-like methods using either
                 derivatives or slopes can be applied to the reduced
                 system",
  acknowledgement = ack-nhfb,
  classmath =    "*65H10 Systems of nonlinear equations (numerical
                 methods) 65G30 Interval and finite arithmetic",
  fjournal =     "Reliable Computing. An International Journal Devoted
                 to Reliable Mathematical Computations Based on Finite
                 Representations and Guaranteed Accuracy",
  journal-URL =  "http://www.springerlink.com/content/1385-3139",
  keywords =     "dimension reduction; fixed point; interval Newton-like
                 methods; sparse systems",
}

@Article{Moore:2003:IAF,
  author =       "Ramon Moore and Weldon Lodwick",
  title =        "Interval analysis and fuzzy set theory",
  journal =      j-FUZZY-SETS-SYSTEMS,
  volume =       "135",
  number =       "1",
  pages =        "5--9",
  year =         "2003",
  CODEN =        "FSSYD8",
  DOI =          "http://dx.doi.org/10.1016/S0165-0114(02)00246-4",
  ISSN =         "0165-0114",
  ISSN-L =       "0165-0114",
  MRclass =      "65G40 (03E72)",
  MRnumber =     "1977533",
  bibdate =      "Sat May 27 07:54:15 MDT 2006",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/m/moore-ramon-e.bib",
  ZMnumber =     "1015.03513",
  abstract =     "An overview of interval analysis, its development, and
                 its relationship to fuzzy set theory is given. Possible
                 areas of further fruitful research are highlighted",
  acknowledgement = ack-nhfb,
  classmath =    "*03E72 Fuzzy sets (logic) 65G40 General methods in
                 interval analysis",
  fjournal =     "Fuzzy Sets and Systems. An International Journal in
                 Information Science and Engineering",
  keywords =     "fuzzy interval analysis; fuzzy set theory; interval
                 analysis; validation methods",
}

@InProceedings{Moore:2005:ORR,
  author =       "Ramon E. Moore",
  title =        "Order Relations and Rigor in Computing",
  crossref =     "Haddad:2005:ACP",
  pages =        "1431--1433",
  year =         "2005",
  DOI =          "http://doi.acm.org/10.1145/1066677.1067003",
  bibdate =      "Tue Oct 23 11:22:46 2007",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/m/moore-ramon-e.bib",
  note =         "Keynote address.",
  abstract =     "Rigor in computing depends in many ways on the
                 integrity of order relations. Commonly used hardware
                 floating-point arithmetic can destroy that integrity.
                 An available remedy is discussed with examples.",
  acknowledgement = ack-nhfb,
  keywords =     "interval arithmetic",
}

@Article{Moore:2006:IRR,
  author =       "Ramon E. Moore",
  title =        "Introductory remarks on reliable engineering
                 computing",
  journal =      j-RELIABLE-COMPUTING,
  volume =       "12",
  number =       "6",
  pages =        "405--408",
  year =         "2006",
  CODEN =        "RCOMF8",
  DOI =          "http://dx.doi.org/10.1007/s11155-006-9011-8",
  ISSN =         "1385-3139 (print), 1573-1340 (electronic)",
  ISSN-L =       "1385-3139",
  MRclass =      "65G30",
  MRnumber =     "2278780",
  bibdate =      "Tue Aug 24 19:17:39 2010",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/m/moore-ramon-e.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Reliable Computing. An International Journal Devoted
                 to Reliable Mathematical Computations Based on Finite
                 Representations and Guaranteed Accuracy",
  journal-URL =  "http://www.springerlink.com/content/1385-3139",
}

@Book{Moore:2007:CFA,
  author =       "Ramon E. Moore and Michael J. Cloud",
  title =        "Computational Functional Analysis",
  publisher =    pub-ELLIS-HORWOOD,
  address =      pub-ELLIS-HORWOOD:adr,
  edition =      "Second",
  pages =        "xii + 180",
  year =         "2007",
  ISBN =         "1-904275-24-9",
  ISBN-13 =      "978-1-904275-24-4",
  LCCN =         "????",
  bibdate =      "Wed Dec 27 14:41:26 2006",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/m/moore-ramon-e.bib",
  price =        "US\$60",
  URL =          "http://www.horwoodpublishing.net/bookpage.php?id=110",
  acknowledgement = ack-nhfb,
  remark =       "See also first edition \cite{Moore:1985:CFA}.",
}

@Book{Moore:2009:IIA,
  author =       "Ramon E. Moore and R. Baker Kearfott and Michael J.
                 Cloud",
  title =        "Introduction to interval analysis",
  publisher =    pub-SIAM,
  address =      pub-SIAM:adr,
  pages =        "xii + 223",
  year =         "2009",
  ISBN =         "0-89871-669-1",
  ISBN-13 =      "978-0-89871-669-6",
  MRclass =      "65G40",
  MRnumber =     "2482682 (2010d:65106)",
  MRreviewer =   "G. Alefeld",
  bibdate =      "Mon Aug 23 19:25:57 2010",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/k/kearfott-r-baker.bib;
                 http://www.math.utah.edu/pub/bibnet/authors/m/moore-ramon-e.bib",
  ZMnumber =     "1168.65002",
  abstract =     "The use of interval analysis has steadily increased
                 over the past 40 years. This development was taken into
                 account when writing the present book. It presents the
                 basics in real interval arithmetic and covers
                 elementary methods for verifying and enclosing zeros of
                 functions, global minimizers, solutions of integral and
                 differential equations. It deals with integration of
                 interval functions and shows how interval methods can
                 be applied in various fields of science. Moreover, an
                 introduction into the interval toolbox INTLAB of MATLAB
                 is given in order to understand the many programs which
                 realize the algorithms of the book. Numerous examples
                 illustrate the theory and are spread over more than 220
                 pages.\par

                 The book starts with a short introduction on the
                 necessity of enclosures and on bounding roundoff
                 errors. The interval number system is presented in
                 Chapter 2 including set theoretic operations as well as
                 order relations and operations for intervals, interval
                 vectors, and interval matrices. Some historical
                 references are added. Chapter 3 discusses the problem
                 of computing with inexact initial data and therefore
                 results in first applications of interval arithmetic.
                 It considers outwardly rounded interval arithmetic and
                 gives a first glance to INTLAB. Chapter 4 is devoted to
                 algebraic properties of interval arithmetic, to
                 symmetric intervals and to inclusion isotonicity.
                 Interval functions are introduced in Chapter 5
                 including elementary interval functions and
                 interval-valued extensions of real functions together
                 with fundamental properties.\par

                 The topological side of intervals and of interval
                 arithmetic is considered in Chapter 6. Equipped with
                 the Hausdorff metric the set of intervals turns out to
                 be a complete metric space for which convergence and
                 continuity can be defined in the usual way. Nested
                 interval sequences, finite convergence, refinement of
                 interval extensions, and various centered forms are
                 additional topics of this chapter which is concluded by
                 the Skelboe--Moore algorithm. This algorithm is a
                 prototype of a branch-and-bound algorithm applied in
                 global optimization. Interval matrices form the subject
                 of the succeeding Chapter 7, where linear systems with
                 inexact input data are also discussed. In this
                 connection the Krawczyk method is mentioned as well as
                 the interval Gauss--Seidel method and Gaussian
                 elimination.\par

                 Nonlinear equations are studied in Chapter 8. Here the
                 interval Newton method is commented, and cases are
                 presented which imply the necessity of an extended
                 interval arithmetic. For systems of nonlinear equations
                 the Krawczyk method and multivariate interval Newton
                 methods are applied and safe starting intervals are
                 defined. Chapter 9 is devoted to the integration of
                 interval functions, particularly of interval
                 polynomials since for sufficiently smooth functions $f$
                 a Taylor expansion is used to construct an enclosure
                 for $f$. Therefore, automatic differentiation and
                 automatic generation of Taylor coefficients are also
                 handled in order to find enclosures for definite
                 integrals -- also multiple ones -- over $f$. A short
                 chapter lists some ideas for verifying and enclosing
                 solutions of integral equations, initial value
                 problems, and boundary value problems. Some literature
                 for partial differential equations is added. The final
                 Chapter 11 gives a first impression of how the tool
                 `interval analysis' is applied in practice. Problems
                 are listed which use computer-assisted proofs based on
                 interval arithmetic. A prototypical algorithm is
                 discussed for global optimization. Numerous examples
                 from engineering are mentioned.\par

                 An appendix covers a variety of topics: Sets and
                 functions, a formulary for intervals, hints for
                 selected exercises, Internet resources, and INTLAB
                 commands and functions. More than 250 references
                 conclude a wonderful book which is written for all who
                 are interested in scientific computation, in its
                 reliability, and in automatic verification of
                 results.",
  acknowledgement = ack-nhfb,
  keywords =     "automatic differentiation; automatic verification of
                 results; boundary value problems; branch-and-bound
                 algorithm; computer-assisted proofs; convergence;
                 initial value problems; integral equations; interval
                 analysis; interval arithmetic; interval functions;
                 interval matrices; interval Newton method; interval
                 sequences; INTLAB; Krawczyk method; numerical examples;
                 roundoff errors; scientific computation; Skelboe--Moore
                 algorithm",
}

%%% ====================================================================
%%%    Part 2 (of 2): Publications about Ramon Moore and/or his works

@Article{Hansen:1967:BRB,
  author =       "Eldon Hansen",
  title =        "Book Review: {{\booktitle{Interval Analysis}} (Ramon
                 E. Moore)}",
  journal =      j-SIAM-REVIEW,
  volume =       "9",
  number =       "3",
  pages =        "610--612",
  month =        "????",
  year =         "1967",
  CODEN =        "SIREAD",
  DOI =          "http://dx.doi.org/10.1137/1009099",
  ISSN =         "0036-1445 (print), 1095-7200 (electronic)",
  ISSN-L =       "0036-1445",
  bibdate =      "Thu Mar 27 09:05:48 MDT 2014",
  bibsource =    "http://epubs.siam.org/toc/siread/9/3;
                 http://www.math.utah.edu/pub/bibnet/authors/m/moore-ramon-e.bib;
                 http://www.math.utah.edu/pub/tex/bib/siamreview.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "SIAM Review",
  journal-URL =  "http://epubs.siam.org/sirev",
  onlinedate =   "July 1967",
}

@Article{Hull:1971:BRB,
  author =       "T. E. Hull",
  title =        "Book Review: {{\booktitle{Computation and Theory in
                 Ordinary Differential Equations}} (James W. Daniel and
                 Ramon E. Moore)}",
  journal =      j-SIAM-REVIEW,
  volume =       "13",
  number =       "3",
  pages =        "413--414",
  month =        "????",
  year =         "1971",
  CODEN =        "SIREAD",
  DOI =          "http://dx.doi.org/10.1137/1013086",
  ISSN =         "0036-1445 (print), 1095-7200 (electronic)",
  ISSN-L =       "0036-1445",
  bibdate =      "Thu Mar 27 09:06:30 MDT 2014",
  bibsource =    "http://epubs.siam.org/toc/siread/13/3;
                 http://www.math.utah.edu/pub/bibnet/authors/m/moore-ramon-e.bib;
                 http://www.math.utah.edu/pub/tex/bib/siamreview.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "SIAM Review",
  journal-URL =  "http://epubs.siam.org/sirev",
  onlinedate =   "July 1971",
}

%%% ====================================================================
%%% These entries must come last because they are cross-referenced
%%% by others above.

@Proceedings{IEEE:1963:PNE,
  editor =       "{IEEE}",
  key =          "IEEE NEC'63",
  booktitle =    "{Proceedings of the National Electronics Conference
                 (McCormick Place, Chicago, Illinois October 28--30,
                 1963)}",
  title =        "{Proceedings of the National Electronics Conference
                 (McCormick Place, Chicago, Illinois October 28--30,
                 1963)}",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "xxvii + 797 + vii",
  year =         "1963",
  bibdate =      "Fri Jan 12 16:47:30 MST 1996",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/m/moore-ramon-e.bib",
  acknowledgement = ack-nhfb,
  keywords =     "Electronics -- Congresses.",
}

@Book{Rall:1965:EDCa,
  editor =       "Louis B. Rall",
  booktitle =    "Error in Digital Computation, Vol. {I}",
  title =        "Error in Digital Computation, Vol. {I}",
  publisher =    pub-WILEY,
  address =      pub-WILEY:adr,
  pages =        "????",
  year =         "1965",
  LCCN =         "QA3 .U45 no.14-15",
  bibdate =      "Sat May 27 09:04:38 2006",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/m/moore-ramon-e.bib",
  note =         "Volume 1. Proceedings of an advanced seminar conducted
                 by the Mathematics Research Center, United States Army,
                 at the University of Wisconsin, Madison, October 5--7,
                 1964.",
  acknowledgement = ack-nhfb,
}

@Book{Rall:1965:EDCb,
  editor =       "Louis B. Rall",
  booktitle =    "Error in Digital Computation, Vol. {II}",
  title =        "Error in Digital Computation, Vol. {II}",
  publisher =    pub-WILEY,
  address =      pub-WILEY:adr,
  pages =        "????",
  year =         "1965",
  LCCN =         "QA3 .U45 no.14-15",
  bibdate =      "Sat May 27 09:04:38 2006",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/m/moore-ramon-e.bib",
  note =         "Volume 2. Proceedings of a symposium conducted by the
                 Mathematics Research Center, United States Army, at the
                 University of Wisconsin, Madison, April 26--28, 1965",
  acknowledgement = ack-nhfb,
}

@Proceedings{Unger:1969:TFM,
  editor =       "Lothar Collatz und Heinz Unger",
  booktitle =    "{Tagung {\"u}ber Funktionalanalytische Methoden der
                 Numerischen Mathematik (1967: Mathematisches
                 Forschungsinstitut Oberwolfach) Funktionalanalytische
                 Methoden der numerischen Mathematik.
                 Vortragsausz{\"u}ge der Tagung {\"u}ber
                 funktionalanalytische Methoden der numerischen
                 Mathematik vom 19. bis 25. Nov. 1967 im Mathematischen
                 Forschungsinstitut Oberwolfach}",
  title =        "{Tagung {\"u}ber Funktionalanalytische Methoden der
                 Numerischen Mathematik (1967: Mathematisches
                 Forschungsinstitut Oberwolfach) Funktionalanalytische
                 Methoden der numerischen Mathematik.
                 Vortragsausz{\"u}ge der Tagung {\"u}ber
                 funktionalanalytische Methoden der numerischen
                 Mathematik vom 19. bis 25. Nov. 1967 im Mathematischen
                 Forschungsinstitut Oberwolfach}",
  publisher =    pub-BIRKHAUSER,
  address =      pub-BIRKHAUSER:adr,
  pages =        "143",
  year =         "1969",
  LCCN =         "QA297 .T3 1967aa",
  bibdate =      "Sat May 27 08:54:42 2006",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/m/moore-ramon-e.bib",
  acknowledgement = ack-nhfb,
}

@Proceedings{Alefeld:1980:FNC,
  editor =       "G. Alefeld and R. D. Grigorieff",
  booktitle =    "Fundamentals of numerical computation
                 (computer-oriented numerical analysis)",
  title =        "Fundamentals of numerical computation
                 (computer-oriented numerical analysis)",
  volume =       "2",
  publisher =    pub-SPRINGER-WIEN,
  address =      pub-SPRINGER-WIEN:adr,
  pages =        "v + 229",
  year =         "1980",
  CODEN =        "COSPDM",
  ISBN =         "0-387-81566-X",
  ISBN-13 =      "978-0-387-81566-4",
  ISSN =         "0344-8029",
  LCCN =         "QA297 .F84",
  bibdate =      "Wed Oct 13 18:45:11 1999",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/m/moore-ramon-e.bib",
  note =         "In cooperation with R. Albrecht, U. Kulisch, and F.
                 Stummel. ``Mainly a collection of the invited lectures
                 which were given during a conference \ldots{} held in
                 June 5--8, 1979, on the occasion of the centennial of
                 the Technical University of Berlin.''",
  series =       j-COMPUTING-SUPPLEMENTUM,
  acknowledgement = ack-nhfb,
}

@Proceedings{Nickel:1980:IMP,
  editor =       "Karl L. E. Nickel",
  title =        "{Interval mathematics 1980: proceedings of an
                 International Symposium on Interval Mathematics, held
                 at the Institut f{\"u}r Angewandte Mathematik,
                 Universit{\"a}t Freiburg i. Br., Germany, May 27--31,
                 1980}",
  publisher =    pub-AP,
  address =      pub-AP:adr,
  pages =        "xv + 554",
  year =         "1980",
  ISBN =         "0-12-518850-1",
  ISBN-13 =      "978-0-12-518850-0",
  LCCN =         "QA297.75 .I57 1980",
  bibdate =      "Fri Dec 08 08:24:13 1995",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib;
                 http://www.math.utah.edu/pub/bibnet/authors/m/moore-ramon-e.bib",
  acknowledgement = ack-nhfb,
}

@Proceedings{IEEE:1984:PIC,
  editor =       "IEEE",
  booktitle =    "{Proceedings of the 23rd IEEE Conference on Decision
                 and Control, December 12--14, 1984, Las Vegas Hilton,
                 Las Vegas, Nevada}",
  title =        "{Proceedings of the 23rd IEEE Conference on Decision
                 and Control, December 12--14, 1984, Las Vegas Hilton,
                 Las Vegas, Nevada}",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "1776",
  year =         "1984",
  ISBN =         "????",
  ISBN-13 =      "????",
  LCCN =         "TJ217 .I17 1984",
  bibdate =      "Sat May 27 08:48:46 2006",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/m/moore-ramon-e.bib",
  note =         "Three volumes.",
  acknowledgement = ack-nhfb,
}

@Book{Moore:1988:RCR,
  editor =       "Ramon E. Moore",
  booktitle =    "Reliability in computing: the role of interval methods
                 in scientific computing",
  title =        "Reliability in computing: the role of interval methods
                 in scientific computing",
  volume =       "19",
  publisher =    pub-AP,
  address =      pub-AP:adr,
  pages =        "xv + 428",
  year =         "1988",
  ISBN =         "0-12-505630-3",
  ISBN-13 =      "978-0-12-505630-4",
  LCCN =         "QA76.9.E94 R45 1988",
  bibdate =      "Mon Dec 18 09:41:47 1995",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/m/moore-ramon-e.bib",
  series =       "Perspectives in computing",
  ZMnumber =     "0638.00033",
  acknowledgement = ack-nhfb,
  classmath =    "*00Bxx Conference proceedings and collections of
                 papers 65-06 Proceedings of conferences (numerical
                 analysis)",
  keywords =     "Computing; Interval methods; Reliability; Scientific
                 computing",
}

@Proceedings{Meyer:1991:CAP,
  editor =       "Kenneth R. (Kenneth Ray) Meyer and Dieter S. Schmidt",
  booktitle =    "Computer aided proofs in analysis",
  title =        "Computer aided proofs in analysis",
  volume =       "28",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "251",
  year =         "1991",
  ISBN =         "0-387-97426-1 (New York Berlin Heidelberg alk. paper)
                 3-540-97426-1",
  ISBN-13 =      "978-0-387-97426-2 (New York Berlin Heidelberg alk.
                 paper) 978-3-540-97426-0",
  LCCN =         "???? (Berlin Heidelberg New York: alk. paper)",
  bibdate =      "Sat Feb 24 15:01:45 MST 1996",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/m/moore-ramon-e.bib",
  series =       "The IMA volumes in mathematics and its applications",
  acknowledgement = ack-nhfb,
  keywords =     "Numerical analysis --- Data processing ---
                 Congresses.",
  remark =       "Proceedings of an IMA Participating Institutions (PI)
                 Conference held at the University of Cincinnati in
                 April 1989",
  tableofcontents = "Foreword. The conversion of a high order
                 programming language from floating-point arithmetic to
                 range arithmetic / Oliver Aberth \\
                 Sylvester's form of the resultant and the
                 matrix-triangularization subresultant PRS method /
                 Alkiviadis G. Akritas \\
                 Computing the Tsirelson space norm / Johnnie W. Baker,
                 Oberta A. Slotterbeck and Richard Aron \\
                 Floating-point systems for theorem proving / G.
                 Bohlender, J. Wolff von Gudenberg and W.L. Miranker \\
                 Computer algebra and indefinite integrals / Manuel
                 Bronstein \\
                 A computer-assisted approach to small-divisors problems
                 arising in Hamiltonian mechanics / Alessandra Celletti
                 and Luigi Chierchia \\
                 On a computer algebra aided proof in bifurcation theory
                 / Carmen Chicone and Marc Jacobs. MACSYMA program to
                 implement averaging using elliptic functions / Vincent
                 T. Coppola and Richard H. Rand \\
                 Validated anti-derivatives / George F. Corliss \\
                 A toolbox for nonlinear dynamics / Shannon Coffey
                 \ldots{} [et al.] \\
                 Computer assisted proofs of stability of matter / R. de
                 la Llave \\
                 Accurate strategies for K.A.M. bounds and their
                 implementation / R. de la Llave and D. Rana \\
                 A software tool for analysis in function spaces / J.-P.
                 Eckmann, A. Malaspinas and S. Oliffson Kamphorst \\
                 Equation solving by symbolic computation / Anthony C.
                 Hearn \\
                 Deciding a class of Euclidean geometry theorems with
                 Buchberger's algorithm / Bernhard Kutzler \\
                 Lie transform tutorial: II / Kenneth R. Meyer \\
                 Interval tools for computer aided proofs in analysis /
                 Ramon E. Moore. Tools for mathematical computation /
                 L.B. Rall \\
                 Shadowing trajectories of dynamical systems / Tim Sauer
                 and James A. Yorke \\
                 Transformation to versal normal form / Dieter S.
                 Schmidt \\
                 Computer assisted lower bounds for atomic energies /
                 Luis A. Seco.",
}

@Proceedings{Floudas:1992:RAG,
  editor =       "Christodoulos A. Floudas and Panos M. Pardalos",
  title =        "Recent advances in global optimization",
  publisher =    pub-PRINCETON,
  address =      pub-PRINCETON:adr,
  pages =        "x + 633",
  year =         "1992",
  ISBN =         "0-691-08740-7 (hardback), 0-691-02527-4 (paperback)",
  ISBN-13 =      "978-0-691-08740-5 (hardback), 978-0-691-02527-8
                 (paperback)",
  LCCN =         "QA402.5 .R42 1992",
  bibdate =      "Fri Sep 19 15:28:59 2003",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/m/moore-ramon-e.bib",
  note =         "Papers presented at a conference held at Princeton
                 University, May 10--11, 1991.",
  series =       "Princeton series in computer science",
  acknowledgement = ack-nhfb,
}

@Proceedings{Haddad:2005:ACP,
  editor =       "Hisham M. Haddad and others",
  booktitle =    "{Applied computing 2005: proceedings of the 2005 ACM
                 Symposium on Applied Computing, Santa Fe, New Mexico,
                 USA, March 13--17, 2005}",
  title =        "{Applied computing 2005: proceedings of the 2005 ACM
                 Symposium on Applied Computing, Santa Fe, New Mexico,
                 USA, March 13--17, 2005}",
  publisher =    pub-ACM,
  address =      pub-ACM:adr,
  pages =        "xlvi + 1739 (two volumes)",
  year =         "2005",
  ISBN =         "1-58113-964-0",
  ISBN-13 =      "978-1-58113-964-8",
  LCCN =         "QA76.76.A65 S95 2005",
  bibdate =      "Tue Oct 23 11:29:00 2007",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/m/moore-ramon-e.bib",
  acknowledgement = ack-nhfb,
}