Запитання з тегом «mathematical-programming»


4
Чи є алгоритми стиснення, засновані на PI?
Ми знаємо, що π нескінченний, і цілком ймовірно, що він містить усі можливі кінцеві рядки цифр ( диз'юнктивна послідовність ). Нещодавно я бачив деякий прототип πfs, який передбачає, що кожен файл, який ви створили (або хто-небудь інший), або ви створить, він вже є, тому його потрібно витягнути. Також є piFile, …

2
Докази теореми в Coq
Фон Я навчаюсь допомоги, Кок, самостійно. Поки я закінчив читати Кок Іва Бертота поспіхом . Тепер моя мета - довести основні результати щодо натуральних чисел, що досягають кульмінації так званого алгоритму ділення. Однак я зіткнувся з деякими невдачами на своєму шляху до цієї мети. Зокрема, два наступні результати виявились (каламбур) …
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.