Программные системы для доказательства теорем

Вики

Вампир (обеспечивает теорема)

/

Вампир (доказательство теоремы) Обзор Vampire Vampire — это автоматическое средство доказательства теорем для классической логики первого порядка.  Разработано на факультете […]

Вики

Двенадцать

/

Twelf Основы Twelf Twelf — это логическая платформа, разработанная в Университете Карнеги-Меллона.  Используется для логического программирования и формализации языков программирования. 

Вики

Вольфрам Математика

/

Вольфрам Математика Машинный перевод является отправной точкой для перевода, но требует исправления ошибок и подтверждения точности.  Рекомендуется добавлять тему в

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