Keyword : computer assisted rigorous proof

Rigorous Verification of Poincare Map Generated by a Continuous Piece-Wise Linear Vector Field and Its Application
Hideaki OKAZAKI Katsuhide FUJITA Hirohiko HONDA Hideo NAKANO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2005/04/01
Vol. E88-A  No. 4 ; pp. 810-817
Type of Manuscript:  Special Section PAPER (Special Section on Selected Papers from the 17th Workshop on Circuits and Systems in Karuizawa)
interval arithmeticcomputer assisted rigorous proofPoincare mapcanardslow-fast systemcontinuous piece-wise linear vector field
 Summary | Full Text:PDF(695.1KB)