2025-02-23T08:56:24-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: Query fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22irk-123456789-142470%22&qt=morelikethis&rows=5

2025-02-23T08:56:24-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: => GET http://localhost:8983/solr/biblio/select?fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22irk-123456789-142470%22&qt=morelikethis&rows=5

2025-02-23T08:56:25-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: <= 200 OK

2025-02-23T08:56:25-05:00 DEBUG: Deserialized SOLR response

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

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

Saved in:

Bibliographic Details
Main Authors:	Листровой, С.В., Листровая, Е.С.
Format:	Article
Language:	Russian
Published:	Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України 2018
Series:	Електронне моделювання
Subjects:	Математичне моделювання та обчислювальні методи
Online Access:	http://dspace.nbuv.gov.ua/handle/123456789/142470
Tags:	Add Tag No Tags, Be the first to tag this record!

id	irk-123456789-142470
record_format	dspace
spelling	irk-123456789-1424702018-10-10T01:22:58Z Обоснование гипотезы о четырех красках Листровой, С.В. Листровая, Е.С. Математичне моделювання та обчислювальні методи Дано обоснование машинного доказательства гипотезы о четырех красках, выполненного группой математиков, возглавляемой К. Аппелем и В. Хейкеном. Дано обґрунтування машинного доказу гіпотези про чотири фарби, який виконано групою математиків, очолюваною К. Аппелем і В. Хейкеном. 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. 2018 Article Обоснование гипотезы о четырех красках / С.В. Листровой, Е.С. Листровая // Електронне моделювання. — 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 ru Електронне моделювання Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України
institution	Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection	DSpace DC
language	Russian
topic	Математичне моделювання та обчислювальні методи Математичне моделювання та обчислювальні методи
spellingShingle	Математичне моделювання та обчислювальні методи Математичне моделювання та обчислювальні методи Листровой, С.В. Листровая, Е.С. Обоснование гипотезы о четырех красках Електронне моделювання
description	Дано обоснование машинного доказательства гипотезы о четырех красках, выполненного группой математиков, возглавляемой К. Аппелем и В. Хейкеном.
format	Article
author	Листровой, С.В. Листровая, Е.С.
author_facet	Листровой, С.В. Листровая, Е.С.
author_sort	Листровой, С.В.
title	Обоснование гипотезы о четырех красках
title_short	Обоснование гипотезы о четырех красках
title_full	Обоснование гипотезы о четырех красках
title_fullStr	Обоснование гипотезы о четырех красках
title_full_unstemmed	Обоснование гипотезы о четырех красках
title_sort	обоснование гипотезы о четырех красках
publisher	Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України
publishDate	2018
topic_facet	Математичне моделювання та обчислювальні методи
url	http://dspace.nbuv.gov.ua/handle/123456789/142470
citation_txt	Обоснование гипотезы о четырех красках / С.В. Листровой, Е.С. Листровая // Електронне моделювання. — 2018. — Т. 40, № 3. — С. 33-40. — Бібліогр.: 5 назв. — рос.
series	Електронне моделювання
work_keys_str_mv	AT listrovojsv obosnovaniegipotezyočetyrehkraskah AT listrovaâes obosnovaniegipotezyočetyrehkraskah
first_indexed	2023-10-18T21:27:11Z
last_indexed	2023-10-18T21:27:11Z
_version_	1796152848540499968

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

Similar Items