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

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

منابع 

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

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