Computability and complexity in analysis : 4th international workshop, CCA 2000, Swansea, UK, September 17-19, 2000 : selected papers
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...
Đã lưu trong:
| Tác giả của công ty: | |
|---|---|
| Tác giả khác: | , , |
| Định dạng: | Livre numérique |
| Ngôn ngữ: | Anglais |
| Được phát hành: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Loạt: | Lecture notes in computer science
2064 |
| Những chủ đề: | |
| Truy cập trực tuyến: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Chú thích: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • 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.), 2001, New York, Springer, 1 vol. (VIII-393 p.), Lecture notes in computer science, 3-540-42197-1 • Computability and Complexity in Analysis, Texte imprimé, 9783662193310 |
| LEADER | 05563nam a22004457a 4500 | ||
|---|---|---|---|
| 001 | 972074 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155217933 | ||
| 020 | |a 9783540453352 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a International Workshop on Computability and complexity in analysis |n (04 |d :2000 |c :Swansea, Grande-Bretagne). | |
| 245 | 1 | 0 | |a Computability and complexity in analysis : |b 4th international workshop, CCA 2000, Swansea, UK, September 17-19, 2000 : selected papers |c [edited by] Jens Blanck, Vasco Brattka, Peter Hertling. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 2064 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Computability and Complexity in Analysis -- Effectivity of Regular Spaces -- The Degree of Unsolvability of a Real Number -- A Survey of Exact Arithmetic Implementations -- Standard Representations of Effective Metric Spaces -- Banach-Mazur Computable Functions on Metric Spaces -- A Generic Root Operation for Exact Real Arithmetic -- Effective Contraction Theorem and Its Application -- Polynomially Time Computable Functions over p-Adic Fields -- On the Computational Content of the Krasnoselski and Ishikawa Fixed Point Theorems -- Formalisation of Computability of Operators and Real-Valued Functionals via Domain Theory -- Computing a Required Absolute Precision from a Stream of Linear Fractional Transformations -- ?-Approximable Functions -- Computabilities of Fine-Continuous Functions -- The iRRAM: Exact Arithmetic in C++ -- The Uniformity Conjecture -- Admissible Representations of Limit Spaces -- Characterization of the Computable Real Numbers by Means of Primitive Recursive Functions -- Effective Fixed Point Theorem over a Non-Computably Separable Metric Space -- Computational Dimension of Topological Spaces -- Some Properties of the Effective Uniform Topological Space -- On Computable Metric Spaces Tietze-Urysohn Extension Is Computable -- Is the Linear Schrödinger Propagator Turing Computable? -- A Computable Spectral Theorem -- Report on Competition -- Exact Real Arithmetic Systems: Results of Competition. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a 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. | ||
| 650 | |a Informatique | ||
| 650 | |a Algorithmes | ||
| 650 | |a Complexité de calcul (informatique) | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Analyse mathématique | ||
| 650 | |a Fonctions calculables | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Blanck, Jens, |d 1966- |4 pbd | |
| 700 | 1 | |a Brattka, Vasco, |d 1966- |4 pbd | |
| 700 | 1 | |a Hertling, Peter, |d 1965- |4 pbd | |
| 776 | 0 | |0 057840407 |t Computability and complexity in analysis |o 4th international workshop, CCA 2000, Swansea, UK, September 17-19, 2000, selected papers |f Jens Blanck, Vasco Brattka, Peter Hertling (eds.) |d 2001 |c New York |n Springer |p 1 vol. (VIII-393 p.) |s Lecture notes in computer science |z 3-540-42197-1 | |
| 776 | 0 | |t Computability and Complexity in Analysis |b Texte imprimé |z 9783662193310 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-45335-0 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-3SC7MD8J-T |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:750645512 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-45335-0 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:753996502 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-45335-0 |z Accès INSA CVL | |
| 997 | |0 972074 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||