Как больницы скорой помощи и базовые станции сотовой связи делят «сферы влияния»? Вычислительная геометрия диаграмм Вороного и триангуляции Делоне
Теорема о четырёх красках и революция в вычислительной математике: 100-летняя задача и философия машинного доказательства