Computer Assisted Proof in Chaos Theory

• OISHI Shin'ichi

  School of Science and Engineering, Waseda University

Bibliographic Information

Other Title

• カオスの計算機援用証明

Abstract

Although the problem of proving the existence of connecting orbits for nonlinear ordinary differential equations is one of the most fun.

Journal

• IEICE technical report. Information theory

  IEICE technical report. Information theory 95 (337), 25-30, 1995-10-24

  The Institute of Electronics, Information and Communication Engineers

Keywords

• numerical calculation with guranteed accuracy
• computer assisted proof
• connecting orbits

Details

• CRID: 1571698602306407424
• NII Article ID: 110003197205
• NII Book ID: AN10013083
• Text Lang: ja
• Data Source:
  • CiNii Articles