|
| Keyword : self-validating numerics
| |
|
The Self-Validating Numerical Method--A New Tool for Computer Assisted Proofs of Nonlinear Problems--
Shin'ichi OISHI | Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1992/05/25
Vol. E75-A
No. 5 ;
pp. 595-612
Type of Manuscript:
INVITED SURVEY PAPER
Category: Nonlinear Systems
Keyword:
self-validating numerics, computational nonlinear analysis, | | | Summary | Full Text:PDF | |
|
|