Lecture Notes in Computer Science

4th International Workshop, CCA 2000, Swansea, UK, September 17-19, 2000. Selected Papers

By: Jens Blanck (Editor), Vasco Brattka (Editor), Peter Hertling (Editor)

Write A Review

Paperback | 23 May 2001

At a Glance

Paperback
408 Pages

Dimensions(cm)
22.86 x 15.24 x 1.91

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $89.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Mathematics Mathematical Foundation Mathematical Logic Computing & I.T.Computer Science Mathematical Theory of Computation Calculus & Mathematical Analysis Medicine Medicine in General Computer Programming & Software Development Algorithms & Data Structures

Databases Data Capture & Analysis Programming & Scripting Languages Human-Computer Interaction User Interface Design & Usability

Computability and Complexity in Analysis Effectivity of Regular Spaces	p. 1
The Degree of Unsolvability of a Real Number	p. 16
A Survey of Exact Arithmetic Implementations	p. 30
Standard Representations of Effective Metric Spaces	p. 48
Banach-Mazur Computable Functions on Metric Spaces	p. 69
A Generic Root Operation for Exact Real Arithmetic	p. 82
Effective Contraction Theorem and Its Application	p. 88
Polynomially Time Computable Functions over p-Adic Fields	p. 101
On the Computational Content of the Krasnoselski and Ishikawa Fixed Point Theorems	p. 119
Formalisation of Computability of Operators and Real-Valued Functionals via Domain Theory	p. 146
Computing a Required Absolute Precision from a Stream of Linear ractional Transformations	p. 169
-Approximable Functions	p. 187
Computabilities of Fine-Continuous Functions	p. 200
The iRRAM: Exact Arithmetic in C++	p. 222
The Uniformity Conjecture	p. 253
Admissible Representations of Limit Spaces	p. 273
Characterization of the Computable Real Numbers by Means of Primitive Recursive Functions	p. 296
Effective Fixed Point Theorem over a Non-computably Separable Metric Space	p. 310
Computational Dimension of Topological Spaces	p. 323
Some Properties of the Effective Uniform Topological Space	p. 336
On Computable Metric Spaces Tietze-Urysohn Extension Is Computable	p. 357
Is the Linear Schrödinger Propagator Turing Computable?	p. 369
A Computable Spectral Theorem	p. 378
Report on Competition
Exact Real Arithmetic Systems: Results of Competition	p. 389
Author Index	p. 395
Table of Contents provided by Publisher. All Rights Reserved.

Lecture Notes in Computer Science

4th International Workshop, CCA 2000, Swansea, UK, September 17-19, 2000. Selected Papers

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Mathematical Foundation

Oxford Maths for Australian Schools Year 3 Value Pack

3rd Edition

Oxford Maths for Australian Schools Year 6 Value Pack

3rd Edition

Oxford Maths for Australian Schools Value Pack Year 5

Oxford Maths

Maths Sequences for the Early Years F-2

Challenging Children to Reason Mathematically

Oxford Maths for Australian Schools Year 2 Value Pack

3rd Edition

Oxford Maths for Australian Schools Year 4 Value Pack

3rd Edition

Handbook of Automated Reasoning

Current Trends in Automated Theorem Proving

Current Trends in Automated Reasoning

Oxford Maths for Australian Schools Year 4 Practice and Mastery Book

3rd Edition

Oxford Maths for Australian Schools Year 6 Practice and Mastery Book

3rd Edition

Oxford Maths for Australian Schools Year 1 Value Pack

3rd Edition

Maths Plus Australian Curriculum Mentals and Homework Book - Year 2 (2023)

Maths Plus Australian Curriculum Edition

Oxford Maths for Australian Schools Year 3 Practice and Mastery Book

3rd Edition

Building Thinking Classrooms in Mathematics, Grades K-12

14 Teaching Practices for Enhancing Learning

Oxford Maths for Australian Schools Year 2 Practice and Mastery Book

3rd Edition

Oxford Maths for Australian Schools Year 5 Practice and Mastery Book

3rd Edition

Teaching Secondary Mathematics

2nd Edition

Alex's Adventures in Numberland

Tenth Anniversary Edition

Secrets Of Mental Math

The Mathemagician's Guide to Lightning Calculation and Amazing Math Tricks

Oxford Maths for Australian Schools Year F Value Pack

3rd Edition

The Language of Mathematics

The Stories behind the Symbols

The Times Ultimate Killer Su Doku Book 18

200 of the deadliest Su Doku puzzles

The Times Samurai Su Doku 14

100 extreme puzzles for the fearless Su Doku warrior

This product is categorised by