dc.contributor.author | Graça, Daniel | |
dc.contributor.author | Zhong, Ning | |
dc.date.accessioned | 2021-04-14T08:50:47Z | |
dc.date.available | 2021-04-14T08:50:47Z | |
dc.date.issued | 2021 | |
dc.description.abstract | In this chapter, we provide a survey of results concerning the computability and computational complexity of differential equations. In particular, we study the conditions which ensure computability of the solution to an initial value problem for an ordinary differential equation (ODE) and analyze the computational complexity of a computable solution. We also present computability results concerning the asymptotic behaviors of ODEs as well as several classically important partial differential equations. | pt_PT |
dc.description.version | info:eu-repo/semantics/acceptedVersion | pt_PT |
dc.identifier.uri | http://hdl.handle.net/10400.1/15378 | |
dc.language.iso | eng | pt_PT |
dc.peerreviewed | yes | pt_PT |
dc.publisher | Springer | pt_PT |
dc.relation | Computing with Infinite Data | |
dc.relation.publisherversion | https://www.springer.com/gp/book/9783030592332 | pt_PT |
dc.rights.uri | http://creativecommons.org/licenses/by/4.0/ | pt_PT |
dc.subject | Computable analysis | pt_PT |
dc.subject | Differential equations | pt_PT |
dc.title | Computability of differential equations | pt_PT |
dc.type | book part | |
dspace.entity.type | Publication | |
oaire.awardTitle | Computing with Infinite Data | |
oaire.awardURI | info:eu-repo/grantAgreement/EC/H2020/731143/EU | |
oaire.citation.title | Handbook of Computability and Complexity in Analysis | pt_PT |
oaire.fundingStream | H2020 | |
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 | |
project.funder.identifier | http://doi.org/10.13039/501100008530 | |
project.funder.name | European Commission | |
rcaap.rights | openAccess | pt_PT |
rcaap.type | bookPart | pt_PT |
relation.isAuthorOfPublication | ba0c1461-5d2d-4f06-b648-df4a1a505bdf | |
relation.isAuthorOfPublication.latestForDiscovery | ba0c1461-5d2d-4f06-b648-df4a1a505bdf | |
relation.isProjectOfPublication | 91d5c559-4d6b-4426-b034-c2aa0ab9311d | |
relation.isProjectOfPublication.latestForDiscovery | 91d5c559-4d6b-4426-b034-c2aa0ab9311d |
Files
Original bundle
1 - 1 of 1