@INPROCEEDINGS {4690, author={D. Graça and N. Zhong and J. Buescu}, doi={}, booktitle={Conf. on Real Numbers and Computers - RNC}, title={The ordinary differential equation defined by a computable function whose maximal interval of existence is non-computable}, year={2006}, month={July}, volume={none}, pages={33-40} }