From Wikipedia, the free encyclopedia
اثبات قضیه خودکار در علوم رایانه به بررسی راه‌های ممکن برای اثبات قضیه‌ها به صورت خودکار (معمولاً با برنامه کامپیوتری) می‌پردازد. اثبات قضیه خودکار یکی از مهم‌ترین شاخه‌های استدلال خودکار به شمار می‌آید، اما همچنین به مقدار زیادی به علوم رایانه نظری و فلسفه مربوط است. منظور از قضیه در این‌جا قضیه ریاضی است.
نرم‌افزارهای اثبات قضیه خودکار قادرند برخی مسائل و قضایای ریاضی را اثبات نمایند و حتی در مواردی موفق به کشف اثبات‌های کوتاه‌تر برای برخی از قضایای ریاضی شده‌اند.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
