The OpenNET Project / Index page

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



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

"linux для матем задач, исп только целочисл ариф и многоПамяти"  +1 +/
Сообщение от 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ообщить модератору

Оглавление

  • да, алекс юстасу (?), 15:00 , 23-Фев-21, (1)  
  • Fedora, Сейд (ok), 22:01 , 06-Мрт-21, (2)  

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

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

2. Сообщение от Сейд (ok), 06-Мрт-21, 22:01   +/
Fedora
Ответить | Правка | Наверх | Cообщить модератору


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

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




Партнёры:
PostgresPro
Inferno Solutions
Hosting by Hoster.ru
Хостинг:

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