Об одном интересном свойстве триангуляции Делоне 13.07.2024 10:45 wataru 4 Алгоритмы Математика Занимательные задачки Спортивное программирование
COQ: верификация функций, содержащих fold_left +7 20.07.2023 12:53 Natasha_Klaus 7 Функциональное программирование
Это невозможное доказательство теоремы Пифагора нашли в 2023 году +39 22.04.2023 16:32 andreybrylb 23 Математика
Доказательство Тьюринг-полноты однострочников на Python +21 13.11.2021 12:51 Thane784 22 Python Ненормальное программирование
Титаны от математики схлестнулись над эпичным доказательством abc-гипотезы +56 12.10.2018 12:00 SLY_G 87 Математика
Новый способ введения экспоненты +21 11.07.2018 14:01 OsipovRoman 41 Математика Занимательные задачки Блог компании Trinity Digital & Баласс Group
Новое доказательство теоремы о многочлене +15 16.04.2018 09:04 OsipovRoman 9 Математика Занимательные задачки Блог компании Trinity Digital & Баласс Group
Доказываем корректность поиска диаметра дерева +8 19.07.2016 07:49 Romanchenko28 10 Алгоритмы Занимательные задачки
Задача о ста коробках и спасении заключённых – финальный аккорд +28 17.06.2015 17:41 LerTush 7 Математика Занимательные задачки