Data Portal @ linkeddatafragments.org

Matches in Harvard for { <http://id.lib.harvard.edu/aleph/008736147/catalog> ?p ?o. }

• catalog abstract "The workshop on Computability and Complexity in Analysis, CCA 2000, was hosted by the Department of Computer Science of the University of Wales Swansea, September 17{19, 2000. It was the fourth workshop in a successful series of workshops: CCA’95 in Hagen, Germany, CCA’96 in Trier, Germany, and CCA’98 in Brno, Czech Republic. About 40 participants from the countries United Kingdom, Germany, Japan, Italy, Russia, France, Denmark, Greece, and Ireland contributed to the success of this meeting. Altogether, 28 talkswere p- sented in Swansea. These proceedings include 23 papers which represent a cro- section through recent research on computability and complexity in analysis. The workshop succeeded in bringing together people interested in computability and complexity aspects of analysis and in exploring connections with nume- cal methods, physics and, of course, computer science. It was rounded o by a number of talks and papers on exact computer arithmetic and by a competition of v e implemented systems. A report on this competition has been included in these proceedings. We would like to thank the authors for their contributions and the referees for their careful work, and we hope for further inspiring and constructive meetings of the same kind. April 2001 Jens Blanck Vasco Brattka Peter Hertling Organization CCA2000was hosted by the Department of Computer Science of the University of Wales Swansea and took place on September 17{19, 2000.".
• catalog contributor b12241203.
• catalog contributor b12241204.
• catalog contributor b12241205.
• catalog created "c2001.".
• catalog date "2001".
• catalog date "c2001.".
• catalog dateCopyrighted "c2001.".
• catalog description "Effectivity of Regular Spaces / Jens Blanck -- The Degree of Unsolvability of a Real Number / Anthony J. Dunlop and Marian Boykan Pour-El -- A Survey of Exact Arithmetic Implementations / Paul Gowland and David Lester -- Standard Representations of Effective Metric Spaces / Armin Hemmerling -- Banach-Mazur Computable Functions on Metric Spaces / Peter Hertling -- A Generic Root Operation for Exact Real Arithmetic / Namhyun Hur and James H. Davenport -- Effective Contraction Theorem and Its Application / Hiroyasu Kamo -- Polynomially Time Computable Functions over p-Adic Fields / George Kapoulas -- On the Computational Content of the Krasnoselski and Ishikawa Fixed Point Theorems / Ulrich Kohlenbach.".
• catalog description "Includes bibliographical references and index.".
• catalog description "The workshop on Computability and Complexity in Analysis, CCA 2000, was hosted by the Department of Computer Science of the University of Wales Swansea, September 17{19, 2000. It was the fourth workshop in a successful series of workshops: CCA’95 in Hagen, Germany, CCA’96 in Trier, Germany, and CCA’98 in Brno, Czech Republic. About 40 participants from the countries United Kingdom, Germany, Japan, Italy, Russia, France, Denmark, Greece, and Ireland contributed to the success of this meeting. Altogether, 28 talkswere p- sented in Swansea. These proceedings include 23 papers which represent a cro- section through recent research on computability and complexity in analysis. The workshop succeeded in bringing together people interested in computability and complexity aspects of analysis and in exploring connections with nume- cal methods, physics and, of course, computer science. It was rounded o by a number of talks and papers on exact computer arithmetic and by a competition of v e implemented systems. A report on this competition has been included in these proceedings. We would like to thank the authors for their contributions and the referees for their careful work, and we hope for further inspiring and constructive meetings of the same kind. April 2001 Jens Blanck Vasco Brattka Peter Hertling Organization CCA2000was hosted by the Department of Computer Science of the University of Wales Swansea and took place on September 17{19, 2000.".
• catalog extent "viii, 393 p. :".
• catalog identifier "3540421971 (pbk. : alk. paper)".
• catalog isPartOf "Lecture notes in computer science ; 2064".
• catalog issued "2001".
• catalog issued "c2001.".
• catalog language "eng".
• catalog publisher "Berlin ; New York : Springer,".
• catalog subject "515 21".
• catalog subject "Computable functions Congresses.".
• catalog subject "Computational complexity Congresses.".
• catalog subject "Computer science.".
• catalog subject "Computer software.".
• catalog subject "Global analysis (Mathematics).".
• catalog subject "Logic, Symbolic and mathematical.".
• catalog subject "Mathematical analysis Congresses.".
• catalog subject "QA299.6 .C6585 2001".
• catalog tableOfContents "Effectivity of Regular Spaces / Jens Blanck -- The Degree of Unsolvability of a Real Number / Anthony J. Dunlop and Marian Boykan Pour-El -- A Survey of Exact Arithmetic Implementations / Paul Gowland and David Lester -- Standard Representations of Effective Metric Spaces / Armin Hemmerling -- Banach-Mazur Computable Functions on Metric Spaces / Peter Hertling -- A Generic Root Operation for Exact Real Arithmetic / Namhyun Hur and James H. Davenport -- Effective Contraction Theorem and Its Application / Hiroyasu Kamo -- Polynomially Time Computable Functions over p-Adic Fields / George Kapoulas -- On the Computational Content of the Krasnoselski and Ishikawa Fixed Point Theorems / Ulrich Kohlenbach.".
• catalog title "Computability and complexity in analysis : 4th international workshop, CCA 2000, Swansea, UK, September 17-19, 2000, selected papers / Jens Blanck, Vasco Brattka, Peter Hertling (eds.).".
• catalog type "Conference proceedings. fast".
• catalog type "Swansea (2000) swd".
• catalog type "text".