電腦協助證明

電腦協助證明是一種部份或全部內容以電腦協助之數學證明 。