布兰尼米尔·兰博夫 可计算分析的类型1框架中的复杂性和强度。 (英语) Zbl 1136.03325号 Luke Ong(编辑),《计算机科学逻辑》。2005年8月22日至25日,第19届CSL国际研讨会,第14届EACSL年会,英国牛津。诉讼程序。柏林:施普林格出版社(ISBN 3-540-28231-9/pbk)。计算机科学课堂讲稿3634442-461(2005)。 摘要:本文描述了一个用于可计算分析的1类框架,该框架旨在促进高效实现,并讨论了1类方法以前没有得到很好研究的特性:为实函数的1类表示引入复杂性度量,以及定义内涵函数的方法,即,对于以不同表示形式给出的相同实数参数,可能返回不同实数的函数。该方法已用于最近开发的精确实数计算软件包中,其性能可与机器精度浮点的性能相媲美。有关整个系列,请参见[Zbl 1084.68007号]. 引用于三文件 MSC公司: 03天80 可计算性和递归理论的应用 03层60 构造性和递归分析 软件:xrc公司 PDF格式BibTeX公司 XML格式引用 \textit{B.Lambov},莱克特。注释计算。科学。3634442--461(2005年;Zbl 1136.03325) 全文: 内政部