| dc.contributor.author | Graça, Daniel | |
| dc.date.accessioned | 2025-07-01T10:23:17Z | |
| dc.date.available | 2025-07-01T10:23:17Z | |
| dc.date.issued | 2025 | |
| dc.description.abstract | In this paper we review some results about the interconnections between computation with real numbers and continuous dynamical systems. In particular, we take two complementary approaches: (i) to use standard computational models or theories such as Turing machines or computable analysis to understand which properties of continuous dynamical systems can be computed and (ii) to use continuous dynamical systems directly as models of computation and study their computational power. We will be particularly interested in continuous dynamical systems defined with analytic ordinary differential equations and, in particular, in dynamical systems defined with polynomial ordinary differential equations. | eng |
| dc.identifier.doi | 10.1007/978-3-031-95908-0_5 | |
| dc.identifier.isbn | 978-3-031-95908-0 | |
| dc.identifier.uri | http://hdl.handle.net/10400.1/27329 | |
| dc.language.iso | eng | |
| dc.peerreviewed | yes | |
| dc.publisher | Springer | |
| dc.relation.hasversion | https://doi.org/10.1007/978-3-031-95908-0_5 | |
| dc.rights.uri | N/A | |
| dc.title | Computation with real numbers and continuous-time dynamical systems | eng |
| dc.type | book part | |
| dspace.entity.type | Publication | |
| oaire.citation.endPage | 75 | |
| oaire.citation.startPage | 62 | |
| oaire.citation.title | Crossroads of Computability and Logic: Insights, Inspirations, and Innovations | |
| oaire.version | http://purl.org/coar/version/c_be7fb7dd8ff6fe43 | |
| person.familyName | Graça | |
| person.givenName | Daniel | |
| person.identifier.ciencia-id | 2D11-56DE-3F11 | |
| person.identifier.orcid | 0000-0002-0330-833X | |
| person.identifier.rid | D-2335-2011 | |
| person.identifier.scopus-author-id | 8882791800 | |
| relation.isAuthorOfPublication | ba0c1461-5d2d-4f06-b648-df4a1a505bdf | |
| relation.isAuthorOfPublication.latestForDiscovery | ba0c1461-5d2d-4f06-b648-df4a1a505bdf |
