Судоку
Судоку История судоку Судоку — логическая головоломка с расстановкой чисел. Цель — заполнить сетку 9 × 9 цифрами так, чтобы […]
Computer-assisted proofs
Вики
Теорема о четырех цветах
Теорема о четырех цветах Теорема о четырех цветах Теорема утверждает, что для раскрашивания областей карты требуется не более четырех цветов.
Вики
Теорема о четырех цветах
Теорема о четырех цветах Теорема о четырех цветах Теорема утверждает, что для раскрашивания областей карты требуется не более четырех цветов.
Вики
Теорема о четырех цветах
Теорема о четырех цветах История и значение теоремы о четырех цветах Теорема о четырех цветах утверждает, что любую плоскую карту
Вики
Теорема Колмогорова–Арнольда–Мозера
Теорема Колмогорова–Арнольда–Мозера Теорема Колмогорова-Арнольда-Мозера (КАМ) Решает проблему малого делителя в классической механике. Доказана для гладких твист-отображений Юргеном Мозером и Владимиром
Вики
Проекционная плоскость
Проекционная плоскость Определение и свойства проективной плоскости Проективная плоскость – это множество точек и прямых, которые не пересекаются в одной
Вики
Теорема Колмогорова–Арнольда–Мозера
Теорема Колмогорова–Арнольда–Мозера Теорема Колмогорова-Арнольда-Мозера (КАМ) Решает проблему малого делителя в классической механике. Доказана для гладких твист-отображений Юргеном Мозером и Владимиром
Вики
Булева задача тройки Пифагора
Логическая задача о пифагорейских тройках Задача о логических пифагорейских тройках связана с теорией Рамсея о раскраске целых положительных чисел в
Вики
Компьютерное доказательство
Компьютерное доказательство Компьютерное доказательство – математическое доказательство, частично сгенерированное компьютером. Большинство компьютерных доказательств основаны на реализации больших доказательств путем исчерпания
Вики
Гипотеза Кеплера
Гипотеза Кеплера Гипотеза Кеплера утверждает, что невозможно создать расположение шариков с большей средней плотностью, чем кубическая плотная упаковка. Доказательство гипотезы
Вики
Теорема о четырех цветах
Теорема о четырех цветах Теорема о четырех цветах утверждает, что любую плоскую карту можно раскрасить четырьмя цветами. Доказательство теоремы основано
Вики
Взаимно несмещенные основания
Взаимно непредвзятые основы Взаимно несмещенные базисы в квантовой механике обеспечивают максимальную энтропийную неопределенность. Базисы, которые являются несмещенными по отношению к
Вики
Проекционная плоскость
Проекционная плоскость Проективная плоскость – это множество точек и прямых, которые удовлетворяют условиям инцидентности и пересечения. Проективная плоскость может быть