Hisoblash matematikasi xronologiyasi - Timeline of computational mathematics - Wikipedia
Bu asosiy o'zgarishlarning vaqt jadvalidir hisoblash matematikasi.
1940-yillar
- Monte-Karlo simulyatsiyasi (eng yaxshi 10 kishidan biriga ovoz berdi algoritmlar 20-asr) Los-Alamosda fon Neumann, Ulam va Metropolis tomonidan ixtiro qilingan.[1][2][3]
- Dantzig oddiy algoritm (20-asrning eng yaxshi 10 algoritmidan biriga ovoz berdi).[4]
- Birinchidan gidro simulyatsiyalar Los-Alamosda sodir bo'ldi.[5][6]
- Ulam va fon Neyman uyali avtomatlar tushunchasini joriy qilishadi.[7]
- Manchester bolasi uchun odatiy tartib birinchilardan biri bo'lgan katta sonni (2 ^ 18) omil qilish uchun yozilgan hisoblash sonlari nazariyasi.[8] Manchester guruhi yana bir qancha yutuqlarni qo'lga kiritishi mumkin edi bu maydon.[9][10]
- LU parchalanish texnikasi birinchi marta kashf etilgan.
1950-yillar
- Hestenes, Stiefel va Lanczos, Hammasi raqamli tahlil institutidan Milliy standartlar byurosi, rivojlanishini boshlash Krilov subspace takrorlash usullari.[11][12][13][14] 20-asrning eng yaxshi 10 algoritmidan biriga ovoz berdi.
- Tez hisoblash mashinalari yordamida davlat hisoblash tenglamalari bilan tanishtiradi Metropolis - Xastings algoritmi.[15] Bundan tashqari, Alder va S. Frankellarning avvalgi muhim mustaqil ishlari.[16][17]
- Enriko Fermi, Stanislav Ulam, Jon Makaron va Meri Tsingou, kashf eting Fermi-Makaron-Ulam-Tsingou muammosi.[18]
- Tarmoq nazariyasida Ford va Fulkerson hisoblashlari maksimal oqim muammosiga echim.[19]
- Uy egasi uni ixtiro qiladi nomli matritsalar va transformatsiya usuli (20-asrning eng yaxshi 10 algoritmidan biriga ovoz berdi).[20]
- Alder va Ueynrayt ixtiro qilgan molekulyar dinamikasi[21]
- Jon G.F. Frensis[22] va Vera Kublanovskaya[23] o'ylab topmoq QR faktorizatsiyasi (20-asrning eng yaxshi 10 algoritmidan biriga ovoz berdi).
1960-yillar
- Birinchi yozilgan foydalanish tomonidan "chekli element usuli" atamasi Rey Klof,[24] Courant, Hrenikoff va Zienkievich va boshqalarning usullarini tavsiflash. Shuningdek qarang Bu yerga.
- Kompyuter tekshiruvlaridan foydalanish 3 tanadagi muammo, Minovitch tortishish yordami usul.[25][26]
- Molekulyar dinamikani mustaqil ravishda ixtiro qilgan Aneesur Rahmon.[27]
- Cooley va Tukey qayta ixtiro qildilar Tez Fourier konvertatsiyasi (20-asrning eng yaxshi 10 algoritmlaridan biriga ovoz berdi), birinchi bo'lib kashf etgan algoritm Gauss.
- Edvard Lorenz kashf etadi kelebek ta'siri qiziqish uyg'otadigan kompyuterda betartiblik nazariyasi.[28]
- Kruskal va Zabuskiy kuzatib borish Fermi-Makaron-Ulam-Tsingou muammosi raqamli tajribalar bilan va "soliton" atamasini kiritdi.[29][30]
- Birch va Svinnerton-Dayerning taxminlari kompyuterda o'tkazilgan tekshiruvlar natijasida tuzilgan.[31]
- Grobner asoslari va Buchberger algoritmi algebra uchun ixtiro qilingan[32]
- Frantsuz Verlet (qayta) kashf etadi raqamli integratsiya algoritmi,[33] (birinchi bo'lib 1791 yilda Delambre, 1909 yilda Kovell va Crommelin tomonidan ishlatilgan va Karl Fredrik Störmer 1907 yilda,[34] shuning uchun alternativa sifatida Störmer usuli yoki Verlet-Störmer usuli) dinamikasi uchun nomlanadi.[33]
- Risch ramziy integratsiya algoritmini ixtiro qiladi.[35]
1970-yillar
- Kompyuter algebrasi Oy nazariyasida Delaunay ishini takrorlaydi va kengaytiradi.[36]
- Mandelbrot, tadqiqotlardan Fatou, Yuliya va Mandelbrot to'plamlari Ushbu tuzilmalarni tavsiflash uchun "fraktal" atamasini ishlab chiqdi va ommalashtirdi. o'ziga o'xshashlik.[37][38]
- Kennet Appel va Volfgang Xaken buni isbotlaydilar to'rtta rang teoremasi, kompyuter tomonidan isbotlanadigan birinchi teorema.[39][40][41]
1980-yillar
- Tez multipole usuli Roxlin va Greengard tomonidan ixtiro qilingan (20-asrning eng yaxshi 10 algoritmidan biriga saylangan).[42][43][44]
1990-yillar
- Birinchi tadqiqot tarmoqlarining ishlatilishi ko'ngilli hisoblash – GIMPS (1996) va tarqatilgan.net (1997).
- Kepler gumoni bu deyarli barchasi, ammo aniq isbotlangan algoritmik ravishda Tomas Xeyls 1998 yilda.
2000-yillar
- Hisoblash guruhlari nazariyasida Xudoning soni 20 ga teng.[45][46]
- Matematiklar E8 guruhini to'liq xaritada aks ettiradi.[47][48][49]
2010 yil
Shuningdek qarang
- Ilmiy hisoblashning xronologiyasi
- Hisoblash matematikasi
- Algoritmlarning vaqt jadvallari
- 20-asrdan boshlab matematikaning xronologiyasi
- 1945 yildan keyingi raqamli tahlillar jadvali
Adabiyotlar
- ^ Metropolis, N. (1987). "Monte-Karlo uslubining boshlanishi" (PDF). Los Alamos Science. № 15, 125-bet.. Kirish 2012 yil 5-may.
- ^ S. Ulam, R. D. Rixtmyer va J. fon Neyman (1947). Neytron diffuziyasida statistik usullar. Los Alamos ilmiy laboratoriyasining hisoboti LAMS – 551.
- ^ N. Metropolis va S. Ulam (1949). Monte-Karlo usuli. Amerika Statistika Uyushmasi jurnali 44: 335-341.
- ^ "SIAM News, 1994 yil noyabr". Olingan 6 iyun 2012. Tizimlarni optimallashtirish laboratoriyasi, Stenford universiteti Xuang muhandislik markazi (sayt xosti / oyna).
- ^ Richtmyer, R. D. (1948). Shoklarni hisoblash uchun tavsiya etilgan raqamli usul. Los Alamos, NM: Los Alamos ilmiy laboratoriyasi LA-671.
- ^ Gidrodinamik zarbalarni sonli hisoblash usuli.Von Neyman, J .; Richtmyer, R. D. Amaliy fizika jurnali, jild. 21, 232-237 betlar
- ^ Von Neyman, J., O'z-o'zini tanqid qiladigan avtomatlar nazariyasi, Univ. Illinois Press, Urbana, 1966 yil.
- ^ Manchester Mark 1.
- ^ Turli xil eslatmalar: Mersenne Primes. 60 Manchester - Zamonaviy Kompyuterning 60 yilligi[doimiy o'lik havola ], Manchester Uni. CS Curation veb-sayti.
- ^ Bir tonna "Chaqaloq" uning tug'ilishini anglatadi: Dashing vaqtlari. Jonatan Fildes tomonidan, Fan va texnologiyalar bo'yicha muxbir, BBC News.
- ^ Magnus R. Xestesen va Eduard Stifel, chiziqli tizimlarni echish uchun konjuge gradyanlari usullari, J. Res. Natl. Bur. Stend. 49, 409-436 (1952).
- ^ Eduard Stiefel, Uho ber einige Methoden der Relaxationsrechnung (nemis tilida), Z. Anjew. Matematika. Fizika. 3, 1-33 (1952).
- ^ Kornelius Lanczos, chiziqli tenglamalar tizimining minimallashtirilgan takrorlanishlar bo'yicha echimi, J. Res. Natl. Bur. Stend. 49, 33-53 (1952).
- ^ Kornelius Lankzos, Chiziqli differentsial va integral operatorlarning xususiy qiymati masalasini echishning takrorlanish usuli, J. Res. Natl. Bur. Stend. 45, 255-282 (1950).
- ^ Metropolis, N.; Rozenblyut, A.V.; Rozenblyut, M.N.; Telller, A.H .; Teller, E. (1953). "Tez hisoblash mashinalari bo'yicha davlat hisob-kitoblari tenglamalari". Kimyoviy fizika jurnali. 21 (6): 1087–1092. Bibcode:1953JChPh..21.1087M. doi:10.1063/1.1699114.
- ^ Afsuski, Alderning tezis bo'yicha maslahatchisi hayajonlanmadi, shuning uchun Alder va Frankel ularning natijalarini nashr etishni ancha kechiktirdilar. Alder, B. J., Frankel, S. P. va Levinson, B. A., J. Chem. Fizika, 23, 3 (1955).
- ^ Stenli P. Frankel, Tan olinmagan daho, HP9825.COM (2015 yil 29-avgust).
- ^ Fermi, E. (o'limdan keyin); Makaron, J .; Ulam, S. (1955): Lineer bo'lmagan muammolarni o'rganish (2012 yil 25 sentyabr). Los-Alamos laboratoriyasining hujjati LA-1940. Shuningdek, paydo bo'ldi "Enriko Fermining to'plamlari", E. Segre tahririda. , Chikago universiteti matbuoti, II jild, 978–988,1965. 2012 yil 21-dekabrda tiklandi
- ^ Ford, L. R .; Fulkerson, D. R. (1956). "Tarmoq orqali maksimal oqim" . Kanada matematika jurnali. 8: 399–404.
- ^ Uy egasi, A. S. (1958). "Nosimmetrik matritsaning unitar uchburchagi" (PDF). ACM jurnali. 5 (4): 339–342. doi:10.1145/320941.320947. JANOB 0111128.
- ^ Alder, B. J .; T. E. Vaynrayt (1959). "Molekulyar dinamikada tadqiqotlar. I. Umumiy metod". J. Chem. Fizika. 31 (2): 459. Bibcode 1959JChPh..31..459A. doi: 10.1063 / 1.1730376
- ^ J. G. F. Frensis, "QR transformatsiyasi, men", Kompyuter jurnali, vol. 4, yo'q. 3, 265-271 betlar (1961 yil, 1959 yil oktyabrda olingan) onlayn ravishda oxfordjournals.org saytida;
J. G. F. Frensis, "QR transformatsiyasi, II" Kompyuter jurnali, vol. 4, yo'q. 4, 332–345 betlar (1962) onlayn ravishda oxfordjournals.org saytida. - ^ Vera N. Kublanovskaya (1961), "To'liq shaxsiy qiymat masalasini hal qilishning ba'zi algoritmlari to'g'risida", SSSR hisoblash matematikasi va matematik fizika, 1 (3), 637–657 betlar (1963, 1961 yil fevralda olingan). Shuningdek nashr etilgan: Jurnal Vychislitel'noi Matematiki i Matematicheskoi Fiziki [Hisoblash matematikasi va matematik fizika jurnali], 1 (4), 555-570 betlar (1961).
- ^ RW Klou, "PlaneStress tahlilidagi yakuniy element usuli", elektron hisoblash bo'yicha 2-chi AEX konferentsiyasi materiallari, Pitsburg, Pensilvaniya, 8, 9, 1960 yil.
- ^ Minovich, Maykl: "Sayyoralararo erkin tushish razvedkasining traektoriyalarini aniqlash usuli", Reaktiv harakatlanish laboratoriyasi TM-312-130 Texnik eslatmasi, 38-44 betlar (1961 yil 23 avgust).
- ^ Kristofer Rayli va Dallas Kempbell, 2012 yil 22 oktyabr. "Voyagerga imkon bergan matematikalar". BBC News Science and Atrof-muhit. 2013 yil 16-iyunda tiklandi.
- ^ Rahmon, A (1964). "Suyuq argonda atomlar harakatidagi korrelyatsiyalar". Phys Rev.. 136 (2A): A405-A41. Bibcode:1964PhRv..136..405R. doi:10.1103 / PhysRev.136.A405.
- ^ Lorenz, Edvard N. (1963). "Deterministik davriy bo'lmagan oqim" (PDF). Atmosfera fanlari jurnali. 20 (2): 130–141. Bibcode:1963JAtS ... 20..130L. doi:10.1175 / 1520-0469 (1963) 020 <0130: DNF> 2.0.CO; 2.
- ^ Zabuskiy, N. J .; Kruskal, M. D. (1965). "To'qnashuvsiz plazmadagi" solitonlar "ning o'zaro ta'siri va dastlabki holatlarning qaytalanishi". Fizika. Ruhoniy Lett. 15 (6): 240-243. Bibcode 1965PhRvL..15..240Z. doi: 10.1103 / PhysRevLett.15.240.
- ^ http://www.merriam-webster.com/dictionary/soliton ; 2012 yil 3-noyabrda olingan.
- ^ Qayin, Bryan; Svinnerton-Dayer, Piter (1965). "Elliptik egri chiziqlar bo'yicha yozuvlar (II)". J. Reyn Anju. Matematika. 165 (218): 79-108. doi: 10.1515 / crll.1965.218.79.
- ^ Bruno Buxberger: Ein Algorithmus zum Auffinden der Basiselemente des Restklassenringes nach einem nulldimensionalen Polynomideal (PDF; 1,8 MB). 1965 yil
- ^ a b Verlet, Loup (1967). Klassik suyuqliklar bo'yicha "kompyuter" tajribalari. I. Lennard-Jons molekulalarining termodinamik xususiyatlari ". Jismoniy sharh. 159 (1): 98–103. Bibcode:1967PhRv..159 ... 98V. doi:10.1103 / PhysRev.159.98.
- ^ Press, WH; Teukolskiy, SA; Vetterling, WT; Flannery, BP (2007). "17.4-bo'lim. Ikkinchi tartibli konservativ tenglamalar". Raqamli retseptlar: Ilmiy hisoblash san'ati (3-nashr). Nyu-York: Kembrij universiteti matbuoti. ISBN 978-0-521-88068-8.
- ^ Risch, R. H. (1969). "Sonli atamalardagi integratsiya muammosi". Amerika Matematik Jamiyatining operatsiyalari. Amerika matematik jamiyati. 139: 167-189. doi: 10.2307 / 1995313. JSTOR 1995313. Risch, R. H. (1970). "Integratsiya muammosini cheklangan muddatlarda hal qilish". Amerika Matematik Jamiyati Axborotnomasi. 76 (3): 605-608. doi: 10.1090 / S0002-9904-1970-12454-5.
- ^ http://www.umiacs.umd.edu/~helalfy/pub/mscthesis01.pdf
- ^ B. Mandelbrot; Les objets fractals, forme, hasard et dimension (frantsuz tilida). Nashriyotchi: Flammarion (1975), ISBN 9782082106474; Inglizcha tarjima Fraktallar: shakli, imkoniyatlari va o'lchamlari. Nashriyotchi: Freeman, W. H & Company. (1977). ISBN 9780716704737.
- ^ Mandelbrot, Benoit B.; (1983). Tabiatning fraktal geometriyasi. San-Fransisko: W.H. Freeman. ISBN 0-7167-1186-9.
- ^ Kennet Appel va Volfgang Xaken, "Har bir tekislik xaritasi to'rtta rangga bo'yalgan, I qism: zaryadsizlanish", Illinoys matematikasi jurnali 21: 429-490, 1977 y.
- ^ Appel, K. va Xaken, V. "Har bir tekislik xaritasi to'rt rangli, II: qisqartirilish." Illinoys J. Matematik. 21, 491-567, 1977 yil.
- ^ Appel, K. va Xaken, V. "To'rt rangli xarita muammosining echimi". Ilmiy ish. Amer. 237, 108-121, 1977 yil.
- ^ L. Greengard, Zarrachalar tizimidagi potentsial maydonlarni tezkor baholash, MIT, Kembrij, (1987).
- ^ Roxlin, Vladimir (1985). "Klassik potentsial nazariyasining integral tenglamalarini tezkor echimi". J. Hisoblash fizikasi jildi 60, 187-207 betlar.
- ^ L. Greengard va V. Roxlin, "Zarrachalarni simulyatsiya qilishning tezkor algoritmi", J. Komput. Fizika, 73 (1987), yo'q. 2, 325-348 betlar.
- ^ Rubik kubining gumoni isbotlangan! (Bizga ahamiyat beradimi?) 2010 yil 8 sentyabr, chorshanba
- ^ Xudoning soni 20 ga teng.
- ^ Matematik tadqiqot guruhi xaritalari E8: qog'ozda hisoblash Manxettenni qamrab oladi. MIT yangiliklari. Yelizaveta A. Tomson, yangiliklar bo'limi; 2007 yil 18 mart.
- ^ E8 Media Blits, Piter Voit.
- ^ Matematiklar xaritasi E8. Arxivlandi 2015-09-24 da Orqaga qaytish mashinasi Armine Hareyan tomonidan 2007-03-20 02:21.
- ^ Apelsinni qadoqlash usuli qanday? - Sharlarni qadoqlash bo'yicha Keplerning gumoni. Antuan Nectoux tomonidan 2015 yil 26 mayda nashr etilgan. Klein Project Blog: Matematik olamlarni bog'lash.
- ^ Tugatish to'g'risida e'lon. Flyspeck loyihasi, Google kodi.
- ^ 400 yillik mevalarni yig'ish muammosi tasdiqlangan. Yangi olim, 2014 yil 12-avgust.