Рамон Эдгар (Рэй) Мур ( 27 декабря 1929 — 1 апреля 2015 [1] ) — американский математик , известный своими новаторскими работами в области интервальной арифметики .( 1929-12-27 )( 2015-04-01 )
Мур получил степень бакалавра по физике в Калифорнийском университете в Беркли в 1950 году и степень доктора философии по математике в Стэнфордском университете в 1963 году. Его ранняя карьера включала работу над первыми компьютерами (включая ENIAC ). Он был дважды награжден премией имени Гумбольдта для ведущих ученых США, в 1975 и 1980 годах. [1]
Его самая известная работа — его первая книга «Интервальный анализ» , опубликованная в 1966 году. Он написал еще несколько книг и множество журнальных статей и технических отчетов. [2] [3] [4]
Премия RE Moore Prize for Applications of Interval Analysis — это награда в междисциплинарной области строгой численной математики . Она присуждается раз в два года кафедрой компьютерных наук Техасского университета в Эль-Пасо [ 5] и оценивается редакционной коллегией журнала Reliable Computing [6] . Награда была названа в честь вклада Мура в интервальный анализ [7] .
Год | Имя | Цитата |
---|---|---|
2002 | Уорик Такер | Доктор Такер доказал, используя интервальные методы, что известные уравнения Лоренца на самом деле обладают странным аттрактором. Эта проблема, 14-я гипотеза Смейла , заслуживает особого внимания в значительной степени потому, что модель Лоренца широко признана как сигнализирующая о начале теории хаоса [8] |
2004 | Томас С. Хейлз | Доктор Хейлз решил эту давнюю проблему, используя интервальную арифметику. Его предварительные результаты были опубликованы в Notices of the American Math Society в 2000 году; его полная статья « Гипотеза Кеплера » будет опубликована в Annals of Mathematics, одном из ведущих мировых журналов по чистой математике. [9] |
2006 | не награжден [10] | |
2008 | Киоко Макино и Мартин Берц | За статью «Подавление эффекта оборачивания проверенными интеграторами на основе модели Тейлора: долгосрочная стабилизация путем предварительной подготовки», опубликованную в International Journal of Differential Equations and Applications в 2005 г. (т. 10, № 4, стр. 353–384). [11] |
2012 | Люк Жолен | За статью «Нелинейный подход к определению местоположения и построению карты подводного робота с использованием распространения интервальных ограничений», опубликованную в IEEE Transactions on Robotics в 2009 г. (т. 25, № 1, стр. 88–98). [12] |
2014 | Кента Кобаяши | За статью «Компьютерное доказательство уникальности волны Стокса экстремальной формы», опубликованную в серии Nankai в Pure, Applied Mathematics and Theoretical Physics в 2013 году (т. 10, стр. 54–67). [13] |
2016 | Балаж Банхейи, Тибор Цендес, Тибор Кристин | и Арнольд НоймайерЗа статью «Глобальная привлекательность нулевого решения уравнения Райта», опубликованную в журнале SIAM Journal on Applied Dynamical Systems в 2014 году (т. 13, № 1, стр. 537–563). [14] |
2018 | Хорди-Луис Фигерас, Алекс Аро и Алехандро Луке | За статью «Строгое компьютерное применение теории КАМ: современный подход», опубликованную в журнале «Основы вычислительной математики» в 2017 г. (т. 17, № 5, стр. 1123–1193). [15] |
2021 | Марко Ланге и Зигфрид М. Рамп | За статью «Проверенные включения для ближайшей матрицы с указанным дефицитом ранга посредством обобщения теоремы Ведина о грехе ( θ )», опубликованную в BIT Numerical Mathematics в 2021 году (т. 61, стр. 361-380). [16] |
{{cite journal}}
: CS1 maint: безымянное периодическое издание ( ссылка ){{cite journal}}
: CS1 maint: безымянное периодическое издание ( ссылка ){{cite journal}}
: CS1 maint: безымянное периодическое издание ( ссылка ){{cite journal}}
: CS1 maint: безымянное периодическое издание ( ссылка ){{cite journal}}
: CS1 maint: безымянное периодическое издание ( ссылка ){{cite journal}}
: CS1 maint: безымянное периодическое издание ( ссылка )