Обоснование гипотезы о четырех красках
Vernadsky National Library of Ukraine
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Обоснование гипотезы о четырех красках
|
|
| Creator |
Листровой, С.В.
Листровая, Е.С. |
|
| Subject |
Математичне моделювання та обчислювальні методи
|
|
| Description |
Дано обоснование машинного доказательства гипотезы о четырех красках, выполненного группой математиков, возглавляемой К. Аппелем и В. Хейкеном.
Дано обґрунтування машинного доказу гіпотези про чотири фарби, який виконано групою математиків, очолюваною К. Аппелем і В. Хейкеном. 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. |
|
| Date |
2018-10-09T15:22:49Z
2018-10-09T15:22:49Z 2018 |
|
| Type |
Article
|
|
| Identifier |
Обоснование гипотезы о четырех красках / С.В. Листровой, Е.С. Листровая // Електронне моделювання. — 2018. — Т. 40, № 3. — С. 33-40. — Бібліогр.: 5 назв. — рос.
0204-3572 DOI: https://doi.org/10.15407/emodel.40.03.033 http://dspace.nbuv.gov.ua/handle/123456789/142470 519.682.1 |
|
| Language |
ru
|
|
| Relation |
Електронне моделювання
|
|
| Publisher |
Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України
|
|