Mathematics
Meta user
Network profile
1,680
reputation
15
31

hengxin

I am a Ph.D. candidate majoring in Computer Science at Nanjing University, China. I am interested in distributed computing and formal methods.

Contact: hengxin0912@gmail.com

Address: Nanjing University Xianlin Campus, 163 Xianlin Avenue, Qixia, Nanjing 210023, Jiangsu, China

18
answers
89
questions
~71k
people reached

Communities (18)

Top network posts

Top tags (114)

Score 16
Posts 23
Posts % 21
Score 5
Posts 8
Score 2
Posts 21
Score 2
Posts 16
Score 1
Posts 7
Score 0
Posts 20
View all tags →

Top posts (107) All Questions Answers | Votes Newest

21 Why is the “topologist's sine curve” not locally connected? Feb 7 '14
12 Projection map being a closed map Feb 12 '14
11 What are the components and path components of $\mathbb{R}^{\omega}$ in the product, uniform, and box topologies? Feb 9 '14
10 What is the one-point compactification of $\mathbb{Z}_{+}$? Feb 27 '14
8 Does $\sum_{k=0}^{k=n} {n \choose k} k!$ have a closed form for integers $k,n$? May 24 '14
7 What does the isomorphism $G / Z(G) \cong \text{Inn}(G)$ mean? Mar 19 '14
6 How to prove that $[G:xHx^{-1}] = [G:H]$ given $H \le G$? Mar 5 '14
6 How to formally model the “hesitation” in the hat-guessing puzzle? Dec 14 '12
6 How to compute (and check) this transform matrix? Dec 30 '13
6 Order topology on the set $X = \{ 1,2 \} \times \mathbb{Z}_{+}$ Jan 14 '14
View all questions and answers →

Badges (46)

Gold

—

Silver

15

Rarest

Bronze

31

Rarest

View all badges →