A message from our CEO about the future of Stack Overflow and Stack Exchange. Read now.
Mathematics
Meta user
Network profile
4,092
reputation
2
15
42

Rodrigo

A good introduction to recursive types.

59
answers
263
questions
~156k
people reached
  • Member for 4 years, 8 months
  • 1,265 profile views
  • Last seen 1 hour ago

Communities (45)

Top Meta Posts
1
0

Top network posts

Top tags (216)

Score 9
Posts 76
Posts % 24
Score 9
Posts 36
Score 7
Posts 44
Score 6
Posts 40
Score 6
Posts 27
Score 3
Posts 32
View all tags →

Top posts (322) All Questions Answers | Votes Newest

8 Multiplication of a random variable with constant Jan 6 '18
7 Matrix irreducibility. Strongly connected graph May 25 '15
6 Assuming $ab^2 = b^3a$ and $a^2=1$ prove that the order of $b$ is $5$. Mar 26 '16
6 Examples of interesting rings to study during an undergraduate course in non-commutative rings. Apr 23 '18
6 Why $\mathbb{Z}_{\lambda(n)}^* \le \mathbb{Z}_{\phi(n)}^*$ does not hold? Jan 6 '19
5 Orbit space of double torus is triple projective space Dec 20 '17
5 Two definitions of p-value Dec 27 '17
5 How is Bayesian inference better than classical inference on small samples? Jan 2 '18
5 Events in the tail $\sigma$-algebra Dec 28 '15
4 Irreducible factors of polynomial $X^{p^n}-X$ over $\mathbb{F}_{p^i}[X]$ Dec 16 '17
View all questions and answers →

Badges (59)

Gold

2

Rarest

Silver

15

Rarest

Bronze

42

Rarest

View all badges →