TY  - RPRT
TI  - Saddle-Type Blow-Up Solutions with Computer-Assisted Proofs: Validation and Extraction of Global Nature
AU  - Jean-Philippe Lessard
AU  - Kaname Matsue
AU  - Akitoshi Takayasu
PY  - 2022
UR  - https://arxiv.org/abs/2103.12390
ID  - 2103.12390
ER  -