MathOverflow
Profile Activity
Network profile
1,197
reputation
2
8
17

Max

Apparently, this user prefers to keep an air of mystery about them.

1
answer
5
questions
~21k
people reached
  • Member for 8 years
  • 110 profile views
  • Last seen Dec 14 '20 at 6:36

Communities (55)

Top network posts

Top tags (0)

This user has not participated in any tags.

Top posts (6)

All Questions Answers
Votes Newest
112 What makes dependent type theory more suitable than set theory for proof assistants? Nov 19 '20
16 $\sup \left\| A x + B y\right\|_2$ subject to $\left\|x\right\|_2 = \left\|y\right\|_2 = 1$ Oct 11 '18
14 Does formalizing math require search and creativity, or is it near-mechanical? May 15 '14
4 Recovering Shared Eigenvector Set Jan 2 '13
2 Name for functions with local=global minimum Oct 28 '18
0 Sampling a uniformly distributed point INSIDE a hypersphere? Aug 31 '18

Badges (27)

Gold

2

Rarest

Silver

8

Rarest

Bronze

17

Rarest

View all badges →