The connection between computability of a nonlinear problem and its linearization: The Hartman-Grobman theorem revisited. - Daniel Silva Graça; Ning Zhong 002; H. S. Dumas (Theor. Comput. Sci., 2012)