更多
通知
医学文献 >>
  • 检索发现
  • 增强检索
知识库 >>
  • 临床诊疗知识库
  • 中医药知识库
评价分析 >>
  • 机构
  • 作者
默认
×
更多
在国内外文献保障系统中检索
高级检索 检索偏好
热搜词：
换一批
  • 二次检索
  • 检索历史
论文 期刊
取消
高级检索

检索历史 清除

首页> Philosophical transactions. Series A, Mathematical, physical, and engineering sciences> Metric fixed point theory and partial impredicativity.

Metric fixed point theory and partial impredicativity.

导出 LinkOut
翻译 打印 收藏 分享
  • 新浪微博
  • 微信
  • QQ空间
  • 豆瓣
 纠错
广告
第一作者： D,Fernández-Duque
第一单位： Department of Mathematics WE16, Ghent University, Ghent, Belgium.;Institute of Computer Science of the Czech Academy of Sciences, Prague, Czech Republic.
作者： D,Fernández-Duque [1] ; P,Shafer [2] ; H,Towsner [3] ; K,Yokoyama [4]
作者单位： Department of Mathematics WE16, Ghent University, Ghent, Belgium.;Institute of Computer Science of the Czech Academy of Sciences, Prague, Czech Republic. [1] School of Mathematics, University of Leeds, Leeds, West Yorkshire, UK. [2] Department of Mathematics, University of Pennsylvania, Philadelphia, PA, USA. [3] Mathematical Institute, Tohoku University, Sendai, Miyagi, Japan. [4]
关键词 computability theoryfixed-point theoremsreverse mathematicssecond-order arithmeticvariational principles
DOI 10.1098/rsta.2022.0012
PMID 37031705
发布时间 2023-04-11
提交
  • 浏览0
Philosophical transactions. Series A, Mathematical, physical, and engineering sciences

Philosophical transactions. Series A, Mathematical, physical, and engineering sciences

2023年381卷2248期

20220012页

相似文献

  • 中文期刊
  • 外文期刊
  • 学位论文
  • 会议论文

加载中！

加载中！

加载中！

加载中！

  • 浏览0
Philosophical transactions. Series A, Mathematical, physical, and engineering sciences 点击下载 本期目录封面

Philosophical transactions. Series A, Mathematical, physical, and engineering sciences

2023年381卷2248期

20220012页

相关期刊

加载中！

法律状态公告日 法律状态 法律状态信息

特别提示：本网站仅提供医学学术资源服务，不销售任何药品和器械，有关药品和器械的销售信息，请查阅其他网站。

  • 客服热线：4000-115-888 转3 (周一至周五：8:00至17:00)

  • |

  • 客服邮箱：yiyao@wanfangdata.com.cn

  • 违法和不良信息举报电话：4000-115-888，举报邮箱：problem@wanfangdata.com.cn，举报专区

官方微信
万方医学小程序
new医文AI 翻译 充值 订阅 收藏 移动端

官方微信

万方医学小程序

使用
帮助
Alternate Text
调查问卷