FitzHugh Nagumo, nerve axon, reaction diffusion, traveling pulse, wave, 
stability, homoclinic, Evans function, eigenvalues, computer-assisted proof