A Bibliography of Publications of Ramon E.
Moore
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: beebe@math.utah.edu, beebe@acm.org,
beebe@computer.org, beebe@ieee.org (Internet)
WWW URL: http://www.math.utah.edu/~beebe/
19 February 2013
Version 0.13
Abstract
This bibliography records publications of Ramon E. Moore
Title word cross-reference
n [24].
1604 [15]. 1980 [65].
2005 [70]. 23rd [66].
3600 [15].
6-7 [48].
91m [48].
1
2
accuracy [35, 44, 48, 50]. ACM [70]. Advances [51, 69]. aided [68, 45, 46].
Airborne [30]. AIRDOS [30]. AIRDOS-EPA [30]. alert [43].
Analysis [2, 4, 31, 58, 64, 68, 1, 9, 13, 17, 41, 45, 46, 55, 59].
Angewandte [65]. Appl. [48]. Applications [31, 14, 7, 27, 12].
Applied [70, 70]. APPN [51]. approximate [35]. arbitrary [21].
architecture [51]. Arithmetic [5, 15, 4, 11, 14, 7, 8, 33, 12]. aspects [16].
Automatic [1, 4, 10, 9].
based [9]. bis [63]. Bounded [24]. Bounding [27]. bounds [10]. Br [65].
CDC [15]. Chebyshev [39]. Chicago [60]. close [49]. Complex [7, 29].
Comput. [48]. Computation [20, 61, 62, 64, 1, 10, 16, 22].
Computational [41, 58, 19, 28]. Computer [68, 64, 45, 46].
computer-oriented [64]. Computerized [30]. computers [17, 12].
Computing [36, 4, 24, 56, 70, 9, 23, 42, 67, 57]. Concentrations [30].
Conference [60, 66]. Control [66, 9]. convergence [28]. coordinate [10].
database [29]. dawning [52]. December [66]. Decision [66]. Difeq [15, 6].
Differential [15, 20, 22, 40, 10, 50]. Digital [4, 61, 62, 1, 9, 12].
distributed [29]. Dose [30].
Early [53]. Electronics [60]. elements [23]. engineering [57].
Environmental [30]. EPA [30].
Equations [15, 20, 40, 10, 21, 27, 37, 39, 50, 19, 22]. Erratum [48].
Error [4, 61, 62, 1, 9, 10]. Estimating [30]. existence [26].
Fe [70]. fixed [54]. form [54]. Forschungsinstitut [63]. Freiburg [65].
Function [24, 27]. Functional [17, 58, 41]. Fundamentals [64].
Funktionalanalytische [63]. fuzzy [55].
generalization [37]. Germany [65]. Global [44, 48, 69, 47]. growth [10].
Handling [29]. held [65]. Hilton [66].
II [62]. Illinois [60]. im [63]. Institut [65]. integral [37]. Integrals [3].
integration [6]. International [65]. Interval [5, 15, 8, 2, 3, 4, 13, 31, 32, 38,
40, 45, 46, 55, 65, 11, 14, 12, 7, 9, 10, 16, 33, 39, 67, 59, 65].
Intervallanalyse [18]. Introduction [59]. Introductory [57].
iterative [25, 28].
lags [21]. linear [21, 35]. local [10]. lower [37].
Man [30]. management [43]. manual [6]. March [70]. Math. [48].
Mathematical [23]. mathematics [65]. Mathematik [65, 63].
3
Mathematischen [63]. Mathematisches [63]. May [65]. McCormick [60].
method [37, 39]. Methoden [63]. Methodology [30].
Methods [31, 32, 40, 25, 28, 67, 47]. Mexico [70]. Microprogrammed [33].
minima [49]. Moore [53]. MR1096131 [48]. MRC [11]. multivendor [43].
National [60]. networks [43]. Nevada [66]. no. [48].
Nonlinear [32, 38, 26, 27, 28, 34, 35, 39, 19]. Nov [63]. numbers [9].
Numerical [50, 64]. Numerischen [63].
Oberwolfach [63, 63]. October [60]. Operational [5].
operator [27, 39, 19]. optimization [69, 44, 47, 48]. Order [56].
Ordinary [20, 22, 10]. oriented [64].
Package [11]. Place [60]. point [54]. Practical [16].
prescribed [44, 48, 50]. proceedings [70, 65, 60, 66]. Program [15, 11].
Programming [14]. programs [8]. proofs [68, 45, 46].
queries [29].
Radionuclides [30]. Range [36, 24]. Ray [53]. recurrence [21].
reduce [10]. references [8]. Region [24]. regions [25]. Relations [56].
Releases [30]. Reliability [42, 67]. reliable [57]. remarks [57].
resolution [49]. results [34]. Reviews [22]. Rigor [56]. Rigorous [47].
role [67]. Rotational [24]. routine [6].
Safe [25]. Santa [70]. scientific [23, 67]. set [55]. sets [27]. simple [35].
SNA [43]. Solution [15, 50, 19]. solutions [10, 26, 35, 37]. some [7, 12].
spaces [27]. Sparse [54]. stability [21]. starting [25]. Successive [38].
Survey [40]. Symposium [70, 65]. Systems [32, 38, 26, 28, 34, 35, 54].
Tagung [63, 63]. Test [38, 26, 28, 35]. Theory [20, 22, 55]. time [21].
tools [45, 46]. transformations [10].
Universität [65]. upper [37]. USA [70]. use [9]. user [6]. Using [15].
Utilizing [43].
Values [36]. Variables [24]. Vegas [66]. version [39]. Vol [61, 62].
vom [63]. Vortragsauszüge [63].
works [53].
REFERENCES
4
References
Moore:1959:AEA
[1] R. E. Moore. Automatic error analysis in digital computation. Technical Report Space Div. Report LMSD84821, Lockheed Missiles and Space
Co., Sunnyvale, CA, USA, 1959. URL http://interval.louisiana.edu/
Moores_early_papers/Moore_Lockheed.pdf.
Moore:1959:IAI
[2] R. E. Moore and C. T. Yang. Interval analysis I. Technical Document LMSD-285875, Lockheed Missiles and Space Division, Sunnyvale,
CA, USA, 1959. URL http://interval.louisiana.edu/Moores_early_
papers/Moore_Yang.pdf.
Moore:1960:II
[3] R. E. Moore, W. Strother, and C. T. Yang. Interval integrals. Technical
Memorandum: Mathematics LMSD-703073, Lockheed Missiles and Space
Division, Sunnyvale, CA, USA, 1960. URL http://interval.louisiana.
edu/Moores_early_papers/Moore_integrals.pdf.
Moore:1962:IAA
[4] R. E. Moore. Interval Arithmetic and Automatic Error Analysis in Digital Computing. Ph.D. dissertation, Department of Mathematics, Stanford
University, Stanford, CA, USA, November 1962. URL http://interval.
louisiana.edu/Moores_early_papers/disert.pdf. Also published as
Applied Mathematics and Statistics Laboratories Technical Report No. 25.
Boche:1963:OIA
[5] R. E. Boche.
An operational interval arithmetic.
In IEEE [60],
page ?? URL http://interval.louisiana.edu/Moores_early_papers/
Boche_operational.pdf.
Moore:1964:DIR
[6] R. E. Moore, J. A. Davison, H. R. Jaschke, and S. Shayer. DIFEQ integration routine — user’s manual. Technical Report LMSC6-90-64-6,, Lockheed
Missiles and Space Co., Los Angeles, CA, 1964. URL http://interval.
louisiana.edu/Moores_early_papers/Moore_DIFEQ.pdf.
Boche:1965:CIA
[7] R. E. Boche. Complex interval arithmetic with some applications. Technical Report LMSC4-22-66-1, Lockheed Missiles and Space Co., Sunnyvale,
CA, USA, 1965. URL http://interval.louisiana.edu/Moores_early_
papers/Boche_complex.pdf.
REFERENCES
5
Miller:1965:IAP
[8] M. E. Miller. Interval arithmetic programs and references. Memo, Lockheed Missiles and Space Div., Sunnyvale, CA, USA, 1965. URL http:
//interval.louisiana.edu/Moores_early_papers/Miller_programs.
pdf.
Moore:1965:AACa
[9] Ramon E. Moore. The automatic analysis and control of error in digital computing based on the use of interval numbers. In Rall [61], chapter 2, pages 61–130. LCCN QA3 .U45 no.14-15. URL http://interval.
louisiana.edu/Moores_early_papers/Moore_in_Rall_V1.pdf. 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.
Moore:1965:AACb
[10] Ramon E. Moore. Automatic local coordinate transformations to reduce
the growth of error bounds in interval computation of solutions of ordinary
differential equations. In Rall [62], chapter 2, pages 103–140. LCCN QA3
.U45 no.14-15. URL http://interval.louisiana.edu/Moores_early_
papers/Moore_in_Rall_V2.pdf. 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.
Reiter:1965:IAP
[11] A. Reiter. Interval arithmetic package: MRC program 2. Coop organ, code-wisc. math. res. center, University of Wisconsin, Madison, 1965.
URL http://interval.louisiana.edu/Moores_early_papers/Reiter_
package.pdf.
Shayer:1965:IAS
[12] S. Shayer. Interval arithmetic with some applications for digital computers.
Technical Report LMSD5-13-65-12, Lockheed Missiles and Space Co., Sunnyvale, CA, USA, 1965. URL http://interval.louisiana.edu/Moores_
early_papers/Shayer_applications.pdf.
Moore:1966:IA
[13] Ramon E. Moore. Interval analysis. Prentice-Hall, Upper Saddle River,
NJ 07458, USA, 1966. xi + 145 pp. LCCN QA297 .M63.
Reiter:1967:PIA
[14] A. Reiter. Programming interval arithmetic and applications. In Proceedings of the 1967 Army Numerical Analysis Conference, pages 87–98. U. S.
REFERENCES
6
Army Research Office, Durham, NC, USA, 1967. URL http://interval.
louisiana.edu/Moores_early_papers/Reiter_programming.pdf. Army
Research Office Rep. 67-3.
Braun:1968:PSD
[15] J. A. Braun and R. E. Moore. A program for the solution of differential equations using interval arithmetic (difeq) for the CDC 3600 and
the CDC 1604. MRC Technical Summary 901, University of Wisconsin,
Madison, 1968. URL http://interval.louisiana.edu/Moores_early_
papers/addendum/Braun1968aprogram.pdf.
Moore:1968:PAI
[16] R. E. Moore. Practical aspects of interval computation. Aplikace Matematiky, 13(??):52–92, 1968. CODEN APMTAK. ISSN 0373-6725.
Moore:1969:FAC
[17] Ramon E. Moore. Functional analysis for computers. In und Heinz Unger
[63], pages 113–126. LCCN QA297 .T3 1967aa.
Moore:1969:IUD
[18] Ramon E. Moore. Intervallanalyse. R. Oldenbourg, München, Germany,
1969. DM 39.00. Translated to German by Dieter Pfaffenzeller.
Rall:1969:CSN
[19] Louis B. Rall. Computational solution of nonlinear operator equations.
With an appendix by Ramon E. Moore. Wiley, New York, NY, USA, 1969.
viii + 225 pp.
Daniel:1970:CTO
[20] James W. Daniel and Ramon E. Moore. Computation and Theory in Ordinary Differential Equations. W. H. Freeman, San Francisco, CA, USA,
1970. ISBN 0-7167-0440-4. xi + 172 pp. LCCN QA372 .D28. Sec. 5.8 (pp.
86–89) and Sec. 6.6 (pp. 100–101).
Moore:1970:SLR
[21] Ramon E. Moore. On the stability of linear recurrence equations with
arbitrary time lags. Journal of Computer and System Sciences, 4(4):377–
383, August 1970. CODEN JCSSBM. ISSN 0022-0000 (print), 1090-2724
(electronic).
Moore:1972:RCT
[22] Ramon E. Moore, James W. Daniel, and W. E. Boyce. Reviews: Computation and Theory in Ordinary Differential Equations. American Mathemat-
REFERENCES
7
ical Monthly, 79(4):407–408, 1972. CODEN AMMYAE. ISSN 0002-9890
(print), 1930-0972 (electronic).
Moore:1975:MES
[23] Ramon E. Moore. Mathematical elements of scientific computing. Holt,
Rinehart, and Winston, New York, NY, USA, 1975. ISBN 0-03-088125-0.
x + 237 pp. LCCN QA 297 .M64 1975.
Moore:1976:CRR
[24] R. E. Moore. On computing the range of a rotational function of n variables
over a bounded region. Computing: Archiv für informatik und numerik, 16
(1–2):1–15, 1976. CODEN CMPTA2. ISSN 0010-485X (print), 1436-5057
(electronic). URL http://springerlink.metapress.com/openurl.asp?
genre=journal&issn=0010-485X.
Moore:1977:SSR
[25] R. E. Moore and S. T. Jones. Safe starting regions for iterative methods.
SIAM Journal on Numerical Analysis, 14(6):1051–1065, 1977. CODEN
SJNAAM. ISSN 0036-1429 (print), 1095-7170 (electronic).
Moore:1977:TES
[26] R. E. Moore. A test for existence of solutions to nonlinear systems. SIAM
Journal on Numerical Analysis, 14(??):611–615, 1977. CODEN SJNAAM.
ISSN 0036-1429 (print), 1095-7170 (electronic).
Moore:1978:BSF
[27] R. E. Moore. Bounding sets in function spaces with applications to nonlinear operator equations. SIAM Review, 20(??):492–512, 1978. CODEN
SIREAD. ISSN 0036-1445 (print), 1095-7200 (electronic).
Moore:1978:CTC
[28] R. E. Moore. A computational test for convergence of iterative methods for
nonlinear systems. SIAM Journal on Numerical Analysis, 15(6):1194–1196,
December 1978. CODEN SJNAAM. ISSN 0036-1429 (print), 1095-7170
(electronic).
Moore79
[29] R. E. Moore. Handling complex queries in a distributed database. Technical
Note, Artificial Intelligence 170, SRI International, Menlo Park, CA, USA,
1979. ???? pp.
REFERENCES
8
Moore:1979:AEC
[30] R. E. Moore et al. AIRDOS-EPA: A computerized methodology for estimating environmental concentrations and dose to man from airborne releases of radionuclides. Technical Report ORNL-5532, Oak Ridge National
Laboratory, Oak Ridge, Tenn., 1979.
Moore:1979:MAI
[31] Ramon E. Moore. Methods and Applications of Interval Analysis. Society
for Industrial and Applied Mathematics, Philadelphia, PA, USA, 1979.
ISBN 0-89871-161-4. xi + 190 pp. LCCN QA297.75 .M66.
Moore:1980:IMN
[32] R. E. Moore. Interval methods for nonlinear systems. In Alefeld and
Grigorieff [64], pages 113–120. CODEN COSPDM. ISBN 0-387-81566-X.
ISSN 0344-8029. LCCN QA297 .F84. In cooperation with R. Albrecht, U.
Kulisch, and F. Stummel. “Mainly a collection of the invited lectures which
were given during a conference . . . held in June 5–8, 1979, on the occasion
of the centennial of the Technical University of Berlin.”.
Moore:1980:MIA
[33] R. E. Moore. Microprogrammed interval arithmetic. ACM SIGNUM
Newsletter, 15(2):30, June 1980. CODEN SNEWD6. ISSN 0163-5778
(print), 1558-0237 (electronic).
Moore:1980:NRN
[34] Ramon E. Moore. New results on nonlinear systems. In Nickel [65], pages
165–180. ISBN 0-12-518850-1. LCCN QA297.75 .I57 1980.
Moore:1980:STA
[35] R. E. Moore and J. B. Kioustelidis. A simple test for accuracy of approximate solutions to nonlinear (or linear) systems. SIAM Journal on Numerical Analysis, 17(4):521–529, August 1980. CODEN SJNAAM. ISSN
0036-1429 (print), 1095-7170 (electronic).
Asaithambi:1982:CRV
[36] N. S. Asaithambi, Shen Zuhe, and R. E. Moore. On computing the
range of values. Computing: Archiv für informatik und numerik, 28(3):
225–237, 1982. CODEN CMPTA2. ISSN 0010-485X (print), 1436-5057
(electronic). URL http://springerlink.metapress.com/openurl.asp?
genre=journal&issn=0010-485X.
REFERENCES
9
Moore:1982:GMU
[37] R. E. Moore. A generalization of the method of upper and lower solutions
for integral equations. Nonlinear Anal., Theory Methods Appl., 6(??):829–
831, 1982.
Moore:1982:SIT
[38] R. E. Moore and L. Qi. A successive interval test for nonlinear systems.
SIAM Journal on Numerical Analysis, 19(4):845–850, August 1982. CODEN SJNAAM. ISSN 0036-1429 (print), 1095-7170 (electronic).
Moore:1983:IVC
[39] R. E. Moore and Zuhe Shen. An interval version of chebyshev’s method
for nonlinear operator equations. Nonlinear Anal., Theory Methods Appl.,
7(??):21–34, 1983.
Moore:1984:SIM
[40] Ramon E. Moore. A survey of interval methods for differential equations.
In IEEE [66], pages 1529–1535. ISBN ???? LCCN TJ217 .I17 1984. Three
volumes.
Moore:1985:CFA
[41] Ramon E. Moore. Computational functional analysis. Mathematics and its
Applications. Ellis Horwood, New York, NY, USA, 1985. ISBN 0-85312807-3. 156 pp.
Moore:1988:RC
[42] Ramon E. Moore, editor. Reliability in computing, volume 19 of Perspectives in Computing. Academic Press Inc., Boston, MA, 1988. ISBN 012-505630-3. xvi + 428 pp. The role of interval methods in scientific
computing.
Moore:1988:USA
[43] R. E. Moore. Utilizing the SNA alert in the management of multivendor
networks. IBM Systems Journal, 27(1):15–31, January 1988. CODEN
IBMSA7. ISSN 0018-8670.
Moore:1991:GOP
[44] Ramon E. Moore. Global optimization to prescribed accuracy. Computers and Mathematics with Applications, 21(6–7):25–39, 1991. CODEN
CMAPDK. ISSN 0898-1221 (print), 1873-7668 (electronic).
REFERENCES
10
Moore:1991:ITC
[45] Ramon E. Moore. Interval tools for computer aided proofs in analysis.
In Meyer and Schmidt [68], pages 211–216. ISBN 0-387-97426-1 (New
York Berlin Heidelberg alk. paper) 3-540-97426-1. LCCN ???? (Berlin
Heidelberg New York: alk. paper).
Moore:1991:TMC
[46] Ramon E. Moore. Interval tools for computer aided proofs in analysis. In
Meyer and Schmidt [68], page ?? ISBN 0-387-97426-1 (New York Berlin
Heidelberg alk. paper) 3-540-97426-1. LCCN ???? (Berlin Heidelberg New
York: alk. paper).
Moore:1992:RMG
[47] Ramon Moore, Eldon Hansen, and Anthony Leclerc. Rigorous methods for
global optimization. In Floudas and Pardalos [69], pages 321–342. ISBN 0691-08740-7 (hardback), 0-691-02527-4 (paperback). LCCN QA402.5 .R42
1992. Papers presented at a conference held at Princeton University, May
10–11, 1991.
Moore:1993:EGO
[48] Ramon E. Moore. Erratum to: “Global optimization to prescribed accuracy” [Comput. Math. Appl. 21 (1991), no. 6-7, 25–39; MR1096131
(91m:90159)]. Computers and Mathematics with Applications, 25(10–11):
187, 1993. CODEN CMAPDK. ISSN 0898-1221 (print), 1873-7668 (electronic).
Moore:1993:RCM
[49] R. E. Moore. The resolution of close minima. Computers and Mathematics with Applications, 25(10–11):57–58, May/June 1993. CODEN
CMAPDK. ISSN 0898-1221 (print), 1873-7668 (electronic). URL http:
//www.sciencedirect.com/science/article/pii/089812219390281Y.
Moore:1994:NSD
[50] R. E. Moore. Numerical solution of differential equations to prescribed accuracy. Computers and Mathematics with Applications, 28(10–12):253–261,
November/December 1994. CODEN CMAPDK. ISSN 0898-1221 (print),
1873-7668 (electronic).
Bird:1995:AAA
[51] B. R. Bird, C. Brotman, R. Case, G. Dudley, R. E. Moore, and M. Peters.
Advances in APPN architecture. IBM Systems Journal, 34(3):430–451,
REFERENCES
11
1995. CODEN IBMSA7. ISSN 0018-8670. URL http://www.research.
ibm.com/journal/sj34-3.html#seven.
Moore:1999:D
[52] R. E. Moore. The dawning. Reliable Computing = Nadezhnye vychisleniia,
5:423–424, 1999. CODEN RCOMF8. ISSN 1385-3139 (print), 1573-1340
(electronic).
Hansen:2001:EWR
[53] Eldon Hansen, Bill Walster, Ray Moore, et al. Early works of Ray
Moore. World-Wide Web document, September 2001. URL http:/
/interval.louisiana.edu/Moores_early_papers/bibliography.html.
From an announcement by R. Baker Kearfott <rbk@louisiana.edu> to the
reliable computing@interval.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.”.
Moore:2002:SSF
[54] Ramon E. Moore. Sparse systems in fixed point form. Reliable Computing
= Nadezhnye vychisleniia, 8(4):249–265, 2002. CODEN RCOMF8. ISSN
1385-3139 (print), 1573-1340 (electronic).
Moore:2003:IAF
[55] Ramon Moore and Weldon Lodwick. Interval analysis and fuzzy set theory.
Fuzzy Sets and Systems, 135(1):5–9, 2003. CODEN FSSYD8. ISSN 01650114.
Moore:2005:ORR
[56] Ramon E. Moore. Order relations and rigor in computing. In Haddad et al.
[70], pages 1431–1433. ISBN 1-58113-964-0. LCCN QA76.76.A65 S95 2005.
Keynote address.
Moore:2006:IRR
[57] Ramon E. Moore. Introductory remarks on reliable engineering computing. Reliable Computing = Nadezhnye vychisleniia, 12(6):405–408, 2006.
CODEN RCOMF8. ISSN 1385-3139 (print), 1573-1340 (electronic).
REFERENCES
12
Moore:2007:CFA
[58] Ramon E. Moore and Michael J. Cloud. Computational Functional Analysis. Ellis Horwood, New York, NY, USA, second edition, 2007. ISBN
1-904275-24-9. xii + 180 pp. LCCN ???? US$60. URL http://www.
horwoodpublishing.net/bookpage.php?id=110.
Moore:2009:IIA
[59] Ramon E. Moore, R. Baker Kearfott, and Michael J. Cloud. Introduction to interval analysis. Society for Industrial and Applied Mathematics,
Philadelphia, PA, USA, 2009. ISBN 0-89871-669-1. xii + 223 pp.
IEEE:1963:PNE
[60] IEEE, editor. Proceedings of the National Electronics Conference (McCormick Place, Chicago, Illinois October 28–30, 1963). IEEE Computer
Society Press, 1109 Spring Street, Suite 300, Silver Spring, MD 20910,
USA, 1963.
Rall:1965:EDCa
[61] Louis B. Rall, editor. Error in Digital Computation, Vol. I. Wiley, New
York, NY, USA, 1965. ???? pp. LCCN QA3 .U45 no.14-15. 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.
Rall:1965:EDCb
[62] Louis B. Rall, editor. Error in Digital Computation, Vol. II. Wiley, New
York, NY, USA, 1965. ???? pp. LCCN QA3 .U45 no.14-15. 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.
Unger:1969:TFM
[63] Lothar Collatz und Heinz Unger, editor. Tagung über Funktionalanalytische Methoden der Numerischen Mathematik (1967: Mathematisches
Forschungsinstitut Oberwolfach) Funktionalanalytische Methoden der numerischen Mathematik. Vortragsauszüge der Tagung über funktionalanalytische Methoden der numerischen Mathematik vom 19. bis 25. Nov. 1967
im Mathematischen Forschungsinstitut Oberwolfach. Birkhäuser, Cambridge, MA, USA; Berlin, Germany; Basel, Switzerland, 1969. LCCN
QA297 .T3 1967aa.
REFERENCES
13
Alefeld:1980:FNC
[64] G. Alefeld and R. D. Grigorieff, editors. Fundamentals of numerical computation (computer-oriented numerical analysis), volume 2 of Computing.
Supplementum. Springer, Wien / New York, 1980. CODEN COSPDM.
ISBN 0-387-81566-X. ISSN 0344-8029. LCCN QA297 .F84. In cooperation with R. Albrecht, U. Kulisch, and F. Stummel. “Mainly a collection of
the invited lectures which were given during a conference . . . held in June
5–8, 1979, on the occasion of the centennial of the Technical University of
Berlin.”.
Nickel:1980:IMP
[65] Karl L. E. Nickel, editor. Interval mathematics 1980: proceedings of an
International Symposium on Interval Mathematics, held at the Institut für
Angewandte Mathematik, Universität Freiburg i. Br., Germany, May 27–
31, 1980. Academic Press Inc., New York, USA, 1980. ISBN 0-12-518850-1.
LCCN QA297.75 .I57 1980.
IEEE:1984:PIC
[66] IEEE, editor. Proceedings of the 23rd IEEE Conference on Decision and
Control, December 12–14, 1984, Las Vegas Hilton, Las Vegas, Nevada.
IEEE Computer Society Press, 1109 Spring Street, Suite 300, Silver Spring,
MD 20910, USA, 1984. ISBN ???? LCCN TJ217 .I17 1984. Three volumes.
Moore:1988:RCR
[67] Ramon E. Moore, editor. Reliability in computing: the role of interval
methods in scientific computing, volume 19 of Perspectives in computing.
Academic Press Inc., New York, USA, 1988. ISBN 0-12-505630-3. xv +
428 pp. LCCN QA76.9.E94 R45 1988.
Meyer:1991:CAP
[68] Kenneth R. (Kenneth Ray) Meyer and Dieter S. Schmidt, editors. Computer aided proofs in analysis, volume 28 of The IMA volumes in mathematics and its applications. Springer-Verlag, Berlin, Germany / Heidelberg,
Germany / London, UK / etc., 1991. ISBN 0-387-97426-1 (New York Berlin
Heidelberg alk. paper) 3-540-97426-1. LCCN ???? (Berlin Heidelberg New
York: alk. paper).
Floudas:1992:RAG
[69] Christodoulos A. Floudas and Panos M. Pardalos, editors. Recent advances
in global optimization, Princeton series in computer science. Princeton University Press, Princeton, NJ, USA, 1992. ISBN 0-691-08740-7 (hardback),
0-691-02527-4 (paperback). LCCN QA402.5 .R42 1992. Papers presented
at a conference held at Princeton University, May 10–11, 1991.
REFERENCES
14
Haddad:2005:ACP
[70] Hisham M. Haddad et al., editors. Applied computing 2005: proceedings of
the 2005 ACM Symposium on Applied Computing, Santa Fe, New Mexico,
USA, March 13–17, 2005. ACM Press, New York, NY 10036, USA, 2005.
ISBN 1-58113-964-0. LCCN QA76.76.A65 S95 2005.