Saddle-Type Blow-Up Solutions with Computer-Assisted Proofs: Validation and Extraction of Global Nature
Saddle-Type Blow-Up Solutions with Computer-Assisted Proofs: Validation and Extraction of Global Nature
复制标题
具有计算机辅助证明的马鞍型放大解决方案：全球自然的验证和提取
DOI：
10.1007/s00332-023-09900-6
复制
发表时间：
2023
影响因子：
3
通讯作者：
Takayasu Akitoshi
中科院分区：
文献类型：
--
作者：
Lessard Jean-Philippe;Matsue Kaname;Takayasu Akitoshi
