Buchumschlag

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

Дано обоснование машинного доказательства гипотезы о четырех красках, выполненного группой математиков, возглавляемой К. Аппелем и В. Хейкеном. Дано обґрунтування машинного доказу гіпотези про чотири фарби, який виконано групою математиків, очолюваною К. Аппелем і В. Хейкеном. The paper provides a s...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Електронне моделювання
Datum:	2018
Hauptverfasser:	Листровой, С.В., Листровая, Е.С.
Format:	Artikel
Sprache:	Russisch
Veröffentlicht:	Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України 2018
Schlagworte:	Математичне моделювання та обчислювальні методи
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/142470
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:	Обоснование гипотезы о четырех красках / С.В. Листровой, Е.С. Листровая // Електронне моделювання. — 2018. — Т. 40, № 3. — С. 33-40. — Бібліогр.: 5 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

Методология и методы математического моделирования энергетики в рыночных условиях
von: Саух, С.Е.
Veröffentlicht: (2018)

Моделювання епідемій
von: Кнопов, П.С., et al.
Veröffentlicht: (2020)

Нове геометричне подання простору «станів-дій» Q-learning алгоритму в проблемі передбачення третинної структури білка
von: Чорножук, С.А.
Veröffentlicht: (2020)

О выборе оптимальных параметров полевых установок при выполнении микроэлектрозондирований
von: Рева, Н.В., et al.
Veröffentlicht: (2009)

Моделі прийняття рішень на ринку хмарних послуг
von: Горбачук, В.М., et al.
Veröffentlicht: (2021)

Паралельні алгоритми розв’язування лінійних систем на гібридних комп’ютерах
von: Хіміч, О.М., et al.
Veröffentlicht: (2020)

Оптимальне чисельне інтегрування
von: Задірака, В.К., et al.
Veröffentlicht: (2020)

Використання похибки заокруглення в сучасних комп’ютерних технологіях
von: Задірака, В.К., et al.
Veröffentlicht: (2021)

Про структуру 9-ти вершинних графів-обструкцій для поверхні Клейна
von: Петренюк, В.I., et al.
Veröffentlicht: (2020)

Моделювання квантилей розподілу ймовірностей врожайності в умовах зміни клімату (на прикладі кукурудзи)
von: Пепеляєв, В.А., et al.
Veröffentlicht: (2020)

Постановка задачі комплектації групи БПЛА на базі моделей гранульованих обчислень і нечіткої логіки
von: Корольов, В.Ю., et al.
Veröffentlicht: (2021)

Определение групп рисков при заболеваниях, вызванных COVID-19
von: Вагис, А.А., et al.
Veröffentlicht: (2020)

Використання байєсівських процедур розпізнавання з незалежними ознаками до запальних процесів при гліомах, метастазах та менінгіомах за показниками швидкості осідання еритроцитів
von: Тарасов, А.Л.
Veröffentlicht: (2021)

Побудова наближеного розв’язку осесиметричної задачі динаміки неізотермічного вологопереносу
von: Марченко, О.О., et al.
Veröffentlicht: (2020)

Методи нумерації дискретних послідовностей
von: Гупал, М.А.
Veröffentlicht: (2021)

A new family of expectiles and its properties
von: Kuzmenko, V.M.
Veröffentlicht: (2020)

Досягнення у визначенні просторової структури білків на основі методів машинного навчання
von: Білецький, Б.О.
Veröffentlicht: (2021)

Новий підхід до розв’язання задачі генерування множин складних структурних об’єктів на базі квазі-еквівалентного перетворення схеми розмітки
von: Ткачов, І.І.
Veröffentlicht: (2021)

Модифікація використання байєсівських процедур розпізнавання до запальних процесів при гліомах, метастазах та менінгіомах за показниками швидкості осідання еритроцитів
von: Тарасов, А.Л., et al.
Veröffentlicht: (2021)

Результаты палеомагнитных исследований разреза сарматских отложений в Михайловском карьере
von: Сливинская, Г.В.
Veröffentlicht: (2009)

Оптимізація планування розподілу завдань і транспортування пакетів даних у розподіленій обчислювальній мережі
von: Krasniuk, Roman P., et al.
Veröffentlicht: (2016)

Алгоритм проверки гипотезы нормальности случайного вектора
von: Мукан, О.В., et al.
Veröffentlicht: (2007)

Авидность IgG антител и ее теоретическая оценка
von: Бобровник, С.А.
Veröffentlicht: (2010)

Геомагнитная активность как фактор риска рака щитовидной железы (гипотезы, расчеты, обоснование)
von: Григорьев, П.Е., et al.
Veröffentlicht: (2010)

Сейсмический сигнал и микросейсмический фон (математические модели и оценки)
von: Мостовой, С.В., et al.
Veröffentlicht: (2008)

Принципи та аналітичні засоби реконструкції структур ймовірнісних залежностей у спеціальному класі
von: Балабанов, О.С.
Veröffentlicht: (2017)

О решении классической задачи Штейнера для четырех точек
von: Агаи Аг Гамиш Якуб, et al.
Veröffentlicht: (2013)

“Гравитационная томография” – практика, опережающая теорию?
von: Долгаль, А.С., et al.
Veröffentlicht: (2009)

До постановки задачі розпізнавання невідомого оточуючого середовища, навігації та планування шляхів агентом в ньому
von: Яловець, А.Л.
Veröffentlicht: (2018)

Game theoretic modeling of AIMD network equilibrium
von: Ignatenkо, O.P.
Veröffentlicht: (2016)

Мультиагентне моделювання послідовних багатоелементних японських аукціонів
von: Яловець, А.Л.
Veröffentlicht: (2016)

О концепции построения распределенных баз данных информационно-поисковых систем
von: Яковлев, Ю.С.
Veröffentlicht: (2003)

Моделювання процесу інфекційного захворювання з урахуванням дифузійних збурень та конвекції в периферійних імунологічних органах
von: Барановський, С.В., et al.
Veröffentlicht: (2024)

Анаморфозы как инструмент пространственного анализа эколого-географических явлений
von: Сердюцкая, Л.Ф., et al.
Veröffentlicht: (2008)

О проблеме распараллеливания вычислений
von: Деревянченко, А.В., et al.
Veröffentlicht: (2004)

О природе интеллекта
von: Резник, А.М.
Veröffentlicht: (2008)

Ранговый подход к решению задач линейного и нелинейного булевого программирования для планирования и управления в распределенных вычислительных системах
von: Листровой, С.В., et al.
Veröffentlicht: (2017)

Метод и модель планирования распределения пакетов заданий в кластере Grid системы
von: Листровой, С.В., et al.
Veröffentlicht: (2016)

Метод перечисления максимальных независимых множеств в неориентированных графах
von: Листровой, С.В., et al.
Veröffentlicht: (2017)

Метод поиска наибольших максимальных независимых множеств вершин неориентированного графа
von: Листровой, С.В., et al.
Veröffentlicht: (2017)