发布求助
文献互助 智能选刊 最新文献

Computability-The Journal of the Association CiE最新文献

筛选
英文 中文
Primitive recursive ordered fields and some applications 原始递归有序字段和一些应用
Computability-The Journal of the Association CiE Pub Date : 2023-01-19 DOI: 10.3233/com-210386
Victor Selivanov, Svetlana Selivanova
{"title":"Primitive recursive ordered fields and some applications","authors":"Victor Selivanov, Svetlana Selivanova","doi":"10.3233/com-210386","DOIUrl":"https://doi.org/10.3233/com-210386","url":null,"abstract":"We establish primitive recursive (PR) versions of some known facts about computable ordered fields of reals and computable reals, and apply them to prove primitive recursiveness of several important problems in linear algebra and analysis. One of the central results of this paper is a partial PR analogue of Ershov–Madison’s theorem about real closures of computable ordered fields. It allows us, in particular, to obtain PR root-finding algorithms in the PR real and algebraic closures of PR fields with a certain property (PR splitting). We also relate the corresponding fields to the PR reals, as well as introduce and study the notion of a PR metric space. It enables us to derive sufficient conditions for PR computing of normal forms of matrices and solution operators of symmetric hyperbolic systems of PDEs. The methods represent a mix of symbolic and approximate algorithms.","PeriodicalId":42452,"journal":{"name":"Computability-The Journal of the Association CiE","volume":"95 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-01-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135251560","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Computability 可计算性
IF 0.6
Computability-The Journal of the Association CiE Pub Date : 2022-02-01 DOI: 10.1007/978-3-030-83202-5
G. Tourlakis
{"title":"Computability","authors":"G. Tourlakis","doi":"10.1007/978-3-030-83202-5","DOIUrl":"https://doi.org/10.1007/978-3-030-83202-5","url":null,"abstract":"","PeriodicalId":42452,"journal":{"name":"Computability-The Journal of the Association CiE","volume":"116 1","pages":""},"PeriodicalIF":0.6,"publicationDate":"2022-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"86803719","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Dimension spectra of lines1 线的尺寸谱1
IF 0.6
Computability-The Journal of the Association CiE Pub Date : 2021-10-18 DOI: 10.3233/com-190292
Neil Lutz, D. M. Stull
{"title":"Dimension spectra of lines1","authors":"Neil Lutz, D. M. Stull","doi":"10.3233/com-190292","DOIUrl":"https://doi.org/10.3233/com-190292","url":null,"abstract":"This paper investigates the algorithmic dimension spectra of lines in the Euclidean plane. Given any line L with slope a and vertical intercept b, the dimension spectrum sp ( L ) is the set of all effective Hausdorff dimensions of individual points on L. We draw on Kolmogorov complexity and geometrical arguments to show that if the effective Hausdorff dimension dim ( a , b ) is equal to the effective packing dimension Dim ( a , b ), then sp ( L ) contains a unit interval. We also show that, if the dimension dim ( a , b ) is at least one, then sp ( L ) is infinite. Together with previous work, this implies that the dimension spectrum of any line is infinite.","PeriodicalId":42452,"journal":{"name":"Computability-The Journal of the Association CiE","volume":"29 1","pages":""},"PeriodicalIF":0.6,"publicationDate":"2021-10-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"81551859","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
首页 上一页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信