Saddle-Type Blow-Up Solutions with Computer-Assisted Proofs: Validation and Extraction of Global Nature

Jean-Philippe Lessard, Kaname Matsue, Akitoshi Takayasu. Saddle-Type Blow-Up Solutions with Computer-Assisted Proofs: Validation and Extraction of Global Nature. J. Nonlinear Science, 33(3):46, June 2023. [doi]

Abstract

Abstract is missing.