Обоснование гипотезы о четырех красках
Завантаження...
Дата
Автори
Назва журналу
Номер ISSN
Назва тому
Видавець
Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України
Анотація
Дано обоснование машинного доказательства гипотезы о четырех красках, выполненного группой математиков, возглавляемой К. Аппелем и В. Хейкеном.
Дано обґрунтування машинного доказу гіпотези про чотири фарби, який виконано групою математиків, очолюваною К. Аппелем і В. Хейкеном.
The paper provides a substantiation of the machine proof of the hypothesis of four colors conducted by a group of mathematicians headed by K. Appel and V. Heiken.
Дано обґрунтування машинного доказу гіпотези про чотири фарби, який виконано групою математиків, очолюваною К. Аппелем і В. Хейкеном.
The paper provides a substantiation of the machine proof of the hypothesis of four colors conducted by a group of mathematicians headed by K. Appel and V. Heiken.
Опис
Теми
Математичне моделювання та обчислювальні методи
Цитування
Обоснование гипотезы о четырех красках / С.В. Листровой, Е.С. Листровая // Електронне моделювання. — 2018. — Т. 40, № 3. — С. 33-40. — Бібліогр.: 5 назв. — рос.