跳到主要内容
数学溢出
ACL的用户头像
ACL的用户头像
ACL的用户头像
国际计算语言学协会
  • 的成员14年5个月
  • 上次看到的一周多以前
简况 活动
统计数据
12,822
名声
73.7万
达到
147
答案
10
问题
社区
查看全部
关于

数学家，…

对算术几何（Arakelov几何、Berkovich空间、丢番图几何）和证明助手（尤其是Lean）感兴趣。

徽章
查看所有徽章
此用户还没有任何金徽章。
60
银质徽章
78
青铜徽章
顶部标签
查看所有标签
517
分数
63
帖子
40
帖子%
211
分数
27
帖子
17
帖子%
109
分数
9
帖子
6
帖子%
102
分数
15
帖子
10
帖子%
94
分数
15
帖子
10
帖子%
68
分数
5
帖子
三
帖子%
顶部立柱
查看全部问题和答案
问题
48
拓扑流形的连通和
2013年2月12日
回答
38
为什么微分伽罗瓦理论没有得到广泛应用？
2015年4月3日
回答
35
超越幂级数的一个例子是什么？
2010年4月15日
问题
30
ANR在现代拓扑中的作用
2013年3月4日
回答
30
在代数几何中，一个线束有多少个扁平连接？
2013年3月8日
回答
27
具有平凡证明的非平凡定理
2011年5月25日
回答
27
你能用方案解决哪些基本问题？
2011年3月21日
回答
24
了解$\mathrm{Gal}（\bar{\mathbb{Q}}/\mathbb{Q}）的具体应用$
2016年3月9日
回答
22
什么是对正确数学的著名拒绝？
2013年6月28日
问题
20
曲线对称积的Kodaira维数
2013年3月8日
顶级网络帖子
查看所有网络帖子
14
大写和空格因子
14
在TeX展示精美的邀请函
8
证明助手的发展能让数学家改变他们的框架吗？
5
一个人需要一个类型理论公理来选择单身吗？