ACL2
ACL2 Обзор ACL2 ACL2 — это программная система для автоматизированных рассуждений в индуктивных логических теориях. Язык программирования ACL2 является прикладной […]
Среда разработки знаний Обзор среды инженерии знаний (KEE) KEE — инструмент для разработки экспертных систем, основанный на фреймворках. Разработан и
Программное обеспечение ITA История и развитие ITA Software ITA Software — подразделение Google, ранее независимая компания, специализирующаяся на туризме. Основана
Maxima (программное обеспечение) Обзор системы компьютерной алгебры Maxima Maxima — это система компьютерной алгебры с открытым исходным кодом, разработанная в
Аксиома (система компьютерной алгебры) История и разработка Axiom IBM создала две системы компьютерной алгебры Scratchpad, первая из которых была остановлена
Система верификации прототипа Основы PVS PVS — это язык спецификаций с автоматизированной проверкой теорем, разработанный в SRI International. Основана на