GNU Guix
GNU Guix (графический интерфейс пользователя) Описание GNU Guix Функциональный кроссплатформенный менеджер пакетов Основан на Nix package manager Использует криптографические хэши […]
Free software programmed in Lisp
Вики
Редукция (система компьютерной алгебры)
Reduce (система компьютерной алгебры) Обзор системы Reduce Reduce – это система компьютерной алгебры, разработанная для использования в физике. Разработка началась
Вики
Максима (программное обеспечение)
Maxima (программное обеспечение) Обзор системы компьютерной алгебры Maxima Maxima – это система компьютерной алгебры с открытым исходным кодом, разработанная в
Вики
Аксиома (система компьютерной алгебры)
Аксиома (система компьютерной алгебры) История и разработка Axiom IBM создала две системы компьютерной алгебры Scratchpad, первая из которых была остановлена
Вики
Система проверки прототипа
Система верификации прототипа Основы PVS PVS – это язык спецификаций с автоматизированной проверкой теорем, разработанный в SRI International. Основана на