4ti2
набор математического инструмента для задач линейных пространств - инструменты
Рубрика: Математика
Программное обеспечение, связанное с математикой.
acl2
Вычислительная логика для аппликативного общего Lisp: основной двоичный код
acl2-books
Вычислительная логика для аппликативного общего Lisp: скомпилированные библиотеки
acl2-books-certs
Вычислительная логика для аппликативных общих Lisp: библиотечные сертификаты
acl2-books-source
Вычислительная логика для аппликативного Common Lisp: источники библиотеки
acl2-emacs
Вычислительная логика для аппликативного общего Lisp: интерфейс emacs
acl2-infix
Вычислительная логика для аппликативного общего Lisp: интерфейс infix
acl2-infix-source
Вычислительная логика для аппликативного общего Lisp: источник инфикс
acl2-source
Вычислительная логика для аппликативного общего Lisp: исходные файлы
admesh
Инструмент для обработки триангулированных сплошных сеток. двоичный
alt-ergo
Автоматическая проверка теоремы, посвященная проверке программы
ann-tools
Приблизительная Ближайшая ближняя поисковая библиотека (инструменты)
apcalc
Произвольный калькулятор точности (оригинальное имя: calc)
apcalc-common
Произвольный калькулятор точности (общие файлы)
apophenia-bin
Библиотека статистической библиотеки Apophenia - бинарный пакет
aribas
переводчик для арифметики