Common Lisp (programming language) software

Вики

FriCAS

/

Фрикадельки Обзор FriCAS FriCAS – универсальная система компьютерной алгебры для математических исследований и разработки алгоритмов.  Включает интерпретатор, компилятор и расширяемую

Вики

Система проверки прототипа

/

Система верификации прототипа Основы PVS PVS – это язык спецификаций с автоматизированной проверкой теорем, разработанный в SRI International.  Основана на

Вики

ACT-R

/

АКТ-R ACT-R – когнитивная модель, разработанная Джоном Р. Андерсоном для моделирования человеческого познания.  Модель основана на теории действий и включает

Прокрутить вверх