Validated computation of global solutions to ODEs

• Harikae Masato

  The graduate school of The University of Electro-Communications

• Yamamoto Nobito

  The University of Electro-Communications

Journal

• Nonlinear Theory and Its Applications, IEICE

  Nonlinear Theory and Its Applications, IEICE 4 (1), 88-96, 2013

  The Institute of Electronics, Information and Communication Engineers

Keywords

• validated numerics
• dynamical systems

Details

• CRID: 1390001205345329152
• NII Article ID: 130003375414
• DOI: 10.1587/nolta.4.88
• ISSN: 21854106
• Web Site: https://www.jstage.jst.go.jp/article/nolta/4/1/4_88/_pdf
• Text Lang: en
• Data Source:
  • JaLC
  • Crossref
  • CiNii Articles
  • KAKEN