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

収録刊行物

• Japan journal of industrial and applied mathematics

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

キーワード

• Taylor model
• Nakao method
• validated computation
• ODEs

詳細情報

• CRID: 1572261550733529344
• NII論文ID: 10028169196
• NII書誌ID: AA10799861
• ISSN: 09167005
• 本文言語コード: en
• データソース種別:
  • CiNii Articles