@misc{indiciae8dabf3f7ebf4,
  title = {Saddle-Type Blow-Up Solutions with Computer-Assisted Proofs: Validation and Extraction of Global Nature},
  author = {Jean-Philippe Lessard and Kaname Matsue and Akitoshi Takayasu},
  year = {2022},
  url = {https://arxiv.org/abs/2103.12390},
  note = {Source identifier: 2103.12390}
}