Funder
Japan Society for the Promotion of Science
Ministry of Education, Culture, Sports, Science and Technology
Japan Science and Technology Agency
Core Research for Evolutional Science and Technology
Subject
Computational Mathematics,Computational Theory and Mathematics,Modeling and Simulation
Reference25 articles.
1. Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations;Nakao,2019
2. Numerical verification of existence and inclusion of solutions for nonlinear operator equations;Oishi;J. Comput. Appl. Math.,1995
3. Explicit H2-estimates and pointwise bounds for solutions of second-order elliptic boundary value problems;Plum;J. Math. Anal. Appl.,1992
4. Enclosures for weak solutions of nonlinear elliptic boundary value problems;Plum,1994
5. Computer-assisted enclosure methods for elliptic differential equations;Plum;Linear Algebra Appl.,2001
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献