LINUX.ORG.RU

История изменений

Исправление ustas1, (текущая версия) :

исходный код делали 20 лет разные математики дикого запада крайне сложен и на уровне программирования расспараллелить крайне затруднительно из+за отсутствия у нас специлистов в этой области математики требуемого уровня желающие прочитать около 10 томов математических книг плюс разобраться с современными статьями на тему математическая логика и автоматическое доказательство теорем и править уже существующий самый лучший в мире в этой области проект есть 00 знак вопроса

Исходная версия ustas1, :

исходный код делали 20 лет разные математики дикого запада крайне сложен и на уровне программирования расспараллелить крайне затруднительно из+за отсутствия у нас специлистов в этой области математики требуемого уровня