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

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)>>

Summary: