Наукова періодика України Електронне моделювання


Листровой С. В. 
Обоснование гипотезы о четырех красках / С. В. Листровой, Е. С. Листровая // Електронне моделювання. - 2018. - Т. 40, № 3. - С. 33-40. - Режим доступу: http://nbuv.gov.ua/UJRN/elmo_2018_40_3_4
Дано обоснование машинного доказательства гипотезы о четырех красках, выполненного группой математиков, возглавляемой К. Аппелем и В. Хейкеном.
  Повний текст PDF - 93.485 Kb    Зміст випуску     Цитування публікації

Цитованість авторів публікації:
  • Листровой С.
  • Листровая Е.

  • Бібліографічний опис для цитування:

    Листровой С. В. Обоснование гипотезы о четырех красках / С. В. Листровой, Е. С. Листровая // Електронне моделювання. - 2018. - Т. 40, № 3. - С. 33-40. - Режим доступу: http://nbuv.gov.ua/UJRN/elmo_2018_40_3_4.

    Додаткова інформація про автора(ів) публікації:
    (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці)
  • Лістровий Сергій Володимирович (1950–2018) (технічні науки)
  •   Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
     
    Відділ інформаційно-комунікаційних технологій
    Пам`ятка користувача

    Всі права захищені © Національна бібліотека України імені В. І. Вернадського