Ramon E. Moore Explained

Ramon Edgar (Ray) Moore (27 December 1929) 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
2002Warwick TuckerDr. 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]
2004Thomas C. HalesDr. 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]
2006not awarded[10]
2008Kyoko Makino and Martin BerzFor 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]
2012Luc JaulinFor 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]
2014Kenta KobayashiFor 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]
2016Balazs Banhelyi, Tibor Csendes,, and Arnold NeumaierFor 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]
2018Jordi-Lluís Figueras, Alex Haro and Alejandro LuqueFor 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]
2021Marko Lange and Siegfried M. RumpFor their paper "Verified inclusions for a nearest matrix of specified rank deficiency via a generalization of Wedin's sin (θ) theorem" published in BIT Numerical Mathematics in 2021 (Vol. 61, pp. 361-380).[16]

See also

Further reading

External links

Notes and References

  1. Ramon E. Moore (1929–2015) . Reliable Computing . 2016 .
  2. Reviews of Interval Analysis:
    • 2004792 . Richtmeyer . R. D. . . none . 22 . 101 . 1968 . 219–212.
    • 23065173 . Alefeld . Goetz . . none . 53 . 2 . 2011 . 380–381.
    • 1722775 . Traub . J. F. . . none . 158 . 3799 . 1967 . 365. 10.1126/science.158.3799.365 . 1967Sci...158..365M .
    • 2028021 . Hanson . Eldon . . none . 9 . 3 . 1967 . 610–612.
  3. Review of Introduction to Interval Analysis:
    • 40590421 . Gavrilyuk . I. P. . . none . 79 . 269 . 2010 . 615–616. 10.1090/S0025-5718-09-02327-8 . free .
  4. Review of Methods and Applications of Interval Analysis:
    • 2029862 . Hanson . Eldon . . none . 23 . 1 . 1981 . 121–123.
  5. Web site: The R. E. Moore Prize for Applications of Interval Analysis: Description and Rationale . Department of Computer Science, University of Texas at El Paso . May 17, 2019.
  6. Web site: Reliable Computing - Springer. link.springer.com. en. 2018-08-13.
  7. Web site: RE Moore Prize . ja . May 17, 2019.
  8. Web site: Warwick Tucker Receives First R. E. Moore Prize. www.cs.utep.edu. 2018-08-13.
  9. Web site: Thomas C. Hales Receives Second R. E. Moore Prize. www.cs.utep.edu. 2018-08-13.
  10. Web site: R. E. Moore Prize for Applications of Interval Analysis . Department of Physics and Astronomy, University of Michigan . May 17, 2019.
  11. Web site: Kyoko Makino and Martin Berz Will Receive Third R. E. Moore Prize. www.cs.utep.edu. 2018-08-13.
  12. Web site: Luc Jaulin Awarded Receive Fourth R. E. Moore Prize. www.cs.utep.edu. 2018-08-13.
  13. Web site: Kenta Kobayashi Receives Fifth R. E. Moore Prize. www.cs.utep.edu. 2018-08-13.
  14. Web site: Balazs Banhelyi, Tibor Csendes, Tibor Krisztin, and Arnold Neumaier Receive Sixth R. E. Moore Prize. www.cs.utep.edu. 2018-08-13.
  15. Web site: Jordi-Lluís Figueras, Alex Haro and Alejandro Luque Receive Seventh R. E. Moore Prize. www.cs.utep.edu. 2020-03-09.
  16. Web site: Marko Lange and Siegfried M. Rump Receive Eighth R. E. Moore Prize. www.cs.utep.edu. 2024-06-18.