Обоснование гипотезы о четырех красках

• Published in: Електронне моделювання
• Date: 2018
• Main Authors: Листровой, С.В., Листровая, Е.С.
• Format: Article
• Language: Russian
• Published: Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України 2018
• Subjects: Математичне моделювання та обчислювальні методи
• Online Access: https://nasplib.isofts.kiev.ua/handle/123456789/142470
• Journal Title: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Cite this: Обоснование гипотезы о четырех красках / С.В. Листровой, Е.С. Листровая // Електронне моделювання. — 2018. — Т. 40, № 3. — С. 33-40. — Бібліогр.: 5 назв. — рос.

Дано обоснование машинного доказательства гипотезы о четырех красках, выполненного группой математиков, возглавляемой К. Аппелем и В. Хейкеном. Дано обґрунтування машинного доказу гіпотези про чотири фарби, який виконано групою математиків, очолюваною К. Аппелем і В. Хейкеном. The paper provides a s...