Summary

Verified Numerical Computation and Its Applications to Computer Assisted Proof for Nonlinear Problems

Shin'ichi OISHI 

Vol.98 No.11 pp.967-971

Publication Date:2015/11/01

Online ISSN:2188-2355

Print ISSN:0913-5693

Type of Manuscript:Special Issue on Nonlinear Theory and Its Applications

Category:

Keyword:
---

Full Text:PDF(299.7KB)>>

Buy this Article

Summary:

Login

 > 

Forgotten your password?

menu

Online ISSN:2188-2355