An Application of Taylor Models to the Nakao Method on ODEs

• YAMAMOTO Nobito

  Department of Computer Science, The University of Electro-Communications

• KOMORI Takashi

  Department of Computer Science, The University of Electro-Communications

Journal

• Japan journal of industrial and applied mathematics

  Japan journal of industrial and applied mathematics 26 (2), 365-392, 2009-10-01

Keywords

• Taylor model
• Nakao method
• validated computation
• ODEs

Details

• CRID: 1572261550733529344
• NII Article ID: 10028169196
• NII Book ID: AA10799861
• ISSN: 09167005
• Text Lang: en
• Data Source:
  • CiNii Articles