라몬 E.무어
Ramon E.라몬 에드거 (Ray) 무어 ( 1929년 12월 27일 – ( 2015년[1] 4월 1일)는 인터벌 산술 분야에서 선구적인 업적으로 유명한 미국의 수학자였다.
무어는 1950년 버클리 캘리포니아 대학에서 물리학 AB학위를, 1963년 스탠포드 대학에서 수학 박사학위를 받았다.그의 초기 경력에는 초기 컴퓨터 작업(ENIAC 포함)이 포함되었다.그는 1975년과 1980년에 두 차례 미국 수석 과학자들에게 험볼트 연구상을 수여 받았다.[1]
그의 가장 잘 알려진 작품은 1966년에 출판된 그의 첫 번째 책인 Interval Analysis이다.그는 몇 권의 더 많은 책과 많은 저널 기사와 기술 보고서를 썼다.[2][3][4]
R. E. 무어상
구간 분석 적용에 대한 R. E. 무어 상은 엄격한 숫자의 학제간 분야에서 수여하는 상이다.엘 파소의 텍사스 대학교 컴퓨터 과학부에서 격년제로 수상하고,[5] 잡지 《신뢰할 수 있는 컴퓨터》의 편집위원회에서 심사한다.[6]이 상은 인터벌 분석에 대한 무어의 공헌을 기리기 위해 명명되었다.[7]
수상자
| 연도 | 이름 | 인용 |
|---|---|---|
| 2002 | 워릭 터커 | 터커 박사는, 인터벌 기법을 사용하여, 유명한 로렌츠 방정식이 사실 이상한 끌림을 가지고 있다는 것을 증명했다.이 문제인 스메일의 14번째 추측은 로렌츠 모델이 혼돈 이론의[8] 시작을 알리는 것으로 널리 인식되고 있기 때문에 특히 주목되는 부분이 많다. |
| 2004 | 토마스 C.할레스 | 헤일스 박사는 이 오랜 문제를 인터벌 산술로 해결했다.그의 예비 결과는 2000년 미국수학협회의 공지에 실렸으며, 그의 논문 "케플러 추측"은 순수 수학 분야의 세계적인 학술지 중 하나인 수학 연보에 실릴 것이다.[9] |
| 2006 | 미상의[10] | |
| 2008 | 마키노 쿄코와 마르틴 베르츠 | 2005년 국제 미분방정식 및 적용 저널(Vol.[11] 10, 4, 페이지 353–384)에 발표된 "테일러 모델 기반의 검증된 통합자에 의한 포장 효과 억제: 전제조건에 의한 장기 안정화" 논문. |
| 2012 | 뤽 자울린 | 2009년 IEEE Transactions on Robotics (Vol. 25, No. 1, 페이지 88–98)에서 발표한 논문 "간격 구속력 전파를 이용한 수중 로봇의 국산화 및 지도 구축을 위한 비선형 설정 멤버쉽 접근법"에 대하여.[12] |
| 2014 | 고바야시 켄타 | 2013년 순수, 응용수학 및 이론물리학 난카이 시리즈(Vol. 10, 페이지 54–67)[13]에서 발표한 논문 "Stokes's Wave of Extreme Form에 대한 컴퓨터 지원 고유성 증명"을 인용했다. |
| 2016 | 발라즈 반헬리, 티보르 크센데스, 티보르 크리스츠틴 아놀드 노이마이어 | 2014년 응용 동력학 시스템에 관한 SIAM Journal on Applied Dynamic Systems (Vol. 13, No. 1, 페이지 537–563)에 게재된 논문 "Wright's 방정식을 위한 제로 솔루션의 글로벌 매력"[14]에 대해. |
| 2018 | 호르디-루이스 피구에라스, 알렉스 하로, 알레한드로 루케 | 2017년 계산 수학의 기초(Vol. 17, No. 5, 페이지 1123–1193)에 발표된 그들의 논문 "CAM 이론의 컴퓨터 지원 응용: 현대적 접근법"은 다음과 같다.[15] |
참고 항목
참조
- ^ a b "Ramon E. Moore (1929–2015)" (PDF). Reliable Computing. 2016.
- ^ 구간 분석 검토:
- Richtmeyer, R. D. (1968). Mathematics of Computation. 22 (101): 219–212. JSTOR 2004792.
{{cite journal}}: CS1 maint: 제목 없는 정기 간행물(링크) - Alefeld, Goetz (2011). SIAM Review. 53 (2): 380–381. JSTOR 23065173.
{{cite journal}}: CS1 maint: 제목 없는 정기 간행물(링크) - 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: 제목 없는 정기 간행물(링크) - Hanson, Eldon (1967). SIAM Review. 9 (3): 610–612. JSTOR 2028021.
{{cite journal}}: CS1 maint: 제목 없는 정기 간행물(링크)
- Richtmeyer, R. D. (1968). Mathematics of Computation. 22 (101): 219–212. JSTOR 2004792.
- ^ 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: 제목 없는 정기 간행물(링크)
- Gavrilyuk, I. P. (2010). Mathematics of Computation. 79 (269): 615–616. doi:10.1090/S0025-5718-09-02327-8. JSTOR 40590421.
- ^ 구간 분석 방법 및 적용에 대한 검토:
- Hanson, Eldon (1981). SIAM Review. 23 (1): 121–123. JSTOR 2029862.
{{cite journal}}: CS1 maint: 제목 없는 정기 간행물(링크)
- 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.
추가 읽기
- Moore, Ramon E. (1966). Interval Analysis. Prentice-Hall.
외부 링크
- 라몬 E. Google Scholar가 색인화한 Moore 출판물
- 교수 웹페이지
- R. E. 무어상
- 라몬 E. 수학 계보 프로젝트 무어
