Publicação
Solving analytic differential equations in polynomial time over unbounded domains
| dc.contributor.author | Bournez, Olivier | |
| dc.contributor.author | Graça, Daniel | |
| dc.contributor.author | Pouly, Amaury | |
| dc.date.accessioned | 2012-04-13T08:18:35Z | |
| dc.date.available | 2012-04-13T08:18:35Z | |
| dc.date.issued | 2011 | |
| dc.description.abstract | In this paper we consider the computational complexity of solving initial-value problems de ned with analytic ordinary diferential equations (ODEs) over unbounded domains of Rn and Cn, under the Computable Analysis setting. We show that the solution can be computed in polynomial time over its maximal interval of de nition, provided it satis es a very generous bound on its growth, and that the function admits an analytic extension to the complex plane. | por |
| dc.identifier.other | AUT: DGR01772; | |
| dc.identifier.uri | http://hdl.handle.net/10400.1/1010 | |
| dc.language.iso | eng | por |
| dc.peerreviewed | yes | por |
| dc.publisher | F. Murlak and P. Sankowski | por |
| dc.relation.ispartofseries | Lecture Notes in Computer Science ARCoSS (Advanced Research in Computing and Software Science);6907 | |
| dc.relation.publisherversion | http://www.springerlink.com/content/j4uj170467447676/ | por |
| dc.title | Solving analytic differential equations in polynomial time over unbounded domains | por |
| dc.type | book part | |
| dspace.entity.type | Publication | |
| oaire.citation.endPage | 181 | por |
| oaire.citation.startPage | 170 | por |
| oaire.citation.title | Proceedings of the 36th International Symposium on Mathematical Foundations of Computer Science (MFCS 2011) | por |
| 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 | |
| rcaap.rights | openAccess | por |
| rcaap.type | bookPart | por |
| relation.isAuthorOfPublication | ba0c1461-5d2d-4f06-b648-df4a1a505bdf | |
| relation.isAuthorOfPublication.latestForDiscovery | ba0c1461-5d2d-4f06-b648-df4a1a505bdf |