Наукова електронна бібліотека
періодичних видань НАН України
періодичних видань НАН України
Обоснование гипотезы о четырех красках
Репозиторій DSpace/Manakin
JavaScript is disabled for your browser. Some features of this site may not work without it.
| dc.contributor.author | Листровой, С.В. | |
| dc.contributor.author | Листровая, Е.С. | |
| dc.date.accessioned | 2018-10-09T15:22:49Z | |
| dc.date.available | 2018-10-09T15:22:49Z | |
| dc.date.issued | 2018 | |
| dc.identifier.citation | Обоснование гипотезы о четырех красках / С.В. Листровой, Е.С. Листровая // Електронне моделювання. — 2018. — Т. 40, № 3. — С. 33-40. — Бібліогр.: 5 назв. — рос. | uk_UA |
| dc.identifier.issn | 0204-3572 | |
| dc.identifier.other | DOI: https://doi.org/10.15407/emodel.40.03.033 | |
| dc.identifier.uri | http://dspace.nbuv.gov.ua/handle/123456789/142470 | |
| dc.description.abstract | Дано обоснование машинного доказательства гипотезы о четырех красках, выполненного группой математиков, возглавляемой К. Аппелем и В. Хейкеном. | uk_UA |
| dc.description.abstract | Дано обґрунтування машинного доказу гіпотези про чотири фарби, який виконано групою математиків, очолюваною К. Аппелем і В. Хейкеном. | uk_UA |
| dc.description.abstract | 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. | uk_UA |
| dc.language.iso | ru | uk_UA |
| dc.publisher | Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України | uk_UA |
| dc.relation.ispartof | Електронне моделювання | |
| dc.subject | Математичне моделювання та обчислювальні методи | uk_UA |
| dc.title | Обоснование гипотезы о четырех красках | uk_UA |
| dc.title.alternative | Обґрунтування гіпотези про чотири фарби | uk_UA |
| dc.title.alternative | Substantiation of the Hypothesis on Four Colors | uk_UA |
| dc.type | Article | uk_UA |
| dc.status | published earlier | uk_UA |
| dc.identifier.udc | 519.682.1 |
