第五届分析中的可计算性和复杂性研讨会论文精选，实数可计算性和复杂性理论

225理论计算机科学www.elsevier.com/locate/entcs前言第66卷第1VascoBrattka，MatthiasSc r？der和KlausWeihrauch摘要本卷的这一部分包含2002年7月12日至13日在西班牙马拉加举行的第五届分析中的可计算性和复杂性研讨会（CCA 2002）上发表的论文。 它是与ICALP2002，第29届国际自动机、语言和程序设计学术讨论会合作举办的。这两项活动都由西班牙马拉加大学计算机科学系主办。该研讨会关注的是建立在图灵机模型上的实数的可计算性和复杂性理论。这一理论由图灵、Grze-gorczyk、Lacombe、巴拿赫和Mazur等人首创，经过长期的缓慢发展，近年来得到新来者可以在Pour-El/Richards，Ko和Weihrauch的书中找到介绍。直到最近，大多数关于可计算性和复杂性的工作都集中在离散结构的问题上，许多计算机科学家对可计算实函数知之甚少也许，由于这个原因，包括实数计算在内的问题一直被大多数计算机科学家忽视，回避甚至忽视虽然仍然有许多甚至是基本的问题尚未解决，同时已经开发了丰富的工具包，用于许多需要实数计算的计算机科学应用，如图像处理，计算几何，动力系统，混合系统，最后但并非最不重要的是，数值数学和科学计算。这些会议记录包含18篇论文的不同领域的可计算分析的范围从递归理论方面，以准确的几何计算。讲习班的内容丰富了，一个用于精确实计算的系统演示我们要感谢作者的贡献，感谢节目委员会和其他裁判的精心工作，感谢当地组织者的协助。2002年6月VascoBrattka MatthiasSchrüderKlausWeihr auch程序委员会Peter Hertling（德国哈根）Ker-IKo（美国石溪）Marian Pour-El（美国明尼苏达）路德维希·施泰格（德国哈勒-维滕贝格）约翰·V·塔克（威尔士斯旺西）Klaus Weihrauch，主席（德国哈根）Mariko Yasugi（日本京都产业）XizhongZheng（德国科特布斯）钟宁（美国辛辛那提）1571-066157cElsevierB.V. 操作访问和C CB Y-NC-ND许可证。10.1016/S1571-0661（05）80392-5226数量组委会瓦斯科·布拉特卡（德国哈根）MatthiasSchréder（Hagen，Germany）示范NorbertMüller（Trier，Germany）