تحقق الحواسيب من صحة حل المسائل