4ti2 — набор математического инструмента для задач линейных пространств - инструменты

Набор математического инструмента для задач линейных пространств - инструменты.

onstartup.ru

acl2 — Вычислительная логика для аппликативного общего Lisp: основной двоичный код

Вычислительная логика для аппликативного общего Lisp: основной двоичный код.

onstartup.ru

acl2-books — Вычислительная логика для аппликативного общего Lisp: скомпилированные библиотеки

Вычислительная логика для аппликативного общего Lisp: скомпилированные библиотеки.

onstartup.ru

acl2-books-certs — Вычислительная логика для аппликативных общих Lisp: библиотечные сертификаты

Вычислительная логика для аппликативных общих Lisp: библиотечные сертификаты.

onstartup.ru

acl2-books-source — Вычислительная логика для аппликативного Common Lisp: источники библиотеки

Вычислительная логика для аппликативного Common Lisp: источники библиотеки.

onstartup.ru

acl2-emacs — Вычислительная логика для аппликативного общего Lisp: интерфейс emacs

Вычислительная логика для аппликативного общего Lisp: интерфейс emacs.

onstartup.ru

acl2-infix — Вычислительная логика для аппликативного общего Lisp: интерфейс infix

Вычислительная логика для аппликативного общего Lisp: интерфейс infix.

onstartup.ru

acl2-infix-source — Вычислительная логика для аппликативного общего Lisp: источник инфикс

Вычислительная логика для аппликативного общего Lisp: источник инфикс.

onstartup.ru

acl2-source — Вычислительная логика для аппликативного общего Lisp: исходные файлы

Вычислительная логика для аппликативного общего Lisp: исходные файлы.

onstartup.ru

admesh — Инструмент для обработки триангулированных сплошных сеток. двоичный

Инструмент для обработки триангулированных сплошных сеток. двоичный.

onstartup.ru

alt-ergo — Автоматическая проверка теоремы, посвященная проверке программы

Автоматическая проверка теоремы, посвященная проверке программы.

onstartup.ru

ann-tools — Приблизительная Ближайшая ближняя поисковая библиотека (инструменты)

Приблизительная Ближайшая ближняя поисковая библиотека (инструменты).

onstartup.ru

apcalc — Произвольный калькулятор точности (оригинальное имя: calc)

Произвольный калькулятор точности (оригинальное имя: calc).

onstartup.ru

apcalc-common — Произвольный калькулятор точности (общие файлы)

Произвольный калькулятор точности (общие файлы).

onstartup.ru

apophenia-bin — Библиотека статистической библиотеки Apophenia - бинарный пакет

Библиотека статистической библиотеки Apophenia - бинарный пакет.

onstartup.ru

aribas — переводчик для арифметики

Переводчик для арифметики.

onstartup.ru

auto-07p — программное обеспечение для задач продолжения и бифуркации в ОДУ

Программное обеспечение для задач продолжения и бифуркации в ОДУ.

onstartup.ru

autoclass — автоматическая классификация или кластеризация

Автоматическая классификация или кластеризация.

onstartup.ru