Computability and Complexity in Analysis: 4th International Workshop, CCA 2000 Swansea, UK, September 17–19, 2000 Selected Papers

کارگاه محاسباتی و پیچیدگی در تجزیه و تحلیل، CCA 2000، توسط دپارتمان علوم کامپیوتر دانشگاه ولز سوانسی، در 17 سپتامبر 2000 میزبانی شد. این کارگاه چهارمین کارگاه از مجموعه کارگاه های موفق بود: CCA '95 در هاگن، آلمان، CCA'96 در تریر، آلمان، و CCA'98 در برنو، جمهوری چک. حدود 40 شرکت کننده از کشورهای انگلستان، آلمان، ژاپن، ایتالیا، روسیه، فرانسه، دانمارک، یونان و ایرلند در موفقیت این نشست سهیم بودند. در مجموع، 28 گفتگو در سوانسی انجام شد. این اقدامات شامل 23 مقاله است که بخشی از تحقیقات اخیر در مورد محاسبه پذیری و پیچیدگی در تجزیه و تحلیل را نشان می دهد. این کارگاه موفق شد افراد علاقه مند به جنبه های محاسباتی و پیچیدگی تجزیه و تحلیل و کاوش در ارتباط با روش های عددی، فیزیک و البته علوم کامپیوتر را گرد هم آورد. این با تعدادی گفتگو و مقالات در مورد محاسبات دقیق کامپیوتری و با رقابتی از سیستم های پیاده سازی شده گرد شد. گزارشی از این مسابقه در این گزارش گنجانده شده است. مایلیم از نویسندگان و داوران برای کار دقیقشان تشکر کنیم و امیدواریم جلسات الهام بخش و سازنده بیشتری از همین نوع برگزار شود. آوریل 2001 Jens Blanck Vasco Brattka Peter Hertling Organization CCA2000 توسط دپارتمان علوم کامپیوتر دانشگاه ولز سوانسی میزبانی شد و در 17 سپتامبر 2000 برگزار شد.

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.