Subject
Applied Mathematics,Modeling and Simulation,Numerical Analysis
Reference40 articles.
1. A numerical approach to the proof of existence of solutions for elliptic problems;Nakao;Jpn J Appl Math,1988
2. Computer-assisted existence proofs for two-point boundary value problems;Plum;Computing,1991
3. Numerical verification of existence and inclusion of solutions for nonlinear operator equations;Oishi;J Comput Appl Math,1995
4. Numerical verification methods and computer-assisted proofs for partial differential equations;Nakao,2019
5. Verified computations to semilinear elliptic boundary value problems on arbitrary polygonal domains;Takayasu;IEICE(NOLTA),2013
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献