Rigorous computation of global trajectories for FitzHugh-Nagumo system
 Kaname Matsue 2015. 7/7

 These code groups enable us to validate global trajectories of FitzHugh-Nagumo system for explicitly given multiscale parameter ranges. In the code group "fn_homoclinic" we validate homoclinic orbits

 Sample validation results of these trajectories are listed in the following author's article:

 "Rigorous numerics for fast-slow systems with one-dimensional slow variable: topological shadowing approach"

 In order to play programs, we need the following library :

 CAPD (Computer Assisted Proof of Dynamics) ver. 3.0

***************************************************************

 Note 1 : it is NOT the latest version. See 
 http://capd.sourceforge.net/capdDynSys/download.php 
 for details.

 Note 2 : The code group in the ver. 2015.7/7 consists of raw codes just for author's computations. It looks very hard to understand contents. Author customize codes little by little so that readers can understand easily.

***************************************************************

 (Details of the procedure are added little by little.)

 Latest Modifications : 2015. 8/24
 Released : 2015. 7/7