The OpenNET Project / Index page

[ новости /+++ | форум | wiki | теги | ]



"linux для матем задач, исп только целочисл ариф и многоПамяти"
Вариант для распечатки  
Пред. тема | След. тема 
Форум Оптимизация и Промышленные системы (Увеличение производительнсти)
Изначальное сообщение [ Отслеживать ]

"linux для матем задач, исп только целочисл ариф и многоПамяти"  +/
Сообщение от ustas1 (ok), 22-Фев-21, 14:01 
какой linux для матем задач, исп только целочисл ариф и многоПамяти, возможно вычисления на неск ядрах процессоров
https://github.com/eprover/eprover
https://github.com/vprover/vampire
https://github.com/ai4reason/enigmatic

q137@protonmail.com


Ответить | Правка | Cообщить модератору

Оглавление

Сообщения [Сортировка по времени | RSS]


1. "linux для матем задач, исп только целочисл ариф и многоПамяти"  +/
Сообщение от алекс юстасу (?), 23-Фев-21, 15:00 
да
Ответить | Правка | Наверх | Cообщить модератору

Архив | Удалить

Рекомендовать для помещения в FAQ | Индекс форумов | Темы | Пред. тема | След. тема




Спонсоры:
Inferno Solutions
Ideco
Hosting by Hoster.ru
Хостинг:

Закладки на сайте
Проследить за страницей
Created 1996-2021 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру