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

Домашня сторінка
→
Фізико-технічні та математичні науки
→
Відділення фізико-технічних проблем енергетики
→
Электронное моделирование
→
Электронное моделирование, 2018, том 40
→
Електронне моделювання, 2018, № 3
→
Переглянути статтю

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

Листровой, С.В. ; Листровая, Е.С.

Інші назви: Обґрунтування гіпотези про чотири фарби
Substantiation of the Hypothesis on Four Colors

Тема: Математичне моделювання та обчислювальні методи

УДК: 519.682.1

Інший ID: DOI: https://doi.org/10.15407/emodel.40.03.033

URI: http://dspace.nbuv.gov.ua/handle/123456789/142470

Посилання: Обоснование гипотезы о четырех красках / С.В. Листровой, Е.С. Листровая // Електронне моделювання. — 2018. — Т. 40, № 3. — С. 33-40. — Бібліогр.: 5 назв. — рос.

Дата: 2018

Завантажень: 388

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

Анотація:

Дано обоснование машинного доказательства гипотезы о четырех красках, выполненного группой математиков, возглавляемой К. Аппелем и В. Хейкеном.

Дано обґрунтування машинного доказу гіпотези про чотири фарби, який виконано групою математиків, очолюваною К. Аппелем і В. Хейкеном.

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.

Показати повний запис статті