Computability with low-dimensional dynamical systems, Theoretical Computer Science 132 (1994)

by P Koiran, M Cosnard, M Garzon