Nonlinear Theory and Its Applications, IEICE
Online ISSN : 2185-4106
ISSN-L : 2185-4106
Special section on Recent Progress in Verified Numerical Computations
Validated computation of global solutions to ODEs
Masato Harikae, Nobito Yamamoto
Author information
Keywords: validated numerics, dynamical systems
JOURNAL FREE ACCESS

2013 Volume 4 Issue 1 Pages 88-96

Details
Download PDF (409K)
Download citation RIS

(compatible with EndNote, Reference Manager, ProCite, RefWorks)

BIB TEX

(compatible with BibDesk, LaTeX)

Text
How to download citation
Contact us
Article 1st page
Content from these authors
© 2013 The Institute of Electronics, Information and Communication Engineers
Previous article Next article
Favorites & Alerts

Recently viewed articles
Share this page
feedback
 Top