DC Field | Value | Language |
---|---|---|
dc.contributor.author | Kawamura, Akitoshi | ko |
dc.contributor.author | Steinberg, Florian | ko |
dc.contributor.author | Ziegler, Martin A. | ko |
dc.date.accessioned | 2017-12-19T03:01:47Z | - |
dc.date.available | 2017-12-19T03:01:47Z | - |
dc.date.created | 2016-07-25 | - |
dc.date.created | 2016-07-25 | - |
dc.date.created | 2016-07-25 | - |
dc.date.issued | 2017-12 | - |
dc.identifier.citation | MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, v.27, no.8, pp.1437 - 1465 | - |
dc.identifier.issn | 0960-1295 | - |
dc.identifier.uri | http://hdl.handle.net/10203/228586 | - |
dc.description.abstract | The last years have seen an increasing interest in classifying (existence claims in) classical mathematical theorems according to their strength. We pursue this goal from the refined perspective of computational complexity. Specifically, we establish that rigorously solving the Dirichlet Problem for Poisson's Equation is in a precise sense 'complete' for the complexity class #P and thus as hard or easy as parametric Riemann integration (Friedman 1984; Ko 1991. Complexity Theory of Real Functions). | - |
dc.language | English | - |
dc.publisher | CAMBRIDGE UNIV PRESS | - |
dc.subject | REAL FUNCTIONS | - |
dc.subject | COMPUTABILITY | - |
dc.title | On the computational complexity of the Dirichlet Problem for Poisson's Equation | - |
dc.type | Article | - |
dc.identifier.wosid | 000415708200007 | - |
dc.identifier.scopusid | 2-s2.0-84980410017 | - |
dc.type.rims | ART | - |
dc.citation.volume | 27 | - |
dc.citation.issue | 8 | - |
dc.citation.beginningpage | 1437 | - |
dc.citation.endingpage | 1465 | - |
dc.citation.publicationname | MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE | - |
dc.identifier.doi | 10.1017/S096012951600013X | - |
dc.contributor.localauthor | Ziegler, Martin A. | - |
dc.contributor.nonIdAuthor | Kawamura, Akitoshi | - |
dc.contributor.nonIdAuthor | Steinberg, Florian | - |
dc.description.isOpenAccess | N | - |
dc.type.journalArticle | Article; Proceedings Paper | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.