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

Скорочена інформація про документ
dc.contributor.authorЛистровой, С.В.
dc.contributor.authorЛистровая, Е.С.
dc.date.accessioned2018-10-09T15:22:49Z
dc.date.available2018-10-09T15:22:49Z
dc.date.issued2018
dc.description.abstractДано обоснование машинного доказательства гипотезы о четырех красках, выполненного группой математиков, возглавляемой К. Аппелем и В. Хейкеном.uk_UA
dc.description.abstractДано обґрунтування машинного доказу гіпотези про чотири фарби, який виконано групою математиків, очолюваною К. Аппелем і В. Хейкеном.uk_UA
dc.description.abstractThe 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.uk_UA
dc.identifier.citationОбоснование гипотезы о четырех красках / С.В. Листровой, Е.С. Листровая // Електронне моделювання. — 2018. — Т. 40, № 3. — С. 33-40. — Бібліогр.: 5 назв. — рос.uk_UA
dc.identifier.issn0204-3572
dc.identifier.otherDOI: https://doi.org/10.15407/emodel.40.03.033
dc.identifier.udc519.682.1
dc.identifier.urihttps://nasplib.isofts.kiev.ua/handle/123456789/142470
dc.language.isoruuk_UA
dc.publisherІнститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН Україниuk_UA
dc.relation.ispartofЕлектронне моделювання
dc.statuspublished earlieruk_UA
dc.subjectМатематичне моделювання та обчислювальні методиuk_UA
dc.titleОбоснование гипотезы о четырех краскахuk_UA
dc.title.alternativeОбґрунтування гіпотези про чотири фарбиuk_UA
dc.title.alternativeSubstantiation of the Hypothesis on Four Colorsuk_UA
dc.typeArticleuk_UA

Файли

Оригінальний контейнер

Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
02-Listrovoy.pdf
Розмір:
91.29 KB
Формат:
Adobe Portable Document Format
Завантажити

Контейнер ліцензії

Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
license.txt
Розмір:
817 B
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Колекція

Електронне моделювання, 2018, № 3