Combinatorial topology and constructive mathematics

数学 建设性的 拓扑(电路) 一般拓扑结构 计算拓扑学 域代数上的 纯数学 组合数学 离散数学
作者
Thierry Coquand
出处
期刊:Indagationes Mathematicae [Elsevier]
卷期号:29 (6): 1637-1648
标识
DOI:10.1016/j.indag.2018.04.003
最长约 10秒,即可获得该文献文件

科研通智能强力驱动
Strongly Powered by AbleSci AI
更新
大幅提高文件上传限制,最高150M (2024-4-1)

科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
刚刚
2秒前
么么叽完成签到,获得积分10
2秒前
2秒前
wyh完成签到,获得积分10
3秒前
专注世界发布了新的文献求助10
4秒前
顾矜应助shenmo18采纳,获得10
4秒前
依依完成签到,获得积分20
4秒前
4秒前
Daria完成签到,获得积分10
5秒前
6秒前
xiao发布了新的文献求助10
6秒前
蜜柚子完成签到 ,获得积分10
6秒前
彩色觅柔发布了新的文献求助10
6秒前
自觉士萧发布了新的文献求助10
10秒前
10秒前
胖小羊发布了新的文献求助10
12秒前
起风了发布了新的文献求助10
12秒前
赘婿应助小羊爱吃蓝莓采纳,获得10
13秒前
14秒前
项阑悦发布了新的文献求助10
16秒前
shenmo18完成签到,获得积分10
17秒前
20秒前
科目三应助胖小羊采纳,获得10
20秒前
沿岸有贝壳完成签到,获得积分10
21秒前
英俊的铭应助自觉士萧采纳,获得10
22秒前
寂寞小笼包完成签到 ,获得积分10
23秒前
科目三应助shenmo18采纳,获得10
24秒前
su应助felix采纳,获得10
27秒前
27秒前
无辜小笼包完成签到,获得积分10
27秒前
深情安青应助专注世界采纳,获得10
29秒前
29秒前
小大巫完成签到,获得积分10
29秒前
32秒前
33秒前
锅包肉完成签到,获得积分10
33秒前
SCI随缘完成签到,获得积分10
34秒前
天天快乐应助犹豫的书蝶采纳,获得10
35秒前
35秒前
高分求助中
Sustainability in Tides Chemistry 2800
The Young builders of New china : the visit of the delegation of the WFDY to the Chinese People's Republic 1000
Rechtsphilosophie 1000
Bayesian Models of Cognition:Reverse Engineering the Mind 888
Le dégorgement réflexe des Acridiens 800
Defense against predation 800
Very-high-order BVD Schemes Using β-variable THINC Method 568
热门求助领域 (近24小时)
化学 医学 生物 材料科学 工程类 有机化学 生物化学 物理 内科学 纳米技术 计算机科学 化学工程 复合材料 基因 遗传学 催化作用 物理化学 免疫学 量子力学 细胞生物学
热门帖子
关注 科研通微信公众号,转发送积分 3135007
求助须知:如何正确求助?哪些是违规求助? 2785964
关于积分的说明 7774560
捐赠科研通 2441787
什么是DOI,文献DOI怎么找? 1298183
科研通“疑难数据库(出版商)”最低求助积分说明 625088
版权声明 600825