Skip to main content
MathOverflow
Matti Åstrand's user avatar
Matti Åstrand's user avatar
Matti Åstrand's user avatar
Matti Åstrand
  • Member for 15 years, 2 months
  • Last seen more than 1 year ago
  • New York
Profile Activity
Stats
261
reputation
13k
reached
4
answers
0
questions
Communities
View all
About
I'm a graduate student at University of Pennsylvania.
Badges
This user doesn’t have any gold badges yet.
2
silver badges
6
bronze badges
Top tags
10
Score
2
Posts
50
Posts %
4
Score
2
Posts
50
Posts %
4
Score
1
Posts
25
Posts %
3
Score
2
Posts
50
Posts %
3
Score
1
Posts
25
Posts %
0
Score
1
Posts
25
Posts %
Top posts
answer
10
Proof assistants for mathematics
Dec 10, 2009
answer
6
Combinatorial equation
Oct 24, 2010
answer
4
the delta system lemma outside set theory
Apr 21, 2010
answer
3
Confusion about model theory notes
Jul 26, 2010
Top network posts
View all network posts
24
Implications of foldr vs. foldl (or foldl')
20
Can parallel traversals be done in MATLAB just as in Python?
20
Why is the "finitely many" quantifier not definable in First Order Logic?
14
How does Haskell tail recursion work?
11
Proving f (f bool) = bool