Зображення обкладинки

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

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

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в: :	Електронне моделювання
Дата:	2018
Автори:	Листровой, С.В., Листровая, Е.С.
Формат:	Стаття
Мова:	Російська
Опубліковано:	Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України 2018
Теми:	Математичне моделювання та обчислювальні методи
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/142470
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Обоснование гипотезы о четырех красках / С.В. Листровой, Е.С. Листровая // Електронне моделювання. — 2018. — Т. 40, № 3. — С. 33-40. — Бібліогр.: 5 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Схожі ресурси

Методология и методы математического моделирования энергетики в рыночных условиях
за авторством: Саух, С.Е.
Опубліковано: (2018)

Моделювання епідемій
за авторством: Кнопов, П.С., та інші
Опубліковано: (2020)

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

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

Моделі прийняття рішень на ринку хмарних послуг
за авторством: Горбачук, В.М., та інші
Опубліковано: (2021)

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

Оптимальне чисельне інтегрування
за авторством: Задірака, В.К., та інші
Опубліковано: (2020)

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

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

Моделювання квантилей розподілу ймовірностей врожайності в умовах зміни клімату (на прикладі кукурудзи)
за авторством: Пепеляєв, В.А., та інші
Опубліковано: (2020)

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

Определение групп рисков при заболеваниях, вызванных COVID-19
за авторством: Вагис, А.А., та інші
Опубліковано: (2020)

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

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

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

A new family of expectiles and its properties
за авторством: Kuzmenko, V.M.
Опубліковано: (2020)

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

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

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

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

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

Алгоритм проверки гипотезы нормальности случайного вектора
за авторством: Мукан, О.В., та інші
Опубліковано: (2007)

Авидность IgG антител и ее теоретическая оценка
за авторством: Бобровник, С.А.
Опубліковано: (2010)

Геомагнитная активность как фактор риска рака щитовидной железы (гипотезы, расчеты, обоснование)
за авторством: Григорьев, П.Е., та інші
Опубліковано: (2010)

Сейсмический сигнал и микросейсмический фон (математические модели и оценки)
за авторством: Мостовой, С.В., та інші
Опубліковано: (2008)

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

О решении классической задачи Штейнера для четырех точек
за авторством: Агаи Аг Гамиш Якуб, та інші
Опубліковано: (2013)

“Гравитационная томография” – практика, опережающая теорию?
за авторством: Долгаль, А.С., та інші
Опубліковано: (2009)

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

Game theoretic modeling of AIMD network equilibrium
за авторством: Ignatenkо, O.P.
Опубліковано: (2016)

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

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

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

Анаморфозы как инструмент пространственного анализа эколого-географических явлений
за авторством: Сердюцкая, Л.Ф., та інші
Опубліковано: (2008)

О проблеме распараллеливания вычислений
за авторством: Деревянченко, А.В., та інші
Опубліковано: (2004)

О природе интеллекта
за авторством: Резник, А.М.
Опубліковано: (2008)

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

Метод и модель планирования распределения пакетов заданий в кластере Grid системы
за авторством: Листровой, С.В., та інші
Опубліковано: (2016)

Метод перечисления максимальных независимых множеств в неориентированных графах
за авторством: Листровой, С.В., та інші
Опубліковано: (2017)

Метод поиска наибольших максимальных независимых множеств вершин неориентированного графа
за авторством: Листровой, С.В., та інші
Опубліковано: (2017)