OpenForum RSS: linux для матем задач, исп только целочисл ариф и многоПамяти https://slinkov.ru/openforum/vsluhforumID13/1006.html какой linux для матем задач, исп только целочисл ариф и многоПамяти, возможно вычисления на неск ядрах процессоров<br>https://github.com/eprover/eprover<br>https://github.com/vprover/vampire<br>https://github.com/ai4reason/enigmatic<br><br>q137@protonmail.com<br><br><br> linux для матем задач, исп только целочисл ариф и многоПамяти (Сейд) https://slinkov.ru/openforum/vsluhforumID13/1006.html#2 Sat, 06 Mar 2021 19:01:04 GMT Fedora<br> linux для матем задач, исп только целочисл ариф и многоПамяти (алекс юстасу) https://slinkov.ru/openforum/vsluhforumID13/1006.html#1 Tue, 23 Feb 2021 12:00:52 GMT да<br>