Utilize este identificador para referenciar este registo: http://hdl.handle.net/10400.1/1013
Título: Computability and dynamical systems
Autor: Buescu, Jorge
Graça, Daniel
Zhong, Ning
Data: 2011
Editora: M. Peixoto, A. Pinto, and D. Rand
Resumo: In this paper we explore results that establish a link between dynamical systems and computability theory (not numerical analysis). In the last few decades, computers have increasingly been used as simulation tools for gaining insight into dynamical behavior. However, due to the presence of errors inherent in such numerical simulations, with few exceptions, computers have not been used for the nobler task of proving mathematical results. Nevertheless, there have been some recent developments in the latter direction. Here we introduce some of the ideas and techniques used so far, and suggest some lines of research for further work on this fascinating topic.
Peer review: yes
URI: http://hdl.handle.net/10400.1/1013
Versão do Editor: http://www.springerlink.com/content/tw6681007h35k061/
Aparece nas colecções:FCT3-Livros (ou partes, com ou sem arbitragem científica)

Ficheiros deste registo:
Ficheiro Descrição TamanhoFormato 
10-BGZ-DynGame.pdf111,5 kBAdobe PDFVer/Abrir

FacebookTwitterDeliciousLinkedInDiggGoogle BookmarksMySpace
Formato BibTex MendeleyEndnote Degois 

Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.