不愿 发表于 2025-3-30 11:11:46

http://reply.papertrans.cn/67/6693/669251/669251_51.png
页: 1 2 3 4 5 [6]
查看完整版本: Titlebook: Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations; Mitsuhiro T. Nakao,Michael Plum,Yoshitaka