scholarly journals A method of computer assisted proof for nonlinear two-point boundary value problems using higher order finite elements

2011 ◽  
Vol 2 (1) ◽  
pp. 74-89
Author(s):  
Akitoshi Takayasu ◽  
Shin'ichi Oishi
Sign in / Sign up

Export Citation Format

Share Document