Skip to main content
MathOverflow
MWB's user avatar
MWB's user avatar
MWB's user avatar
MWB
  • Member for 11 years, 11 months
  • Last seen more than a month ago
  • California, USA
Profile Activity
Stats
1,667
reputation
33k
reached
2
answers
5
questions
Communities
View all
Badges
View all badges
2
gold badges
11
silver badges
20
bronze badges
Top tags
View all tags
2
Score
1
Posts
14
Posts %
2
Score
1
Posts
14
Posts %
2
Score
1
Posts
14
Posts %
2
Score
1
Posts
14
Posts %
0
Score
2
Posts
29
Posts %
0
Score
3
Posts
43
Posts %
Top posts
question
157
What makes dependent type theory more suitable than set theory for proof assistants?
Nov 19, 2020
question
20
Does formalizing math require search and creativity, or is it near-mechanical?
May 15, 2014
question
16
$\sup \left\| A x + B y\right\|_2$ subject to $\left\|x\right\|_2 = \left\|y\right\|_2 = 1$
Oct 11, 2018
question
4
Recovering Shared Eigenvector Set
Jan 2, 2013
answer
3
Does formalizing math require search and creativity, or is it near-mechanical?
Jun 13
question
2
Sampling a uniformly distributed point INSIDE a hypersphere?
Aug 31, 2018
answer
2
Name for functions with local=global minimum
Oct 28, 2018
Top network posts
View all network posts
173
How do I avoid the "self.x = x; self.y = y; self.z = z" pattern in __init__?
57
What motivates software companies to hire locally?
56
How can I view someone's comment history on GitHub?
55
Why is writing to memory much slower than reading it?
41
Are PIP packages curated? Is it safe to install them?