Mathematics
Profile Activity
Meta user
Network profile
4,808
reputation
3
19
46

Rodrigo

A good introduction to recursive types.

61
answers
268
questions
~221k
people reached
  • Member for 5 years, 11 months
  • 1,615 profile views
  • Last seen yesterday

Communities (46)

Top Meta Posts
1
0

Top network posts

Top tags (226)

Score 18
Posts 36
Posts % 11
Score 13
Posts 27
Score 10
Posts 76
Score 7
Posts 42
Score 7
Posts 38
Score 3
Posts 32
View all tags →

Top posts (329)

All Questions Answers
Votes Newest
16 Multiplication of a random variable with constant Jan 6 '18
12 Events in the tail $\sigma$-algebra Dec 28 '15
9 Expectation of gradient in stochastic gradient descent algorithm Oct 10 '16
7 Matrix irreducibility. Strongly connected graph May 25 '15
7 How is Bayesian inference better than classical inference on small samples? Jan 2 '18
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
6 Hierarchy in logical systems Jan 26
5 Orbit space of double torus is triple projective space Dec 20 '17
View all questions and answers →

Badges (68)

Gold

3

Rarest

Silver

19

Rarest

Bronze

46

Rarest

View all badges →

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.