antibody
发表于 2025-3-21 16:32:34
书目名称Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations影响因子(影响力)<br> http://impactfactor.cn/2024/if/?ISSN=BK0669251<br><br> <br><br>书目名称Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations影响因子(影响力)学科排名<br> http://impactfactor.cn/2024/ifr/?ISSN=BK0669251<br><br> <br><br>书目名称Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations网络公开度<br> http://impactfactor.cn/2024/at/?ISSN=BK0669251<br><br> <br><br>书目名称Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations网络公开度学科排名<br> http://impactfactor.cn/2024/atr/?ISSN=BK0669251<br><br> <br><br>书目名称Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations被引频次<br> http://impactfactor.cn/2024/tc/?ISSN=BK0669251<br><br> <br><br>书目名称Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations被引频次学科排名<br> http://impactfactor.cn/2024/tcr/?ISSN=BK0669251<br><br> <br><br>书目名称Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations年度引用<br> http://impactfactor.cn/2024/ii/?ISSN=BK0669251<br><br> <br><br>书目名称Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations年度引用学科排名<br> http://impactfactor.cn/2024/iir/?ISSN=BK0669251<br><br> <br><br>书目名称Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations读者反馈<br> http://impactfactor.cn/2024/5y/?ISSN=BK0669251<br><br> <br><br>书目名称Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations读者反馈学科排名<br> http://impactfactor.cn/2024/5yr/?ISSN=BK0669251<br><br> <br><br>
adipose-tissue
发表于 2025-3-21 23:42:57
Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations978-981-13-7669-6Series ISSN 0179-3632 Series E-ISSN 2198-3712
Fatten
发表于 2025-3-22 01:57:02
http://reply.papertrans.cn/67/6693/669251/669251_3.png
洁净
发表于 2025-3-22 07:19:31
Mitsuhiro T. Nakao,Michael Plum,Yoshitaka WatanabeIs the first published monograph on computer-assisted proofs.Presents pioneering work on the numerical verification method of solution for partial differential equations.Provides verification techniqu
啤酒
发表于 2025-3-22 09:35:07
http://reply.papertrans.cn/67/6693/669251/669251_5.png
Monolithic
发表于 2025-3-22 12:56:49
https://doi.org/10.1007/978-981-13-7669-6Numerical verification methods for nonlinear problems; Computer-assisted proofs in analysis; Nonlinear
PLE
发表于 2025-3-22 19:10:40
Applications to the Computer-Assisted Proofs in AnalysisThis chapter presents other computer-assisted proofs obtained by verification algorithms that introduced previous chapters in Part I. Some applications to the nonlinear parabolic problems are described in the next chapter.
ingrate
发表于 2025-3-22 22:09:40
Evolutional EquationsIn the present chapter, we extend the verification principle described up to now to the nonlinear parabolic problems. As you can see, from the previous arguments, in order to verify the solution of elliptic problems, the constructive error estimates for the approximation of the Poisson equations play an essential role.
白杨鱼
发表于 2025-3-23 03:39:38
http://reply.papertrans.cn/67/6693/669251/669251_9.png
纠缠,缠绕
发表于 2025-3-23 05:47:33
http://reply.papertrans.cn/67/6693/669251/669251_10.png