Результати пошуку
Перейти до навігації
Перейти до пошуку
- ...нал опублікував скорочене доведення, а 2009 року інший журнал — повне доведення{{Sfn|Kleiner|2012|сторінки=172–177}}. У 2014 році доведення гіпотези перевірено за допомогою комп'ютерної системи перевірки доведень<re ...8 КБ (302 слова) - 21:02, 31 серпня 2024
- == Доведення == ...3 КБ (143 слова) - 22:32, 25 жовтня 2019
- [[Категорія:Комп'ютеризоване доведення]] ...9 КБ (397 слів) - 07:47, 29 серпня 2024
- == Про доведення == ...ь-якої мапи. В другій наводився [[алгоритм]], що перевіряв усі ці мапи. Це доведення викликало змішані почуття в математичної спільноти. І перша, і друга частин ...20 КБ (369 слів) - 05:03, 15 лютого 2025
- Дали строгі доведення та розширили проблему [[Володимир Арнольд]] [[Категорія:Комп'ютеризоване доведення]] ...12 КБ (445 слів) - 17:57, 14 листопада 2024
- == Доведення правильності == ...6 КБ (371 слово) - 18:46, 18 жовтня 2023
- ...ми дослідженнями, які призводять до строгого встановлення нових фактів і [[доведення]] [[Теорема|теорем]]<ref name="ReferenceA">{{Книга * [[Доведення]] ...8 КБ (114 слів) - 07:47, 29 серпня 2024
- '''Математичне доведення''' (''математичний доказ'') — процедура у [[математика|математиці]], я Принципи доведення вивчаються у спеціальній галузі математики — [[теорія доведення|теорії доведень]]. ...20 КБ (166 слів) - 21:21, 19 січня 2025
- == Доведення == ...7 КБ (498 слів) - 09:36, 6 жовтня 2023
- == Доведення == ...10 КБ (217 слів) - 10:42, 17 лютого 2023
- === Доведення === ...}</math> варіантів розфарбування <math>7825</math> чисел та зменшили обсяг доведення другого твердження теореми до близько [[трильйон]]а (<math>10^{12}</math>) ...135 КБ (14 494 слова) - 13:29, 7 квітня 2024
- ...ча схоже, що так воно і є, але дослідник ніколи не показував викладу свого доведення. ...6 КБ (110 слів) - 19:36, 13 жовтня 2024
- ...ія графів|теорії графів]], [[Автоматизоване доведення теорем|автоматичного доведення]], автор підручника з асимптотичних методів аналізу. Його ім'ям названо кон ...Ердеша — де Брейна]] . Ще одним спільним результатом з Палом Ердешем стало доведення [[1951]] року твердження про те, що будь-який нескінченний [[Хроматичне чис ...10 КБ (282 слова) - 16:07, 20 березня 2022
- === Доведення === ...13 КБ (759 слів) - 23:27, 5 жовтня 2024
- [[Категорія:Комп'ютеризоване доведення]] ...25 КБ (547 слів) - 07:40, 29 серпня 2024
- == Доведення справедливості == ...9 КБ (445 слів) - 12:05, 28 липня 2023
- [[Категорія:Комп'ютеризоване доведення]] ...19 КБ (1106 слів) - 07:48, 29 серпня 2024
- ...х можливих варіантів (варіанти обчислювались за допомогою комп'ютера), але доведення не є математично обґрунтованим<ref>[https://lenta.ru/news/2014/08/14/kepler ...нянні з 300-ми сторінками тексту та 50 000 рядків програмного коду під час доведення гіпотези Кеплера для тривимірного простору. За рішення удостоєна низки міжн ...9 КБ (128 слів) - 22:35, 14 лютого 2025
- ...числення]], в ході яких результати обчислень використовуються для строгого доведення математичних [[факт]]ів. ...після пошуків за допомогою комп'ютера. Тільки після цього знайдено строге доведення<ref>[http://crd.lbl.gov/~dhbailey/dhbpapers/pi-quest.pdf The Quest for Pi] ...28 КБ (862 слова) - 12:17, 25 лютого 2025
- == Доведення == Для доведення теореми можна задіяти формулу з алгоритму «Інтегрального представлення зобр ...11 КБ (644 слова) - 14:18, 16 березня 2022