これは計算数学における主要な発展の年表です。
1940年代
- モンテカルロ シミュレーション ( 20 世紀のトップ 10アルゴリズムの 1 つに選ばれた) は、フォン ノイマン、ウラム、メトロポリスによってロス アラモスで発明されました。 [ 1 ] [ 2 ] [ 3 ]
- ダンツィグはシンプレックス法 （20世紀のトップ10アルゴリズムの1つに選ばれる）を導入した。[ 4 ]
- ロスアラモスで最初の水力シミュレーションが行われた。 [ 5 ] [ 6 ]
- ウラムとフォン・ノイマンは、セル オートマトンの概念を導入しました。[ 7 ]
- マンチェスターベイビー用のルーチンで、大きな数（2^18）を因数分解するために書かれたもので、計算数論における最初のルーチンの一つである。[ 8 ]マンチェスターグループはこの分野でさらにいくつかの画期的な成果を挙げることになる。[ 9 ]
- LU分解技術が初めて発見されました。
1950年代
- 国立標準局数値解析研究所のヘステネス、シュティーフェル、ランチョスがクリロフ部分空間反復法の開発を開始した。[ 10 ] [ 11 ] [ 12 ] [ 13 ] 20世紀のトップ10アルゴリズムの1つに選ばれた。
- 高速計算機による状態方程式計算ではメトロポリス・ヘイスティングスアルゴリズムが紹介されている。 [ 14 ]また、アルダーとS.フランケルによる重要な以前の独立した研究もある。 [ 15 ] [ 16 ]
- エンリコ・フェルミ、スタニスワフ・ウラム、ジョン・パスタ、メアリー・ツィンゴウは、フェルミ・パスタ・ウラム・ツィンゴウ問題を発見した。[ 17 ]
- ネットワーク理論では、フォードとフルカーソンが最大フロー問題の解を計算した。[ 18 ]
- ハウスホルダーは、彼の名を冠した行列と変換法を発明しました（20世紀のトップ10アルゴリズムの1つに選ばれました）。[ 19 ]
- アルダーとウェインライトによって発明された分子動力学[ 20 ]
- John GF Francis [ 21 ]とVera Kublanovskaya [ 22 ]はQR 因数分解を発明しました(20 世紀のトップ 10 アルゴリズムの 1 つに選ばれました)。
1960年代
- 「有限要素法」という用語が初めて記録に残ったのはレイ・クラフ[ 23 ]で、クーラント、フレニコフ、ツィンキェヴィチらの手法を説明するために使用された。こちらも参照のこと。
- ミノビッチは3体問題の計算的研究を用いて重力アシスト法を定式化した。[ 24 ] [ 25 ]
- 分子動力学はアニースール・ラーマンによって独立に発明された。[ 26 ]
- クーリーとテューキーは、ガウスによって最初に発見されたアルゴリズムである高速フーリエ変換（20 世紀のトップ 10 アルゴリズムの 1 つに選ばれました）を再発明しました。
- エドワード・ローレンツがコンピュータ上でバタフライ効果を発見し、カオス理論への関心が高まりました。[ 27 ]
- クラスカルとザブスキーはフェルミ・パスタ・ウラム・ツィンゴウ問題を数値実験でさらに追究し、「ソリトン」という用語を作った。[ 28 ] [ 29 ]
- バーチとスウィナートン・ダイアーの予想はコンピュータによる調査を通じて定式化された。[ 30 ]
- 代数学のために発明されたグレブナー基底とブッフベルガーのアルゴリズム[ 31 ]
- フランス人ヴェルレが力学のための数値積分アルゴリズム[ 32 ]（1791年にドゥランブル、1909年にコーウェルとクロメリン、1907年にカール・フレドリック・シュテルマーが初めて使用したため[ 33 ]、シュテルマー法またはヴェルレ・シュテルマー法とも呼ばれる）を（再）発見した。[ 32 ]
- リッシュは記号積分のアルゴリズムを発明した。[ 34 ]
1970年代
- マンデルブロは、ファトゥ集合、ジュリア集合、マンデルブロ集合の研究から、これらの構造の自己相似性を説明するために「フラクタル」という用語を作り出し、普及させました。[ 35 ] [ 36 ]
- ケネス・アペルとヴォルフガング・ハーケンは、コンピュータによって証明された最初の定理である四色定理を証明しました。[ 37 ] [ 38 ] [ 39 ]
1980年代
1990年代
- ボランティア コンピューティングを使用した最初の研究グリッドの登場- GIMPS (1996 年) とdistributed.net (1997 年)。
- ケプラー予想は、 1998 年にトーマス・ヘイルズによってアルゴリズム的にほぼ確実に証明されました。
2000年代
2010年代
参照
参考文献
- ^ Metropolis, N. (1987). 「モンテカルロ法の始まり」(PDF) . Los Alamos Science . 15 : 125–130 . 2012年5月5日閲覧。
- ^ S. Ulam, RD Richtmyer, J. von Neumann(1947).中性子拡散における統計的手法. ロスアラモス科学研究所報告書LAMS–551.
- ^ N.メトロポリスとS.ウラム（1949）「モンテカルロ法」アメリカ統計学会誌44:335–341。
- ^ 「SIAM News、1994年11月」 。 2012年6月6日閲覧。システム最適化研究所、スタンフォード大学 Huang エンジニアリング センター (サイト ホスト/ミラー)。
- ^ Richtmyer, RD (1948). 衝撃波計算のための数値的手法の提案. ニューメキシコ州ロスアラモス: ロスアラモス科学研究所 LA-671.
- ^流体衝撃の数値計算法。フォン・ノイマン、J.; リヒトマイヤー、RD 応用物理学ジャーナル、第21巻、pp. 232–237
- ^フォン・ノイマン、J.、「自己複製オートマトン理論」、イリノイ大学出版局、アーバナ、1966年。
- ^マンチェスター マーク 1。
- ^ 1トンの「ベイビー」誕生：輝かしい時代。BBCニュース科学技術担当記者、ジョナサン・フィルデス著。
- ^ Magnus R. HestenesとEduard Stiefel、「線形システムを解くための共役勾配法」、J. Res. Natl. Bur. Stand. 49、409–436 (1952)。
- ^ Eduard Stiefel、U¨ ber einige Methoden der Relaxationsrechnung (ドイツ語)、Z. Angew。数学。物理学。 3、1–33 (1952)。
- ^コーネリアス・ランチョス「最小反復法による線形方程式の解法」J. Res. Natl. Bur. Stand. 49, 33–53 (1952)。
- ^コーネリアス・ランチョス「線形微分および積分演算子の固有値問題の解のための反復法」J. Res. Natl. Bur. Stand. 45, 255–282 (1950)。
- ^ Metropolis, N. ; Rosenbluth, AW; Rosenbluth, MN ; Teller, AH; Teller, E. (1953). 「高速計算機による状態方程式の計算」 . Journal of Chemical Physics . 21 (6): 1087– 1092. Bibcode : 1953JChPh..21.1087M . doi : 10.1063/1.1699114 . OSTI 4390578. S2CID 1046577 .
- ^残念ながら、アルダーの論文指導教官は感銘を受けなかったため、アルダーとフランケルは研究結果の発表をずっと後まで延期した。Alder , BJ, Frankel, SP, and Lewinson, BA, J. Chem. Phys., 23, 3 (1955)。
- ^ Stanley P. Frankel、「Unrecognized Genius」、HP9825.COM（2015年8月29日アクセス）。
- ^ Fermi, E. (死後); Pasta, J.; Ulam, S. (1955) : Studies of Nonlinear Problems (2012年9月25日アクセス)ロスアラモス研究所文書 LA-1940。E. Segre編『Collected Works of Enrico Fermi』、 University of Chicago Press、第2巻、978–988ページ、1965年にも掲載。2012年12月21日回収
- ^ Ford, LR; Fulkerson, DR (1956).「ネットワークを通じた最大フロー」 . Canadian Journal of Mathematics . 8: 399–404.
- ^ Householder, AS (1958). 「非対称行列のユニタリ三角形化」 ( PDF) . Journal of the ACM . 5 (4): 339– 342. doi : 10.1145/320941.320947 . MR 0111128. S2CID 9858625 .
- ^ Alder, BJ; TE Wainwright (1959). 「分子動力学の研究 I. 一般的な方法」 J. Chem. Phys. 31 (2): 459. Bibcode 1959JChPh..31..459A. doi:10.1063/1.1730376
- ^ JGF Francis、「The QR Transformation, I」、 The Computer Journal、vol. 4、no. 3、pages 265–271 (1961、1959年10月受理)、 oxfordjournals.orgでオンラインで入手可能。 ; JGF Francis、「The QR Transformation, II」、The Computer Journal、vol. 4、no. 4、pages 332–345 (1962) 、 oxfordjournals.orgでオンラインで入手可能。
- ^ Vera N. Kublanovskaya (1961), 「完全固有値問題の解法に関するいくつかのアルゴリズムについて」『USSR Computational Mathematics and Mathematical Physics』1(3), 637–657ページ (1963年、1961年2月受理)。また、『Journal of Computational Mathematics and Mathematical Physics』1(4), 555–570ページ (1961年) にも掲載されている。
- ^ RW Clough、「平面応力解析における有限要素法」、第2回ASCE電子計算会議議事録、ペンシルベニア州ピッツバーグ、1960年9月8日、9日。
- ^ミノビッチ、マイケル：「惑星間自由落下偵察軌道を決定する方法」、ジェット推進研究所技術メモTM-312-130、38-44ページ（1961年8月23日）。
- ^クリストファー・ライリーとダラス・キャンベル、2012年10月22日。「ボイジャーを実現させた数学」Wayback Machineに2013年7月30日アーカイブ。BBCニュース 科学と環境。2013年6月16日復元。
- ^ Rahman, A (1964). 「液体アルゴン中の原子の運動における相関」. Phys Rev. 136 ( 2A): A405– A41. Bibcode : 1964PhRv..136..405R . doi : 10.1103/PhysRev.136.A405 .
- ^ Lorenz, Edward N. (1963). 「決定論的非周期的流れ」(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, NJ; Kruskal, MD (1965). 「衝突なしのプラズマにおける『ソリトン』の相互作用と初期状態の再現」. Phys. Rev. Lett. 15 (6): 240–243. Bibcode 1965PhRvL..15..240Z. doi:10.1103/PhysRevLett.15.240.
- ^ http://www.merriam-webster.com/dictionary/soliton ; 2012年11月3日閲覧。
- ^バーチ, ブライアン; スウィナートン＝ダイアー, ピーター (1965). 「楕円曲線に関する注記 (II)」. J. レイン・アンジュー. 数学. 165 (218): 79–108. doi:10.1515/crll.1965.218.79.
- ^ Bruno Buchberger: Ein Algorithmus zum Auffinden der Basiselemente des Restklassenringes nach einem null Dimensionsen Polynomideal (PDF; 1,8 MB)。 1965年
- ^ a b Verlet, Loup (1967). 「古典流体に関するコンピュータ「実験」．I. レナード−ジョーンズ分子の熱力学的性質」．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 (第3版). ニューヨーク: Cambridge University Press. ISBN 978-0-521-88068-8。
- ^ Risch, RH (1969). 「有限項積分問題」. アメリカ数学会誌. アメリカ数学会. 139: 167–189. doi:10.2307/1995313. JSTOR 1995313. Risch, RH (1970). 「有限項積分問題の解」. アメリカ数学会報. 76 (3): 605–608. doi:10.1090/S0002-9904-1970-12454-5.
- ^ B. マンデルブロ;(フランス語) のオブジェ。出版社: フラマリオン (1975)、 ISBN 9782082106474; 英語訳『フラクタル：形態、偶然、次元』出版社：フリーマン・W・H・アンド・カンパニー（1977年）。ISBN 9780716704737。
- ^マンデルブロ、ベノワ・B.（1983年）『自然のフラクタル幾何学』サンフランシスコ：WHフリーマン、 ISBN 0-7167-1186-9。
- ^ Kenneth Appel と Wolfgang Haken、「すべての平面地図は 4 色可能、パート I: 放電」、Illinois Journal of Mathematics 21: 429–490、1977 年。
- ^ Appel, K.とHaken, W.「すべての平面地図は4色可能である、II：還元可能性」Illinois J. Math. 21, 491–567, 1977.
- ^ Appel, K.とHaken, W.「4色地図問題の解決」Sci. Amer. 237, 108–121, 1977.
- ^ L. Greengard、「粒子システムにおけるポテンシャル場の迅速な評価」、MIT、ケンブリッジ、(1987)。
- ^ロクリン、ウラジミール (1985). 「古典ポテンシャル理論の積分方程式の高速解法」J. Computational Physics Vol. 60, pp. 187–207.
- ^ L. GreengardとV. Rokhlin、「粒子シミュレーションのための高速アルゴリズム」、J. Comput. Phys.、73（1987）、第2号、325–348頁。
- ^ルービックキューブ予想が証明されました！（気にしますか？） 2010年9月8日水曜日
- ^神の数字は20です。
- ^数学研究チームがE8を地図化：紙上での計算でマンハッタンをカバーできる。MITニュース。エリザベス・A・トムソン、ニュースオフィス、2007年3月18日。
- ^ E8メディアブリッツ、ピーター・ウォイト。
- ^数学者地図 E8. Archived 2015-09-24 at the Wayback Machine By Armine Hareyan 2007-03-20 02:21.
- ^オレンジの詰め方とは？ — 球面の詰め方に関するケプラーの予想。 2015年5月26日、Antoine Nectoux投稿。Klein Project Blog: Connecting mathematical worlds.
- ^完了のお知らせ。Flyspeckプロジェクト、 Google Code。
- ^ 400年前の果物積み上げ問題の証明が確認された。ニューサイエンティスト、2014年8月12日。
外部リンク
