current community
chat
MathOverflow
MathOverflow Meta
your communities
Sign up
or
log in
to customize your list.
more stack exchange communities
company blog
Stack Exchange
Inbox
Reputation and Badges
sign up
log in
tour
help
Tour
Start here for a quick overview of the site
Help Center
Detailed answers to any questions you might have
Meta
Discuss the workings and policies of this site
MathOverflow
Questions
Tags
Users
Badges
Unanswered
Ask Question
Profile
Activity
Network Profile
137
reputation
5
copumpkin
Dabbler in math
1
answer
3
questions
~1k
people reached
VA and CT
twitter.com/copumpkin
Member for
6 years, 4 months
91 profile views
Last seen
Aug 14 '15 at 18:49
Communities
(11)
Stack Overflow
2.1k
2.1k
8
19
Mathematics
148
148
4
MathOverflow
137
137
5
Server Fault
101
101
1
Seasoned Advice
101
101
1
View network profile →
Top Network Posts
27
Can I zip more than two lists together in Scala?
20
How to make a type with restrictions
17
Algebraically interpreting polymorphism
14
Recursion Schemes in Agda
10
terminal sudo command
9
Is there a data structure for DAGs that supports efficient edits?
9
Monads as adjunctions
View more network posts →
Top Tags
(11)
lo.logic
Score
0
Posts
2
Posts %
50
proofassistants
Score
0
Posts
1
inequalities
Score
0
Posts
1
gr.grouptheory
Score
0
Posts
1
prooftheory
Score
0
Posts
1
st.statistics
Score
0
Posts
1
View all tags →
Top Posts
(4)
All
Questions
Answers

Votes
Newest
3
Proving inequalities over algebraic structures
aug 3 '10
3
Realclosed fields minus existentials for Presburgerlike power and multiplication?
jan 27 '11
0
Statistical calculations over algebraic structures
jul 17 '11
0
An example of a beautiful proof that would be accessible at the high school level?
sep 8 '11
Badges
(5)
Gold
—
Silver
—
Bronze
5
Rarest
Scholar
aug 28 '10
Supporter
aug 6 '10
Editor
aug 5 '10
MathOverflow works best with JavaScript enabled