URL: https://www.opennet.dev/cgi-bin/openforum/vsluhboard.cgi
Форум: vsluhforumID13
Нить номер: 1006
[ Назад ]
Исходное сообщение
"linux для матем задач, исп только целочисл ариф и многоПамяти"
Отправлено ustas1 , 22-Фев-21 14:01
какой linux для матем задач, исп только целочисл ариф и многоПамяти, возможно вычисления на неск ядрах процессоров
https://github.com/eprover/eprover
https://github.com/vprover/vampire
https://github.com/ai4reason/enigmaticq137@protonmail.com
Содержание
- linux для матем задач, исп только целочисл ариф и многоПамяти,алекс юстасу, 15:00 , 23-Фев-21
- linux для матем задач, исп только целочисл ариф и многоПамяти,Сейд, 22:01 , 06-Мрт-21
Сообщения в этом обсуждении
"linux для матем задач, исп только целочисл ариф и многоПамяти"
Отправлено алекс юстасу , 23-Фев-21 15:00
да
"linux для матем задач, исп только целочисл ариф и многоПамяти"
Отправлено Сейд , 06-Мрт-21 22:01
Fedora