Экспериментальная математика

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск

Экспериментальная математика — область современной математики, отличающаяся использованием вычислительной техники для получения новых фактов (теорем) в математике. Все результаты, полученные в экспериментальной математике, являются строго доказанными утверждениями математики. Строго говоря, любые доказательства, выкладки, вычисления и т.д. являются экспериментами с целью получения новых законов (теорем). Однако в экспериментальной математике для проведения экспериментов используется современная вычислительная техника, позволяющая осуществлять эксперименты, недоступные при ручном счете. Основным методом экспериментальной математики являются доказательные вычисления, в ходе которых результаты вычислений используются для строгого доказательства математических фактов.

Литература[править | править вики-текст]

  • Арнольд В.И. Экспериментальная математика. — М.: Фазис, 2005. — 64 с. — ISBN 5-7036-0105-3.
  • Бабенко К.И., Петрович В.Ю., Рахманов А.И. О доказательном эксперименте в теории поверхностных волн конечной амплитуды // Докл. АН. — 1988. — Т. 303, № 5. — С. 1033-1037.