Ramon Edgar (Ray) Moore (December 27, 1929 – April 1, 2015[1]) was an American mathematician, known for his pioneering work in the field of interval arithmetic.
Moore received an AB degree in physics from the University of California, Berkeley in 1950, and a PhD in mathematics from Stanford University in 1963. His early career included work on the earliest computers (including ENIAC). He was awarded the Humboldt Research Award for U.S. senior scientists twice, in 1975 and 1980.[1]
His most well known work is his first book, Interval Analysis, published in 1966. He wrote several more books and many journal articles and technical reports.[2][3][4]
R. E. Moore Prize
The R. E. Moore Prize for Applications of Interval Analysis is an award in the interdisciplinary field of rigorous numerics. It is awarded biennially by the Computer Science Department at the University of Texas at El Paso,[5] and judged by the editorial board of the journal Reliable Computing.[6] The award was named in honor of Moore's contributions to interval analysis.[7]
Laureates
Year | Name | Citation |
---|---|---|
2002 | Warwick Tucker | Dr. Tucker has proved, using interval techniques, that the renowned Lorenz equations do in fact possess a strange attractor. This problem, Smale's 14th conjecture, is of particular note in large part because the Lorenz model is widely recognized as signaling the beginning of chaos theory[8] |
2004 | Thomas C. Hales | Dr. Hales solved this long-standing problem by using interval arithmetic. His preliminary results appeared in the Notices of the American Math Society in 2000; his full paper "The Kepler Conjecture" will appear in Annals of Mathematics, one of the world leading journals in pure mathematics.[9] |
2006 | not awarded[10] | |
2008 | Kyoko Makino and Martin Berz | For their paper "Suppression of the Wrapping Effect by Taylor Model-based Verified Integrators: Long-term Stabilization by Preconditioning" published in International Journal of Differential Equations and Applications in 2005 (Vol. 10, No. 4, pp. 353–384).[11] |
2012 | Luc Jaulin | For his paper "A nonlinear set-membership approach for the localization and map building of an underwater robot using interval constraint propagation" published in IEEE Transactions on Robotics in 2009 (Vol. 25, No. 1, pp. 88–98).[12] |
2014 | Kenta Kobayashi | For his paper "Computer-Assisted Uniqueness Proof for Stokes' Wave of Extreme Form" published in Nankai Series in Pure, Applied Mathematics and Theoretical Physics in 2013 (Vol. 10, pp. 54–67).[13] |
2016 | Balazs Banhelyi, Tibor Csendes, Tibor Krisztin, and Arnold Neumaier | For their paper "Global attractivity of the zero solution for Wright's equation" published in SIAM Journal on Applied Dynamical Systems in 2014 (Vol. 13, No. 1, pp. 537–563).[14] |
2018 | Jordi-Lluís Figueras, Alex Haro and Alejandro Luque | For their paper "Rigorous Computer-Assisted Application of KAM Theory: A Modern Approach", published in Foundations of Computational Mathematics in 2017 (Vol. 17, No. 5, pp. 1123–1193).[15] |
See also
References
- 1 2 "Ramon E. Moore (1929–2015)" (PDF). Reliable Computing. 2016.
- ↑ Reviews of Interval Analysis:
- Richtmeyer, R. D. (1968). Mathematics of Computation. 22 (101): 219–212. JSTOR 2004792.
{{cite journal}}
: CS1 maint: untitled periodical (link) - Alefeld, Goetz (2011). SIAM Review. 53 (2): 380–381. JSTOR 23065173.
{{cite journal}}
: CS1 maint: untitled periodical (link) - Traub, J. F. (1967). Science. 158 (3799): 365. Bibcode:1967Sci...158..365M. doi:10.1126/science.158.3799.365. JSTOR 1722775.
{{cite journal}}
: CS1 maint: untitled periodical (link) - Hanson, Eldon (1967). SIAM Review. 9 (3): 610–612. JSTOR 2028021.
{{cite journal}}
: CS1 maint: untitled periodical (link)
- Richtmeyer, R. D. (1968). Mathematics of Computation. 22 (101): 219–212. JSTOR 2004792.
- ↑ Review of Introduction to Interval Analysis:
- Gavrilyuk, I. P. (2010). Mathematics of Computation. 79 (269): 615–616. doi:10.1090/S0025-5718-09-02327-8. JSTOR 40590421.
{{cite journal}}
: CS1 maint: untitled periodical (link)
- Gavrilyuk, I. P. (2010). Mathematics of Computation. 79 (269): 615–616. doi:10.1090/S0025-5718-09-02327-8. JSTOR 40590421.
- ↑ Review of Methods and Applications of Interval Analysis:
- Hanson, Eldon (1981). SIAM Review. 23 (1): 121–123. JSTOR 2029862.
{{cite journal}}
: CS1 maint: untitled periodical (link)
- Hanson, Eldon (1981). SIAM Review. 23 (1): 121–123. JSTOR 2029862.
- ↑ "The R. E. Moore Prize for Applications of Interval Analysis: Description and Rationale". Department of Computer Science, University of Texas at El Paso. Retrieved May 17, 2019.
- ↑ "Reliable Computing - Springer". link.springer.com. Retrieved 2018-08-13.
- ↑ "RE Moore Prize" (in Japanese). Retrieved May 17, 2019.
- ↑ "Warwick Tucker Receives First R. E. Moore Prize". www.cs.utep.edu. Retrieved 2018-08-13.
- ↑ "Thomas C. Hales Receives Second R. E. Moore Prize". www.cs.utep.edu. Retrieved 2018-08-13.
- ↑ Department of Physics and Astronomy, University of Michigan. "R. E. Moore Prize for Applications of Interval Analysis". Retrieved May 17, 2019.
- ↑ "Kyoko Makino and Martin Berz Will Receive Third R. E. Moore Prize". www.cs.utep.edu. Retrieved 2018-08-13.
- ↑ "Luc Jaulin Awarded Receive Fourth R. E. Moore Prize". www.cs.utep.edu. Retrieved 2018-08-13.
- ↑ "Kenta Kobayashi Receives Fifth R. E. Moore Prize". www.cs.utep.edu. Retrieved 2018-08-13.
- ↑ "Balazs Banhelyi, Tibor Csendes, Tibor Krisztin, and Arnold Neumaier Receive Sixth R. E. Moore Prize". www.cs.utep.edu. Retrieved 2018-08-13.
- ↑ "Jordi-Lluís Figueras, Alex Haro and Alejandro Luque Receive Seventh R. E. Moore Prize". www.cs.utep.edu. Retrieved 2020-03-09.
Further reading
- Moore, Ramon E. (1966). Interval Analysis. Prentice-Hall.
External links
- Ramon E. Moore publications indexed by Google Scholar
- Faculty webpage
- R. E. Moore Prize
- Ramon E. Moore at the Mathematics Genealogy Project