40 Orchard Drive

Worthington, Ohio 43085

USA

rmoore17@columbus.rr.com

Born: 12/27/29, Sacramento, California

PhD, Mathematics, Stanford University, 1963

1982-86 Professor, Mathematics, Univ.of Texas-Arlington

1968-81 Professor, Computer Sciences, Univ. of Wisconsin-Madison

1965-68 Associate Professor, Univ. of Wisconsin-Madison

1965 Mathematics Research Center, Univ. of Wisconsin-Madison

1956-64 Lockheed Palo Alto Research Laboratories

1953-56 Univ. of California Radiation Laboratory-Livermore

1950-53 Computing Center, Aberdeen Proving Ground, Maryland

1975 Karlsruhe, Germany

1974 Oxford, England

1967 Stockholm, Sweden

2000-02 Sun Microsystems

1985-86 Lockheed MSC

1978-79 The World Bank

- Computational Functional Analysis, second edition (with M. J. Cloud), Horwood Publishing, 2007
- Computational Functional Analysis, Ellis Horwood and John Wiley, 1985
- Methods and Applications of Interval Analysis, S.I.A.M., 1979
- Mathematical Elements of Scientific Computing, Holt, Rinehart & Winston, 1975
- Computation and Theory in Ordinary Differential Equations (with J. W. Daniel), W. Freeman & Co., 1970
- Interval Analysis, Prentice-Hall, 1966

- Reliability in Computing, Academic Press, 1988

- Introductory remarks on reliable engineering computing, Reliable Computing, 12, 6 (2006), 405-408
- Order relations and rigor in computing, Proceedings of the ACM Symposium on Applied Computing SAC'2005, Santa Fe, New Mexico, March 13-17 (2005), 1431-1433
- Interval analysis and fuzzy set theory (with Weldon Lodwick), Fuzzy Sets and Systems, 135 (2003), 5-9
- Sparse systems in fixed point form, Reliable Computing, Vol. 8, No. 4 (2002), 249-265
- Interval analysis:systems of nonlinear equations; Interval analysis: differential equations, in Encyclopedia of Optimization (Eds: C.A. Floudas & P.M. Pardalos) Kluwer Academic (2001), 8-11, 34-40
- Numerical solutions of differential equations to prescribed accuracy, Computers and Mathematics with Applications, 28, 10/12 (1994), 253-261
- On the resolution of close minima, Computers and Mathematics with Applications, 25, 10/11 (1993), 57-58
- Parameter sets for bounded-error data, Mathematics and Computers in Simulation, 34 (1992), 113-119
- Rigorous methods for parallel global optimization (with E. Hansen and A. Leclerc), in Recent Advances in Global Optimization (Eds: C.A. Floudas & P.M. Pardalos), Princeton Univ. Press (1992), 321-342
- Interval tools for computer-aided proofs in analysis, in Computer Aided Proofs in Analysis, (Eds: K. Meyer & D. Schmidt), Springer (1991), 211-216
- Simple simultaneous super-and subfunctions, Journal of Integral Equations, 8, 1985, 165-174
- Set-valued extensions of integral inequalities, J. Integral Equations, 5, 1983, 187-198
- A generalization of the method of upper and lower solutions for integral equations, Nonlinear Analysis TMA, 6, 8, 1982, 829-831
- On computing the range of values (with N.S.Asaithambi&Shen Zuhe), Computing 28, 1982, 225-237
- New results on nonlinear systems, in Interval Mathematics 1980 (ed. K. Nickel), Academic Press (1980), 165-180
- Interval methods for nonlinear systems, Computing, Suppl. 2, 1980, 113-120
- A simple test for accuracy of approx. solutions to nonlinear systems (with J.B. Kioustelidis), SIAM J. Numer. Anal., 17, 4, 1980, 521-529
- A computational test for convergence of iterative methods for nonlinear systems, SIAM J. Numer. Anal., 15, 1978, 1194-1196
- Bounding sets in function spaces with application to nonlinear operator equations, SIAM Review, 20, 1978, 492-512
- Safe starting regions for iterative methods (with S. T. Jones), SIAM J. Numer. Anal., 14, 6, 1977, 1051-1065
- A test for existence, SIAM J. Numer. Anal., 14, 4, 1977, 611-615
- Two-sided approximations to solutions of nonlinear operator equations--a comparison of methods from classical analysis, functional analysis and interval analysis, in Interval Mathematics (Ed. K. Nickel), Lecture Notes in Computer Science, 29, Springer (1975), 31-47
- On the stability of linear recurrence relations with arbitrary time lags, J. Computer & System Sciences, 4, 4, 1970, 377-383
- Functional analysis for computers, In Funktional-analytische Methoden der Numerische Mathematik, Birkhauser (1969), 113-126
- Practical aspects of interval computation, Aplikace Mathematiky, Svacek 13, Prague, 1968, 52-92
- Inviscid flow in an accelerating cylindrical container (with L.M. Perko), J. Fluid Mechanics, 22, part 2, 1965, 305-320
- Automatic coordinate transformations ..., in Error in Digital Computation, Vol II, (Ed. L.B. Rall), Wiley (1965), 103-140
- The automatic analysis and control of error in digital computation based on the use of interval numbers, in Error in Digital Computation, Vol I, (Ed. L.B. Rall), Wiley (1965)
- Interval arithmetic and automatic error analysis in digital computing, PhD dissertation, Stanford University (1962), published as Applied Mathematics and Statistics Laboratories Technical Report No. 25.