Theorem proving software systems

Вики

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

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

Вики

Двенадцать

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

Вики

Теоретик логики

Теоретик логики История создания «Логического теоретика» Эл Ньюэлл и Герберт Саймон разработали программу, способную доказывать математические теоремы.  Программа была создана

Вики

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

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

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