Хронология вычислительной математики
Это график ключевых событий в вычислительной математике .
1940-е годы
[ редактировать ]- Симуляция Монте-Карло (входит в десятку лучших алгоритмов 20-го века), изобретенная в Лос-Аламосе фон Нейманом, Уламом и Метрополисом. [1] [2] [3]
- Данциг представляет симплексный алгоритм (входит в десятку лучших алгоритмов 20 века). [4]
- Первые гидромоделирования были проведены в Лос-Аламосе. [5] [6]
- Улам и фон Нейман вводят понятие клеточных автоматов. [7]
- Программа для Manchester Baby, написанная для разложения большого числа (2^18), одна из первых в вычислительной теории чисел . [8] Манчестерская группа добилась еще нескольких прорывов в этой области . [9]
- Впервые обнаружен метод LU-разложения.
1950-е годы
[ редактировать ]- Хестенес , Стифель и Ланцос , все из Института численного анализа Национального бюро стандартов , инициируют разработку методов итерации подпространства Крылова . [10] [11] [12] [13] Вошел в десятку лучших алгоритмов 20-го века.
- В книге «Уравнения расчета состояний с помощью быстрых вычислительных машин» представлен алгоритм Метрополиса – Гастингса . [14] Также важна более ранняя независимая работа Алдера и С. Франкеля. [15] [16]
- Энрико Ферми , Станислав Улам , Джон Паста и Мэри Цингу открывают проблему Ферми-Пасты-Улама-Цингу . [17]
- В теории сетей Форд и Фулкерсон вычислили решение проблемы максимального потока . [18]
- Хаусхолдер изобретает одноименные матрицы и метод преобразования (входит в десятку лучших алгоритмов 20 века). [19]
- Молекулярная динамика изобретена Олдером и Уэйнрайтом. [20]
- Джон Г.Ф. Фрэнсис [21] and Vera Kublanovskaya [22] изобрести QR-факторизацию (вошел в десятку лучших алгоритмов 20-го века).
1960-е годы
[ редактировать ]- Впервые зафиксировано использование термина «метод конечных элементов» Рэем Клафом . [23] описать методы Куранта, Хреникова и Зенкевича и других. См. также здесь .
- Используя вычислительные исследования задачи трёх тел , Минович формулирует гравитационный метод. [24] [25]
- Молекулярная динамика была изобретена независимо Анисуром Рахманом . [26]
- Кули и Тьюки заново изобрели быстрое преобразование Фурье (вошло в число 10 лучших алгоритмов 20-го века), алгоритм, впервые открытый Гауссом .
- Эдвард Лоренц обнаруживает эффект бабочки на компьютере, что привлекает интерес к теории хаоса . [27]
- Краскал и Забуски развивают проблему Ферми-Пасты-Улама-Цингу с помощью дальнейших численных экспериментов и вводят термин «солитон». [28] [29]
- Гипотеза Берча и Суиннертона-Дайера, сформулированная в результате компьютерных исследований. [30]
- Базисы Гробнера и алгоритм Бухбергера, изобретенные для алгебры [31]
- Француз Верле (вновь) открывает алгоритм численного интегрирования . [32] (впервые использованный в 1791 году Деламбром, Коуэллом и Кроммелином в 1909 году и Карлом Фредриком Штермером в 1907 году, [33] отсюда и альтернативные названия динамики: метод Штёрмера или метод Верле-Штермера. [32]
- Риш изобретает алгоритм символьного интегрирования. [34]
1970-е годы
[ редактировать ]- Мандельброт на основе исследований множеств Фату , Жюлиа и Мандельброта придумал и популяризировал термин «фрактал» для описания самоподобия этих структур . [35] [36]
- Кеннет Аппель и Вольфганг Хакен доказывают теорему о четырех цветах , первую теорему, доказанную с помощью компьютера . [37] [38] [39]
1980-е годы
[ редактировать ]- Метод быстрых мультиполей, изобретенный Рохлиным и Грингардом (входит в десятку лучших алгоритмов 20 века). [40] [41] [42]
1990-е годы
[ редактировать ]- Появление первых исследовательских грид с использованием добровольных вычислений — GIMPS (1996 г.) и распределенных.нет (1997 г.).
- Гипотеза Кеплера почти наверняка алгоритмически доказана Томасом Хейлсом в 1998 году.
2000-е
[ редактировать ]- В теории вычислительных групп число Бога для кубика Рубика равно 20. [43] [44]
- Математики полностью картируют группу E8. [45] [46] [47]
2010-е годы
[ редактировать ]См. также
[ редактировать ]- Хронология научных вычислений
- Вычислительная математика
- Хронология алгоритмов
- Хронология математики с 20 века и далее
- Хронология численного анализа после 1945 года
Ссылки
[ редактировать ]- ^ Метрополис, Н. (1987). «Начало метода Монте-Карло» (PDF) . Лос-Аламосская наука . 15 :125–130 . Проверено 5 мая 2012 г.
- ^ С. Улам, Р.Д. Рихтмайер и Дж. фон Нейман (1947). Статистические методы диффузии нейтронов . Отчет Лос-Аламосской научной лаборатории LAMS–551.
- ^ Н. Метрополис и С. Улам (1949). Метод Монте-Карло. Журнал Американской статистической ассоциации 44:335–341.
- ^ «Новости СИАМ, ноябрь 1994 г.» . Проверено 6 июня 2012 года . Лаборатория системной оптимизации, Инженерный центр Хуанга Стэнфордского университета (хост/зеркало сайта).
- ^ Рихтмайер, Р.Д. (1948). Предлагаемый численный метод расчета шоков. Лос-Аламос, Нью-Мексико: Лос-Аламосская научная лаборатория LA-671.
- ^ Метод численного расчета гидродинамических ударов.Фон Нейман, Дж.; Рихтмайер, Р.Д. Журнал прикладной физики, Vol. 21, стр. 232–237.
- ^ Фон Нейман, Дж., Теория самовоспроизводящихся автоматов, Univ. из Illinois Press, Урбана, 1966.
- ^ Манчестерская марка 1.
- ^ Одна тонна «Малышки» отмечает свое рождение: Лихие времена. Джонатан Филдс, репортер по науке и технологиям BBC News.
- ^ Магнус Р. Хестенес и Эдуард Штифель, Методы сопряженных градиентов для решения линейных систем, J. Res. Натл. Бур. Стоять. 49, 409–436 (1952).
- ^ Эдуард Штифель, О некоторых методах расчета релаксации (на немецком языке), З. Ангью. Матем. 3, 1–33 (1952).
- ^ Корнелиус Ланцос, Решение систем линейных уравнений с помощью минимизированных итераций, J. Res. Натл. Бур. Стоять. 49, 33–53 (1952).
- ^ Корнелиус Ланцос, Итерационный метод для решения проблемы собственных значений линейных дифференциальных и интегральных операторов, J. Res. Натл. Бур. Стоять. 45, 255–282 (1950).
- ^ Метрополис, Северная Каролина ; Розенблут, AW; Розенблут, Миннесота ; Теллер, А.Х.; Теллер, Э. (1953). «Уравнения вычислений состояний на быстрых вычислительных машинах» . Журнал химической физики . 21 (6): 1087–1092. Бибкод : 1953ЖЧФ..21.1087М . дои : 10.1063/1.1699114 . ОСТИ 4390578 . S2CID 1046577 .
- ^ К сожалению, научный руководитель Алдера не был впечатлен, поэтому Алдер и Франкель отложили публикацию своих результатов на гораздо более поздний срок. Алдер Б.Дж., Франкель С.П. и Левинсон Б.А., J. Chem. Phys., 23, 3 (1955) .
- ^ Стэнли П. Франкель, Непризнанный гений , HP9825.COM (по состоянию на 29 августа 2015 г.).
- ^ Ферми, Э. (посмертно); Паста, Дж.; Улам, С. (1955): Исследования нелинейных проблем (по состоянию на 25 сентября 2012 г.) . Документ Лос-Аламосской лаборатории LA-1940. Также появилось в «Собрании сочинений Энрико Ферми», изд. Э. Сегре, University of Chicago Press , Vol. II, 978–988, 1965. Обнаружено 21 декабря 2012 г.
- ^ Форд, ЛР; Фулкерсон, Д.Р. (1956). «Максимальный поток через сеть» . Канадский математический журнал . 8: 399–404.
- ^ Хаусхолдер, А.С. (1958). «Унитарная триангуляризация несимметричной матрицы» (PDF) . Журнал АКМ . 5 (4): 339–342. дои : 10.1145/320941.320947 . МР 0111128 . S2CID 9858625 .
- ^ Олдер, БиДжей; Т. Э. Уэйнрайт (1959). «Исследования по молекулярной динамике. I. Общий метод». Дж. Хим. Физ. 31 (2): 459. Бибкод 1959ЖЧФ..31..459А. дои: 10.1063/1.1730376
- ^ JGF Фрэнсис, «QR-трансформация, I», The Computer Journal , vol. 4, нет. 3, страницы 265–271 (1961 г., получено в октябре 1959 г.) на сайте oxfordjournals.org ;
Дж. Г. Фрэнсис, «QR-трансформация, II», The Computer Journal , vol. 4, нет. 4, страницы 332–345 (1962) на сайте oxfordjournals.org . - ^ Вера Н. Кублановская (1961), «О некоторых алгоритмах решения полной проблемы собственных значений», Вычислительная математика и математическая физика СССР, 1 (3), страницы 637–657 (1963, получено в феврале 1961 г.). Опубликовано также в: Журнал вычислительной математики и математической физики, 1(4), стр. 555–570 (1961).
- ^ Р.В. Клаф, «Метод конечных элементов в плоскостиАнализ напряжений», Материалы 2-й конференции ASCE по электронным вычислениям, Питтсбург, Пенсильвания, 8, 9 сентября 1960 г.
- ^ Минович, Майкл: «Метод определения траекторий межпланетной разведки в свободном падении», Техническая записка Лаборатории реактивного движения TM-312-130, страницы 38-44 (23 августа 1961 г.).
- ↑ Кристофер Райли и Даллас Кэмпбелл, 22 октября 2012 г. «Математика, которая сделала «Вояджер» возможным». Архивировано 30 июля 2013 г. в Wayback Machine . BBC News Наука и окружающая среда. Обнаружено 16 июня 2013 г.
- ^ Рахман, А (1964). «Корреляции в движении атомов в жидком аргоне». Физика преп . 136 (2А): А405–А41. Бибкод : 1964PhRv..136..405R . дои : 10.1103/PhysRev.136.A405 .
- ^ Лоренц, Эдвард Н. (1963). «Детерминированный непериодический поток» (PDF) . Журнал атмосферных наук . 20 (2): 130–141. Бибкод : 1963JAtS...20..130L . doi : 10.1175/1520-0469(1963)020<0130:DNF>2.0.CO;2 .
- ^ Забуски, Нью-Джерси; Краскал, доктор медицины (1965). «Взаимодействие «солитонов» в бесстолкновительной плазме и возвратность начальных состояний». Физ. Преподобный Летт. 15 (6): 240–243. Бибкод 1965PhRvL..15..240Z. doi:10.1103/PhysRevLett.15.240.
- ^ http://www.merriam-webster.com/dictionary/soliton ; получено 3 ноября 2012 г.
- ^ Берч, Брайан; Суиннертон-Дайер, Питер (1965). «Заметки об эллиптических кривых (II)». Дж. Рейн Анжью. Математика. 165 (218): 79–108. doi:10.1515/crll.1965.218.79.
- ^ Бруно Бухбергер: Алгоритм поиска базисных элементов кольца классов вычетов в соответствии с нульмерным полиномиальным идеалом (PDF; 1,8 МБ). 1965 год
- ^ Перейти обратно: а б Верле, Лу (1967). «Компьютерные «эксперименты» над классическими жидкостями. I. Термодинамические свойства молекул Леннарда-Джонса» . Физический обзор . 159 (1): 98–103. Бибкод : 1967PhRv..159...98В . дои : 10.1103/PhysRev.159.98 .
- ^ Пресс, WH; Теукольский, С.А.; Феттерлинг, WT; Фланнери, BP (2007). «Раздел 17.4. Консервативные уравнения второго порядка» . Численные рецепты: искусство научных вычислений (3-е изд.). Нью-Йорк: Издательство Кембриджского университета. ISBN 978-0-521-88068-8 .
- ^ Риш, Р.Х. (1969). «Проблема интегрирования в конечных терминах». Труды Американского математического общества. Американское математическое общество. 139: 167–189. дои: 10.2307/1995313. JSTOR 1995313.Риш, Р.Х. (1970). «Решение задачи интегрирования в конечных терминах». Бюллетень Американского математического общества. 76 (3): 605–608. doi: 10.1090/S0002-9904-1970-12454-5.
- ^ Б. Мандельброт; Фрактальные объекты, форма, случайность и размерность (на французском языке). Издательство: Фламмарион (1975), ISBN 9782082106474 ; Английский перевод Фракталы: форма, случайность и измерение. Издатель: Freeman, WH & Company. (1977). ISBN 9780716704737 .
- ^ Мандельброт, Бенуа Б.; (1983). Фрактальная геометрия природы. Сан-Франциско: WH Freeman. ISBN 0-7167-1186-9 .
- ^ Кеннет Аппель и Вольфганг Хакен, «Каждая плоская карта раскрашивается в четыре цвета, Часть I: Разрядка», Illinois Journal of Mathematics 21: 429–490, 1977.
- ^ Аппель, К. и Хакен, В. «Каждая плоская карта раскрашивается в четыре цвета, II: Сводимость». Иллинойс Дж. Математика. 21, 491–567, 1977.
- ^ Аппель К. и Хакен В. «Решение проблемы четырехцветной карты». наук. амер. 237, 108–121, 1977.
- ^ Л. Грингард, Быстрая оценка потенциальных полей в системах частиц, Массачусетский технологический институт, Кембридж (1987).
- ^ Рохлин, Владимир (1985). «Быстрое решение интегральных уравнений классической теории потенциала». J. Вычислительная физика Том. 60, стр. 187–207.
- ^ Л. Грингард и В. Рохлин, «Быстрый алгоритм моделирования частиц», J. Comput. Физика, 73 (1987), вып. 2, стр. 325–348.
- ^ Гипотеза о кубике Рубика ДОКАЗАНА! (Нас это волнует?) Среда, 8 сентября 2010 г.
- ↑ Число Бога — 20.
- ^ Группа математических исследований составляет карты E8: Расчеты на бумаге охватывают Манхэттен. Новости Массачусетского технологического института. Элизабет А. Томсон, служба новостей; 18 марта 2007 г.
- ^ E8 Media Blitz , Питер Войт .
- ^ Карта математиков E8. Архивировано 24 сентября 2015 г. в Wayback Machine. Автор: Армине Хареян 20 марта 2007 г., 02:21.
- ^ Как упаковывают апельсины? — Гипотеза Кеплера об упаковке сфер. Опубликовано 26 мая 2015 г. Антуаном Некту. Блог проекта Кляйн: Соединение математических миров.
- ^ Объявление о завершении. Проект Flyspeck, Google Code .
- ^ Подтверждено доказательство 400-летней проблемы со штабелированием фруктов. Новый учёный , 12 августа 2014 г.