Хронология вычислительной математики - Википедия - Timeline of computational mathematics
Это график ключевых событий в вычислительная математика.
1940-е годы
- Моделирование Монте-Карло (вошел в десятку лучших алгоритмы 20 века), изобретенные в Лос-Аламосе фон Нейманом, Уламом и Метрополисом.[1][2][3]
- Данциг представляет симплексный алгоритм (признан одним из 10 лучших алгоритмов 20 века).[4]
- Первый гидро моделирование в Лос-Аламосе.[5][6]
- Улам и фон Нейман вводят понятие клеточных автоматов.[7]
- Распорядок для Manchester Baby записано в множитель большого числа (2 ^ 18), одного из первых в вычислительная теория чисел.[8] Манчестерская группа совершит еще несколько прорывов в эта зона.[9][10]
- Впервые обнаружена техника разложения LU.
1950-е годы
- Hestenes, Штифель, и Ланцош, все из Института численного анализа на Национальное бюро стандартов, инициировать разработку Итерационные методы подпространства Крылова.[11][12][13][14] Один из 10 лучших алгоритмов ХХ века.
- Уравнения расчета состояний на быстрых вычислительных машинах вводит Алгоритм Метрополиса – Гастингса.[15] Также важны более ранние самостоятельные работы Олдера и С. Франкеля.[16][17]
- Энрико Ферми, Станислав Улам, Джон Паста, и Мэри Цинго, откройте для себя Проблема Ферми – Паста – Улама – Цингоу.[18]
- В теории сетей Ford & Fulkerson вычислили решение задачи максимального расхода.[19]
- Домохозяин изобретает свой одноименные матрицы и метод трансформации (признан одним из 10 лучших алгоритмов 20 века).[20]
- Молекулярная динамика изобретена Олдером и Уэйнрайтом[21]
- Джон Г.Ф. Фрэнсис[22] и Вера Кублановская[23] изобретать QR-факторизация (признан одним из 10 лучших алгоритмов 20 века).
1960-е
- Первое зарегистрированное использование термина "метод конечных элементов" Рэй Клаф,[24] описать, среди прочего, методы Куранта, Хреникова и Зенкевича. Смотрите также здесь.
- Используя вычислительные исследования Проблема трех тел Минович формулирует помощь гравитации метод.[25][26]
- Молекулярная динамика была изобретена независимо Анизур Рахман.[27]
- Кули и Тьюки заново изобретают Быстрое преобразование Фурье (признан одним из 10 лучших алгоритмов 20-го века), алгоритм, впервые обнаруженный Гаусс.
- Эдвард Лоренц обнаруживает эффект бабочки на компьютере, вызывая интерес к теория хаоса.[28]
- Крускал и Забуский следить за Проблема Ферми – Паста – Улама – Цингоу с дальнейшими численными экспериментами, и ввести термин «солитон».[29][30]
- Гипотеза Берча и Суиннертона-Дайера сформулирована в результате компьютерных исследований.[31]
- Основы Гробнера и алгоритм Бухбергера, изобретенный для алгебры[32]
- Француз Верле (заново) открывает алгоритм численного интегрирования,[33] (впервые использован в 1791 году Деламбром, Коуэллом и Кроммелином в 1909 году, а также Карл Фредрик Штёрмер в 1907 г.,[34] отсюда альтернативные названия метода Штёрмера или метода Верле-Штёрмера) для динамики.[33]
- Риш изобретает алгоритм символьной интеграции.[35]
1970-е годы
- Компьютерная алгебра повторяет и расширяет работы Делоне в теории Луны.[36]
- Мандельброт, из исследований Фату, Юля и Множества Мандельброта, придумал и популяризировал термин «фрактал» для описания этих структур » самоподобие.[37][38]
- Кеннет Аппель и Вольфганг Хакен доказывают теорема четырех цветов, то первая теорема, доказываемая компьютером.[39][40][41]
1980-е
- Быстрый мультипольный метод изобретен Рохлиным и Грингардом (признан одним из 10 лучших алгоритмов 20 века).[42][43][44]
1990-е годы
- Появление первых исследовательских сеток с использованием волонтерские вычисления – GIMPS (1996) и распределенный.net (1997).
- Гипотеза Кеплера является почти все, но наверняка доказано алгоритмически Томас Хейлз в 1998 г.
2000-е
- Согласно теории вычислительных групп, число Бога равно 20.[45][46]
- Математики полностью отображают группу E8.[47][48][49]
2010-е
Смотрите также
- Хронология научных вычислений
- Вычислительная математика
- Хронология алгоритмов
- Хронология математики с 20 века и далее
- Хронология численного анализа после 1945 г.
Рекомендации
- ^ Метрополис, Н. (1987). «Начало метода Монте-Карло» (PDF). Лос-Аламос Сайенс. № 15, стр. 125.. Доступ 5 мая 2012 г.
- ^ С. Улам, Р. Д. Рихтмайер и Дж. Фон Нейман (1947). Статистические методы диффузии нейтронов. Отчет Лос-Аламосской научной лаборатории LAMS – 551.
- ^ Н. Метрополис и С. Улам (1949). Метод Монте-Карло. Журнал Американской статистической ассоциации 44: 335–341.
- ^ "Новости СИАМ, ноябрь 1994". Получено 6 июн 2012. Лаборатория оптимизации систем, Технический центр Хуанг Стэнфордского университета (хост / зеркало сайта).
- ^ Рихтмайер, Р. Д. (1948). Предлагаемый численный метод расчета ударов. Лос-Аламос, Нью-Мексико: Лос-Аламосская научная лаборатория LA-671.
- ^ Метод численного расчета гидродинамических ударов. Фон Нейман, Дж .; Рихтмайер, Р. Д. Журнал прикладной физики, Vol. 21. С. 232–237.
- ^ Фон Нейман Дж. Теория самовоспроизводящихся автоматов. Иллинойс Пресс, Урбана, 1966.
- ^ Манчестер Марк 1.
- ^ Разные примечания: Простые числа Мерсенна. 60 Манчестер - 60 лет современного компьютера[постоянная мертвая ссылка ], Манчестерский университет. Сайт CS Curation.
- ^ Одна тонна Baby знаменует его рождение: лихие времена. Автор: Джонатан Филдс, корреспондент BBC News, посвященный науке и технологиям.
- ^ Магнус Р. Хестенес и Эдуард Штифель, Методы сопряженных градиентов для решения линейных систем, J. Res. Natl. Бур. Стоять. 49, 409–436 (1952).
- ^ Эдуард Штифель, U¨ber einige Methoden der Relaxationsrechnung (на немецком языке), Z. Angew. Математика. Phys. 3, 1–33 (1952).
- ^ Корнелиус Ланцош, Решение систем линейных уравнений с помощью минимальных итераций, J. Res. Natl. Бур. Стоять. 49, 33–53 (1952).
- ^ Корнелиус Ланцош, Итерационный метод решения проблемы собственных значений линейных дифференциальных и интегральных операторов, J. Res. Natl. Бур. Стоять. 45, 255–282 (1950).
- ^ Метрополис, Н.; Rosenbluth, A.W .; Розенблют, М.; Teller, A.H .; Теллер, Э. (1953). «Уравнения расчета состояний на быстрых вычислительных машинах». Журнал химической физики. 21 (6): 1087–1092. Bibcode:1953ЖЧФ..21.1087М. Дои:10.1063/1.1699114.
- ^ К сожалению, научный руководитель Альдера не был впечатлен, поэтому Альдер и Франкель отложили публикацию своих результатов на много позже. Alder, B.J., Frankel, S.P., и Lewinson, B.A., J. Chem. Физ., 23, 3 (1955).
- ^ Стэнли П. Франкель, непризнанный гений, HP9825.COM (по состоянию на 29 августа 2015 г.).
- ^ Ферми, Э. (посмертно); Pasta, J .; Улам, С. (1955): Исследования нелинейных задач (доступ 25 сентября 2012 г.). Документ Лос-Аламосской лаборатории LA-1940. Также появился в «Собрании сочинений Энрико Ферми», под ред. Э. Сегре. , Издательство Чикагского университета, Vol.II, 978–988,1965. Выкуплено 21 декабря 2012 г.
- ^ Ford, L.R .; Фулкерсон, Д. Р. (1956). «Максимальный поток через сеть» . Канадский математический журнал. 8: 399–404.
- ^ Хаусхолдер, А. С. (1958). «Унитарная треугольная форма несимметричной матрицы» (PDF). Журнал ACM. 5 (4): 339–342. Дои:10.1145/320941.320947. МИСТЕР 0111128.
- ^ Alder, B.J .; Т. Э. Уэйнрайт (1959). «Исследования молекулярной динамики. I. Общий метод». J. Chem. Phys. 31 (2): 459. Bibcode 1959JChPh..31..459A. DOI: 10.1063 / 1.1730376
- ^ Дж. Г. Ф. Фрэнсис, "Преобразование QR, I", Компьютерный журнал, т. 4, вып. 3, страницы 265–271 (1961, получено в октябре 1959 г.) онлайн на oxfordjournals.org;
Дж. Г. Фрэнсис, "Преобразование QR, II" Компьютерный журнал, т. 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 г. «Математика, которая сделала« Вояджер »возможным». BBC News Science and Environment. Вылечено 16 июня 2013 г.
- ^ Рахман, А (1964). «Корреляции в движении атомов в жидком аргоне». Phys Rev. 136 (2A): A405 – A41. Bibcode:1964ПхРв..136..405Р. Дои:10.1103 / PhysRev.136.A405.
- ^ Лоренц, Эдвард Н. (1963). «Детерминированный непериодический поток» (PDF). Журнал атмосферных наук. 20 (2): 130–141. Bibcode:1963JAtS ... 20..130L. Дои:10.1175 / 1520-0469 (1963) 020 <0130: DNF> 2.0.CO; 2.
- ^ Забуски, Н. Дж .; Крускал, М. Д. (1965). «Взаимодействие« солитонов »в бесстолкновительной плазме и повторяемость начальных состояний». Phys. Rev. Lett. 15 (6): 240–243. Бибкод 1965PhRvL..15..240Z. DOI: 10.1103 / PhysRevLett.15.240.
- ^ http://www.merriam-webster.com/dictionary/soliton ; получено 3 ноя 2012.
- ^ Берч, Брайан; Суиннертон-Дайер, Питер (1965). «Заметки об эллиптических кривых (II)». J. Reine Angew. Математика. 165 (218): 79–108. DOI: 10.1515 / crll.1965.218.79.
- ^ Бруно Бухбергер: Ein Algorithmus zum Auffinden der Basiselemente des Restklassenringes nach einem nulldimensionalen Polynomideal (PDF; 1,8 МБ). 1965 г.
- ^ а б Верле, Лу (1967). "Компьютерные" эксперименты "на классических жидкостях. I. Термодинамические свойства молекул Леннард-Джонса". Физический обзор. 159 (1): 98–103. Bibcode:1967ПхРв..159 ... 98В. Дои:10.1103 / PhysRev.159.98.
- ^ Нажмите, WH; Теукольский С.А.; Феттерлинг, штат Вашингтон; Фланнери, ВР (2007). «Раздел 17.4. Консервативные уравнения второго порядка». Числовые рецепты: искусство научных вычислений (3-е изд.). Нью-Йорк: Издательство Кембриджского университета. ISBN 978-0-521-88068-8.
- ^ Риш, Р. Х. (1969). «Проблема интеграции в конечных терминах». Труды Американского математического общества. Американское математическое общество. 139: 167–189. DOI: 10.2307 / 1995313. JSTOR 1995313. Риш Р. Х. (1970). «Решение проблемы интеграции в конечные сроки». Бюллетень Американского математического общества. 76 (3): 605–608. DOI: 10.1090 / S0002-9904-1970-12454-5.
- ^ http://www.umiacs.umd.edu/~helalfy/pub/mscthesis01.pdf
- ^ Б. Мандельброт; Les objets фракталы, форма, хасард и измерение (На французском). Издательство: Фламмарион (1975), ISBN 9782082106474; английский перевод Фракталы: форма, шанс и размер. Издатель: Freeman, W. H & Company. (1977). ISBN 9780716704737.
- ^ Mandelbrot, Benoît B .; (1983). Фрактальная геометрия природы. Сан-Франциско: W.H. Фримен. ISBN 0-7167-1186-9.
- ^ Кеннет Аппель и Вольфганг Хакен, «Каждую планарную карту можно раскрасить в четыре цвета, Часть I: Разрядка», Illinois Journal of Mathematics 21: 429–490, 1977.
- ^ Аппель К. и Хакен В. «Каждую планарную карту можно раскрашивать в четыре цвета, II: сводимость». Иллинойс J. Math. 21, 491–567, 1977.
- ^ Аппель К. и Хакен В. "Решение проблемы четырехцветной карты". Sci. Амер. 237, 108–121, 1977.
- ^ Л. Грингард, Быстрая оценка потенциальных полей в системах частиц, Массачусетский технологический институт, Кембридж (1987).
- ^ Рохлин, Владимир (1985). «Быстрое решение интегральных уравнений классической теории потенциала». J. Computational Physics Vol. 60. С. 187–207.
- ^ Л. Грингард и В. Рохлин, "Быстрый алгоритм моделирования частиц", J. Comput. Физ., 73 (1987), вып. 2. С. 325–348.
- ^ Гипотеза о кубике Рубика ДОКАЗАНА! (Нам все равно?) Среда, 8 сентября 2010 г.
- ^ Число Бога - 20.
- ^ Группа математических исследований составляет карты E8: Расчет на бумаге охватывает Манхэттен. MIT News. Элизабет А. Томсон, Служба новостей; 18 марта 2007 г.
- ^ E8 Media Blitz, Питер Войт.
- ^ Математики Карта E8. В архиве 2015-09-24 на Wayback Machine Автор Армине Хареян 2007-03-20 02:21.
- ^ Как упаковывают апельсины? - Гипотеза Кеплера об упаковке сфер. Опубликовано 26 мая 2015 г., автор: Антуан Некту. Блог проекта Klein: Соединение математических миров.
- ^ Объявление о завершении. Проект Flyspeck, Код Google.
- ^ Подтверждение наличия 400-летней проблемы с укладкой фруктов. Новый ученый, 12 августа 2014 г.