Вампир (обеспечивает теорема)
Вампир (доказательство теоремы) Обзор Vampire Vampire — это автоматическое средство доказательства теорем для классической логики первого порядка. Разработано на факультете […]
Вики
Theorem proving software systems
Вики
Набор инструментов для статического анализа программного обеспечения MALPAS
Набор инструментов статического анализа программного обеспечения MALPAS Обзор MALPAS MALPAS — это набор инструментов для статического анализа программного обеспечения. Он
Вики
Maple (программное обеспечение)
Maple (программное обеспечение) История и развитие Maple Maple был разработан в 1975 году в Университете Ватерлоо. Первая версия была выпущена
Вики
Двенадцать
Twelf Основы Twelf Twelf — это логическая платформа, разработанная в Университете Карнеги-Меллона. Используется для логического программирования и формализации языков программирования.
Вики
Теоретик логики
Теоретик логики История создания «Логического теоретика» Эл Ньюэлл и Герберт Саймон разработали программу, способную доказывать математические теоремы. Программа была создана
Вики
Lean (помощник по доказательству)
Lean (помощник по проверке) Обзор Lean Lean — это инструмент для верстки и функциональный язык программирования. Основан на индуктивных типах
Вики
Вольфрам Математика
Вольфрам Математика Машинный перевод является отправной точкой для перевода, но требует исправления ошибок и подтверждения точности. Рекомендуется добавлять тему в