Mathematics
user avatar
user avatar
user avatar
hengxin
  • Member for 9 years, 6 months
  • Last seen more than a week ago
Profile Activity
Stats
3,427
reputation
144k
reached
18
answers
91
questions
Communities
View all
About

I am interested in distributed computing and formal methods.

Badges
View all badges
This user doesn’t have any gold badges yet.
22
silver badges
40
bronze badges
Top tags
View all tags
31
Score
23
Posts
21
Posts %
5
Score
8
Posts
7
Posts %
2
Score
21
Posts
19
Posts %
2
Score
16
Posts
15
Posts %
1
Score
20
Posts
18
Posts %
1
Score
9
Posts
8
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
31
Why is the "topologist's sine curve" not locally connected?
Feb 7, 2014
answer
20
Projection map being a closed map
Feb 12, 2014
question
17
What are the components and path components of $\mathbb{R}^{\omega}$ in the product, uniform, and box topologies?
Feb 9, 2014
question
12
What is the one-point compactification of $\mathbb{Z}_{+}$?
Feb 27, 2014
question
10
Sum of two gamma/Erlang random variables $\Gamma(m,\lambda)$ and $\Gamma(n, \mu)$ with integer numbers $m \neq n, \lambda \neq \mu$
May 21, 2014
question
9
What is the intuition behind homeomorphism, especially behind the geometrical notion of "gluing together"?
Sep 21, 2014
question
9
What does the isomorphism $G / Z(G) \cong \text{Inn}(G)$ mean?
Mar 19, 2014
question
8
Quotient space of closed unit ball and the unit 2-sphere $S^2$
Feb 2, 2014
question
8
Does $\sum_{k=0}^{k=n} {n \choose k} k!$ have a closed form for integers $k,n$?
May 24, 2014
answer
8
Is projection of a closed set $F\subseteq X\times Y$ always closed?
Feb 12, 2014
Top network posts
View all network posts
24
Curious about computer-assisted NP-completeness proofs
22
How to enforce the left-to-right node ordering in GraphViz rank layout?
20
Why is the consensus problem so important in distributed computing?
19
log(n) complexity. Difficulty understanding example
19
How to center an `itemize` in beamer, together with its headline?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.