| 释义 |
- Laureates
- References
- External links
{{AFC submission|d|nn|u=Jordi-Lluís Figueras|ns=118|decliner=K.e.coffman|declinets=20181025015944|ts=20180813111924}} {{AFC submission|d|v|u=Jordi-Lluís Figueras|ns=118|decliner=Gbawden|declinets=20180813103044|small=yes|ts=20180813091146}} {{AFC comment|1=As a prize from "an open electronic journal" (I assume meaning non-peer reviewed), this does not appear to be notable. K.e.coffman (talk) 01:59, 25 October 2018 (UTC)}}{{AFC comment|1=Are there any secondary sources to demonstrate notability? Gbawden (talk) 10:30, 13 August 2018 (UTC)}}
The R. E. Moore Prize for Applications of Interval Analysis is an award in the interdisciplinary field of rigorous numerics. It is awarded biannually, and judged by the editiorial board of the journal Reliable Computing..[1] 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[2] | | 2004 | Thomas C. Hale | 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.[3] | | 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).[4] | | 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).[5] | | 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).[6] | | 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).[7] |
References 1. ^{{Cite web|url=https://link.springer.com/journal/11155|title=Reliable Computing - Springer|website=link.springer.com|language=en|access-date=2018-08-13}}
2. ^{{Cite web|url=http://www.cs.utep.edu/interval-comp/tucker02.html|title=Warwick Tucker Receives First R. E. Moore Prize|website=www.cs.utep.edu|access-date=2018-08-13}}
3. ^{{Cite web|url=http://www.cs.utep.edu/interval-comp/hales04.html|title=Thomas C. Hales Receives Second R. E. Moore Prize|website=www.cs.utep.edu|access-date=2018-08-13}}
4. ^{{Cite web|url=http://www.cs.utep.edu/interval-comp/makino08.html|title=Kyoko Makino and Martin Berz Will Receive ThirdR. E. Moore Prize|website=www.cs.utep.edu|access-date=2018-08-13}}
5. ^{{Cite web|url=http://www.cs.utep.edu/interval-comp/jaulin12.html|title=Luc Jaulin Awarded Receive Fourth R. E. MoorePrize|website=www.cs.utep.edu|access-date=2018-08-13}}
6. ^{{Cite web|url=http://www.cs.utep.edu/interval-comp/kobayashi14.html|title=Kenta Kobayashi Receives Fifth R. E. MoorePrize|website=www.cs.utep.edu|access-date=2018-08-13}}
7. ^{{Cite web|url=http://www.cs.utep.edu/interval-comp/banhelyi16.html|title=Balazs Banhelyi, Tibor Csendes, Tibor Krisztin, and ArnoldNeumaier Receive Sixth R. E. MoorePrize|website=www.cs.utep.edu|access-date=2018-08-13}}
External links - http://www.cs.utep.edu/interval-comp/moorePrize.html
{{DEFAULTSORT:R.E. Moore Prize}}Category:Mathematics awards |