Автоматическая проверка теоремы, посвященная проверке программы.
onstartup.ru
Рубрика: Математика
Программное обеспечение, связанное с математикой.
Приблизительная Ближайшая ближняя поисковая библиотека (инструменты).
onstartup.ru
Произвольный калькулятор точности (оригинальное имя: calc).
onstartup.ru
Произвольный калькулятор точности (общие файлы).
onstartup.ru
Библиотека статистической библиотеки Apophenia - бинарный пакет.
onstartup.ru
Переводчик для арифметики.
onstartup.ru
Программное обеспечение для задач продолжения и бифуркации в ОДУ.
onstartup.ru
Автоматическая классификация или кластеризация.
onstartup.ru
Система компьютерной алгебры общего назначения: основные двоичные и модули.
onstartup.ru
Система компьютерной алгебры общего назначения: созданные текстовые базы данных.
onstartup.ru