بررسی برهان خودکار

بررسی برهان خودکار در علوم رایانه به فرایند استفاده از نرم‌افزار برای بررسی درستی برهان‌های ریاضی است. بررسی برهان خودکار یکی از توسعه‌یافته‌ترین شاخه‌های استدلال خودکار به‌شمار می‌آید.

 منابع 

 (انگلیسی) Natarajan Shankar, Proof checking metamathematics, Computational Logic, Inc، ۱۹۸۷

رده:اثبات قضیه خودکار
رده:دستیارهای اثباتی
رده:روش‌های صوری
رده:علم محاسبات
رده:مهندسی نرم‌افزار