2005年第二届CCA大会:日本京都
坦尼娅·格拉巴 , 彼得·赫特林 , Hideki Tsuiki先生 , 克劳斯·维赫劳赫(Klaus Weihrauch) :
2005年CCA:第二届国际可计算性和分析复杂性会议,2005年8月25日至29日,日本京都。 Informatik Berichte公司 326-7/2005, 德国FernUniversität Hagen 2005
受邀论文
高桥大辅 :
方程的低温极限-隐藏的离散结构。 计算机辅助控制 2005 Masami Hagiya先生 :
分子计算和实数计算。 计算机辅助控制 2005 瓦斯科·布拉特卡 :
可计算函数分析的某些方面。 计算机辅助控制 2005
已投稿论文
阿卡玛(Yohji Akama) , 井冈信治 :
图定向IFS吸引子的实数表示。 计算机辅助控制 2005 : 3-24 安德烈·鲍尔 , 保罗·泰勒 :
抽象的石头二元性中的Dedekind现实。 计算机辅助控制 2005 : 25-64 道格拉斯·S·布里奇斯 , 罗宾·哈瓦 , 彼特·舒斯特 :
建构巴拿赫代数理论中的理想。 计算机辅助控制 2005 : 65-75 道格拉斯·S·布里奇斯 , Luminita Vêta(发光菌) :
B(X,Y)上超弱连续线性泛函的一个推广定理。 计算机辅助控制 2005 : 77-89 道格拉斯·S·布里奇斯 , Luminita Vìta(发光菌) :
近距离连接。 计算机辅助控制 2005 : 91-101 圣地亚哥·菲格雷拉 , 弗兰克·斯蒂芬 , 吴国华 :
随机性和通用机器。 计算机辅助控制 2005 : 103-116 坦尼娅·格拉巴 , 克劳斯·维赫劳赫(Klaus Weihrauch) :
拓扑空间中Dini定理的可计算版本。 计算机辅助控制 2005 : 117-129 彼得·赫特林 :
一个在任何点上都不是有效连续的序列可计算函数。 计算机辅助控制 2005 : 131-148 上野博彦(Hiroyasu Kamo) :
Urysohn通用度量空间的可计算性和可计算唯一性。 计算机辅助控制 2005 : 149-159 Tien D.Kieu先生 :
几类线性和非线性微分方程的数学可计算性问题起源于希尔伯特第十问题。 计算机辅助控制 2005 : 161-168 布兰尼米尔·兰博夫 :
RealLib:精确实数算法的高效实现。 计算机辅助控制 2005 : 169-175 森喜昭 , Yoshiki Tsujii先生 , 马里科·亚苏吉 :
精细可计算函数和有效精细收敛。 计算机辅助控制 2005 : 177-197 罗伯特·雷廷格 , 郑西忠 :
发散有界可计算实数的图灵度层次。 计算机辅助控制 2005 : 199-209 马蒂亚斯·施罗德 , 亚历克斯·K·辛普森 :
使用概率过程表示概率度量。 计算机辅助控制 2005 : 211-226 保罗·泰勒 :
实分析的Lambda微积分。 计算机辅助控制 2005 : 227-266 克劳斯·维赫劳赫(Klaus Weihrauch) :
多表示集合上的多功能在流程图编程下关闭。 计算机辅助控制 2005 : 267-300 马里科·亚苏吉 , 森喜昭 , Yoshiki Tsujii先生 :
有效一致序列及其有效极限。 计算机辅助控制 2005 : 301-318 佐托鲁·吉田 :
构造数学中具有伪有界支持的广义函数。 计算机辅助控制 2005 : 319-340 余福祥 , 亚瑟·W·周 , Ker-I Ko公司 :
关于寻找二维域的外切矩形的复杂性。 计算机辅助控制 2005 : 341-355 马丁·齐格勒 :
有效地打开实函数。 计算机辅助控制 2005 : 357-374
卫星研讨会
彼得·赫特林 :
通过表示进行可计算分析。 计算机辅助控制 2005 : 377 Takashi Kohno公司 :
神经形态硬件的设计。 计算机辅助控制 2005 : 377-378 吉川Atsushi Yoshikawa , 马里科·亚苏吉 :
泛函分析中基本定理的可计算版本。 计算机辅助控制 2005 : 378 诺伯特·米勒 :
高效实现精确实数。 计算机辅助控制 2005 : 378 安德烈·鲍尔 :
可实现性是建构数学和可计算数学之间的联系。 计算机辅助控制 2005 : 378-379 马丁·霍泽尔·埃斯卡多 :
拓扑和计算的紧凑性。 计算机辅助控制 2005 : 379