布兰尼米尔·兰博夫 可计算分析的类型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） 全文： 内政部