Nội dung này: Saddle-Type Blow-Up Solutions with Computer-Assisted Proofs Validation and Extraction of Global Nature