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