Система доказательства теорем

В этой статье есть несколько проблем. Пожалуйста, помогите улучшить его или обсудите эти проблемы на странице обсуждения . ( Узнайте, как и когда удалять эти шаблонные сообщения )

Тема этой статьи Википедии может не соответствовать общему правилу по известности . Пожалуйста, помогите продемонстрировать значимость темы, цитируя надежные вторичные источники , независимые от этой темы и обеспечивающие ее значительное освещение, помимо простого тривиального упоминания. Если значимость не может быть отображена, статья, скорее всего, будет объединена , перенаправлена или удалена .
Найти источники: «Система доказательства теорем» – новости · газеты · книги · ученый · JSTOR ( май 2016 г. ) ( Узнайте, как и когда удалить это сообщение )

Эта статья в значительной степени или полностью опирается на один источник . Соответствующее обсуждение можно найти на странице обсуждения . Пожалуйста, помогите улучшить эту статью , цитируя дополнительные источники .
Найти источники: «Система доказательства теорем» – новости · газеты · книги · ученый · JSTOR ( май 2024 г. )

Эта статья может чрезмерно полагаться на источники, слишком тесно связанные с предметом , что потенциально препятствует тому, чтобы статья была проверяемой и нейтральной . Пожалуйста, помогите улучшить его , заменив их более подходящими цитатами из надежных, независимых сторонних источников . ( Май 2024 г. ) ( Узнайте, как и когда удалить это сообщение )

( Узнайте, как и когда удалить это сообщение )

Система доказательства теорем (TPS) — это автоматизированная система доказательства теорем для логики первого и высшего порядка . TPS был разработан в Университете Карнеги-Меллон . Образовательная версия известна как ETPS ( Образовательная система доказательства теорем ).

Внешние ссылки

[ редактировать ]

Веб-страница системы доказательства теорем

Эта статья о математическом программном незавершена обеспечении . Вы можете помочь Википедии, расширив ее .