연산수학연표
Timeline of computational mathematics이것은 계산 수학의 주요 발전 시간표다.
1940년대
- 폰 노이만, 울람, 메트로폴리스에 의해 로스 알라모스에서 발명된 몬테카를로 시뮬레이션(20세기 10대 알고리즘 중 하나임)이다.[1][2][3]
- 단치히는 심플렉스 알고리즘(20세기 10대 알고리즘 중 하나로 선정)[4]을 도입한다.
- 로스 알라모스에서 첫 번째 수력 시뮬레이션이 발생했다.[5][6]
- 울람과 폰 노이만은 세포 오토마타의 개념을 소개한다.[7]
- 맨체스터 베이비를 위한 루틴은 계산 번호 이론의 첫 번째 중 하나인 많은 숫자(2^18)를 고려하기 위해 쓰여졌다.[8]그 맨체스터 그룹은 이 지역에서 몇 가지 다른 돌파구를 만들 것이다.[9][10]
- LU 분해 기법이 처음 발견되었다.
1950년대
- 헤스테네스, 스티펠, 란초스는 모두 국가표준국 수치분석연구소의 소속으로 크릴로프 아공간 반복법 개발에 착수한다.[11][12][13][14]20세기의 10대 알고리즘 중 하나로 뽑혔어
- Fast Computing Machine에 의한 State Calculation of State Calculation은 Metropolitan-Hastings 알고리즘을 도입한다.[15]또한, 알더와 S의 중요한 초기 독립 작업.프랑켈[16][17]
- 엔리코 페르미, 스타니슬라프 울람, 존 파스타, 메리 칭구우는 페르미-파스타-울람-칭구 문제를 발견한다.[18]
- 네트워크 이론에서, 포드 & 풀커슨은 최대 흐름 문제에 대한 해결책을 계산한다.[19]
- 하우스홀더는 그의 상투적인 매트릭스와 변형 방법(20세기 10대 알고리즘 중 하나를 제시)[20]을 발현한다.
- 알더와 웨인라이트가[21] 발명한 분자역학
- 존 G.F. 프랜시스와[22] 베라 쿠브라노프스카야는[23] QR 인자화(20세기 10대 알고리즘 중 하나)를 발명한다.
1960년대
- Ray Clough의 "Finite Element method"라는 용어를 최초로 기록하여 쿠란트, 흐레니코프, 지엔키에비치 등의 방법을 기술하였다.[24]여기서도 참조하십시오.
- 미노비치는 3체 문제에 대한 컴퓨터 조사를 사용하여 중력 보조 방법을 만든다.[25][26]
- 분자 역학은 아네수르 라만에 의해 독자적으로 발명되었다.[27]
- 쿨리와 투키는 가우스가 처음 발견한 알고리즘인 패스트 푸리에 변환(20세기 10대 알고리즘 중 하나로 선정)을 재창조한다.
- 에드워드 로렌츠는 컴퓨터에서 나비효과를 발견하여 혼돈 이론에 관심을 끈다.[28]
- 크러스칼과 자부스키는 페르미-파스타-울람-칭구 문제를 더 많은 숫자 실험으로 추적하고, "솔리톤"[29][30]이라는 용어에 동전을 부여한다.
- 버치와 스윈너튼-다이어의 추측이 컴퓨터에 대한 조사를 통해 공식화되었다.[31]
- 그로브너 베이스와 부흐베르거 알고리즘은 대수학을[32] 위해 발명되었다.
- 프랑스인 베를레트(re)는 역학을 위한 수치 통합 알고리즘([33]Delambre, 1909년 코웰과 크롬멜린, 1907년 칼 프레드릭 슈트르머에 의해 처음 사용됨)[34]을 디스커버한다. 따라서 대체 명칭은 스테르머의 방법 또는 베를레트-스토르메르 방법이다.[33]
- Risch는 기호 통합을 위한 알고리즘을 실행한다.[35]
1970년대
- 컴퓨터 대수학은 달 이론에서 델라우네이(Delaunay)의 작업을 복제하고 확장한다.[36]
- 파투, 줄리아, 만델브로트 세트의 연구에서 나온 만델브로트는 이러한 구조물의 자기 유사성을 설명하기 위해 '추상적'이라는 용어를 만들어 대중화했다.[37][38]
- 케네스 아펠과 볼프강 하켄은 컴퓨터에 의해 증명된 첫 번째 정리인 4가지 색 정리를 증명한다.[39][40][41]
1980년대
1990년대
- 자원봉사 컴퓨팅을 이용한 최초의 연구 그리드의 출현 – KIMPS (1998년)와 distributed.net (1998년)
- 케플러의 추측은 거의 전부지만 1998년 토마스 헤일스에 의해 알고리즘적으로 증명되었다.
2000년대
2010년대
참고 항목
참조
- ^ Metropolis, N. (1987). "The Beginning of the Monte Carlo method" (PDF). Los Alamos Science. No. 15, Page 125.. 2012년 5월 5일에 액세스됨.
- ^ S. 울람, R. D. Richtmyer, J. von Neumann(1947).중성자 확산의 통계적 방법.Los Alamos Sciency Laboratory 보고서 LAMS–551.
- ^ N. 메트로폴리스와 S.울람(1949년).몬테카를로 방법.미국통계협회 저널 44:335–341.
- ^ "SIAM News, November 1994". Retrieved 6 June 2012. Stanford University Huang Engineering Center(사이트 호스트/미러)의 시스템 최적화 연구소.
- ^ R. D. (1948) 리히트마이어.충격 계산을 위한 수치적 방법.로스 알라모스, NM: 로스 알라모스 과학 연구소 LA-671
- ^ 수력역학적 충격의 수치산정 방법Von Neumann, J.; Richtmyer, R. D. Journal of Applied Physics, Vol. 212, 페이지 232–237
- ^ 본 노이만, J. 일리노이 프레스, 1966년 우르바나, 유니브 오토마타, 자기 복제 이론.
- ^ 맨체스터 마크 1.
- ^ 기타 참고: 메르센 프라임즈.60[permanent dead link] Manchester - 모던 컴퓨터, Manchester Uni. CS Curration 웹사이트 60년.
- ^ 1톤 'Baby'는 그 탄생을 나타낸다. 즉, 'dashing time'이다.과학 기술 기자인 Jonathan Fildes에 의해, BBC News.
- ^ 마그너스 R.헤스테네스와 에두아르 스티펠, 선형 시스템 해결을 위한 결합 그라데이션의 방법, J. Res. Natl.버. 스탠드 49, 409–436 (1952년).
- ^ 에두아르트 스티펠U¨ ber einige Methoden der Relaxationsrechnung(독일어), Z.안젤라. 수학.체육 3, 1–33 (1952년).
- ^ Cornelius Lanczos, 최소 반복에 의한 선형 방정식의 시스템 솔루션, J. Res. Natl.버 49, 33–53 (1952년).
- ^ Cornelius Lanczos, 선형 미분 및 적분 연산자의 고유값 문제 해결을 위한 반복 방법, J. Res. Natl.버. 45, 255–282(1950).
- ^ Metropolis, N.; Rosenbluth, A.W.; Rosenbluth, M.N.; Teller, A.H.; Teller, E. (1953). "Equations of State Calculations by Fast Computing Machines". Journal of Chemical Physics. 21 (6): 1087–1092. Bibcode:1953JChPh..21.1087M. doi:10.1063/1.1699114.
- ^ 불행히도, 알더의 논문 고문은 인상적이지 않았기 때문에, 알더와 프랭켈은 그들의 결과의 발표를 훨씬 더 늦게까지 미루었다.앨더, B. J., 프랭켈, S. P., 그리고 르윈슨, B. A. J. Chem. 체육, 23, 3 (1955)
- ^ 스탠리 P. 프랑켈, 인정받지 못하는 천재, HP9825.COM(2015년 8월 29일 액세스).
- ^ 페르미, E. (후행);파스타, J.; 울람, S.(1955) : 비선형 문제에 대한 연구(2012년 9월 25일 액세스)로스 알라모스 연구소 문서 LA-1940.또한 '엔리코 페르미의 작품집' E. Segre Ed. , University of Chicago Press, Vol에 출연하였다.II,978–988,1965.2012년 12월 21일 복구됨
- ^ 포드, L. R.; 풀커슨, D. R. (1956년)"네트워크를 통한 최대 흐름"…캐나다 수학저널8: 399–404.
- ^ Householder, A. S. (1958). "Unitary Triangularization of a Nonsymmetric Matrix" (PDF). Journal of the ACM. 5 (4): 339–342. doi:10.1145/320941.320947. MR 0111128.
- ^ 앨더, B. J.; T. E. 웨인라이트(1959년)."분자역학 연구.I. 일반 방법".J. 켐.체육관 31(2): 459. 비스코드 1959JChPh..31..459A. doi:10.1063/1.1730376
- ^ J. G. F. 프랜시스, "QR 변혁, I" 컴퓨터 저널, 제 4, 3, 265–271페이지 (1995년 10월, 수신) 온라인 oxfordjournals.org;
J. G. F. 프랜시스, "QR 변혁, II" 컴퓨터 저널, 제4권, 제4권, 온라인 332–345 (1985년)페이지. oxfordjournals.org
- ^ Vera N. Kublanovskaya(1961년), "완전한 고유값 문제의 해결을 위한 일부 알고리즘에 대하여," USSR 연산수학 및 수리물리학, 1(3년), 637–657페이지(1963년, 1961년 2월 수신).또한: Zhaily Vychislitel'noi'matematiki i Matematicheskoi Fiziki [Journal of Computing Mathical and Mathematical Physics], 1(4), 페이지 555–570 (1961)에 발표되었다.
- ^ RW Clough, "평면 응력 해석에서의 유한요소법", 피츠버그, PA, 9월 8일, 9월 9일, 1960년 9월 8일, 제2차 전자 계산 회의의 진행.
- ^ 미노비치, 마이클: "행성간 자유낙하 정찰궤도를 결정하는 방법," 제트추진연구소 기술메모 TM-312-130, 페이지 38-44 (1961년 8월 23일)
- ^ Christopher Riley와 Dallas Campbell, 2012년 10월 22일."보이저를 가능케 한 수학"BBC 뉴스의 과학과 환경.2013년 6월 16일 복구됨
- ^ Rahman, A (1964). "Correlations in the Motion of Atoms in Liquid Argon". Phys Rev. 136 (2A): A405–A41. Bibcode:1964PhRv..136..405R. doi:10.1103/PhysRev.136.A405.
- ^ Lorenz, Edward N. (1963). "Deterministic Nonperiodic Flow" (PDF). Journal of the Atmospheric Sciences. 20 (2): 130–141. Bibcode:1963JAtS...20..130L. doi:10.1175/1520-0469(1963)020<0130:DNF>2.0.CO;2.
- ^ Zabusky, N. J.; Kruskal, M. D. (1965)"무충돌 플라즈마에서 '솔리톤'의 상호 작용과 초기 상태의 재발"제15차 레트(6): 240–243.Bibcode 1965PhRvL..15..240Z. doi:10.1103/PhysRevRevlett.15.240.
- ^ http://www.merriam-webster.com/dictionary/soliton ; 2012년 11월 3일 회수.
- ^ 버치, 브라이언, 스윈너튼-다이어, 피터(1965)"타원 곡선 (II)" J. 레이네 안젤루.수학. 165 (218): 79–108. doi:10.1515/crll.198.79.
- ^ 브루노 부흐버거:Ein Algorithus zum auffinden der Basiselemente des Restklasenringes nach einem nulldimensional polynomideal(PDF; 1,8MB). 1965
- ^ a b Verlet, Loup (1967). "Computer "Experiments" on Classical Fluids. I. Thermodynamical Properties of Lennard−Jones Molecules". Physical Review. 159 (1): 98–103. Bibcode:1967PhRv..159...98V. doi:10.1103/PhysRev.159.98.
- ^ Press, WH; Teukolsky, SA; Vetterling, WT; Flannery, BP (2007). "Section 17.4. Second-Order Conservative Equations". Numerical Recipes: The Art of Scientific Computing (3rd ed.). New York: Cambridge University Press. ISBN 978-0-521-88068-8.
- ^ 리스치, R. H. (1969년)."한정된 용어로 통합의 문제"미국수학협회의 거래.미국 수학 협회139:167–167. doi:10.2307/16313.JSTOR 1995313.리스치, R. H. (1970)."한정된 용어로 통합 문제의 해결책"미국수학협회의 회보. 76(3): 605–608. 도이:10.1090/S0002-9904-1970-12454-5.
- ^ http://www.umiacs.umd.edu/~helalfy/pub/msctex01.pdf
- ^ B. Mandelbrot; Les objets 프랙탈, forme, hasard et 치수(프랑스어).출판사: Flammarion(1975), ISBN 9782082106474, 영어 번역 프랙탈: 형태, 우연, 차원.게시자:프리먼, W. H. 컴퍼니 (1977년).ISBN 9780716704737.
- ^ 만델브로트, 베누아트 B.; (1983년).자연의 프랙탈 기하학.샌프란시스코: W.H. 프리먼.ISBN 0-7167-1186-9
- ^ 케네스 아펠과 볼프강 하켄 "모든 평면지도는 4가지 색상, 1부: 방전" 일리노이 주 수학 저널 21: 429–490, 1977.
- ^ 아펠, 케이, 하켄 W. "모든 평면 지도는 4색, II: 환원성"일리노이 J. 수학. 21, 491–567, 1977.
- ^ 아펠, 케이, 하켄 W. "4색 지도 문제의 해결책" sci.아메르. 237, 108–121, 1977.
- ^ L. 그린가드, MIT, 캠브리지, (1987년) 입자 시스템의 잠재적 장에 대한 신속한 평가.
- ^ 로클린, 블라디미르(1985년)."고전위전위 이론의 적분 방정식의 신속한 해결책." J. 계산 물리학 제60권, 페이지 187–207.
- ^ L. 그린가드와 V.Rokhlin, "입자 시뮬레이션을 위한 빠른 알고리즘," J. Compute.물리적, 73 (1987), 2, 325–348 페이지.
- ^ 루빅 큐브 추측 입증! (우린 신경 쓰나?)2010년 9월 8일 수요일
- ^ 신의 숫자는 20이다.
- ^ 수학 연구팀의 지도 E8: 서류상의 계산은 맨해튼을 커버할 것이다.MIT 뉴스.엘리자베스 A.톰슨, 뉴스 오피스; 2007년 3월 18일.
- ^ E8 미디어 블릿츠, 피터 워이트.
- ^ 수학자 지도 E8Armine Hayan 2007-03-20 02:21에 의해 웨이백 머신에 2015-09-24 보관.
- ^ 오렌지를 포장하는 방법은 무엇인가? — 구체의 포장에 대한 케플러의 추측.2015년 5월 26일 Antoine Neutoux가 게시함.클라인 프로젝트 블로그: 수학적 세계를 연결한다.
- ^ 완료 발표.플라이스펙 프로젝트, 구글 코드.
- ^ 400년 된 과일 쌓기 문제에 대한 증빙서류.2014년 8월 12일 뉴 사이언티스트
