| |
Листровой, С. В.
Обоснование гипотезы о четырех красках [Текст] / С. В. Листровой, Е. С. Листровая
// Електронне моделювання. – 2018. – Т. 40, № 3. – С. 33-40.
Дано обоснование машинного доказательства гипотезы о четырех красках, выполненного группой математиков, возглавляемой К. Аппелем и В. Хейкеном. |
