Skip to main content
MathOverflow
darij grinberg's user avatar
darij grinberg's user avatar
darij grinberg's user avatar
darij grinberg
  • Member for 15 years
  • Last seen this week
Profile Activity
Stats
33,784
reputation
1.6m
reached
270
answers
158
questions
Communities
View all
About

Assistant professor at Drexel University (since Sep 2019), working in algebraic combinatorics and dabbling in category theory and TCS.

Personal website: https://www.cip.ifi.lmu.de/~grinberg/ (mirrored at https://darijgrinberg.gitlab.io/ ).

Badges
View all badges
4
gold badges
117
silver badges
253
bronze badges
Top tags
View all tags
372
Score
101
Posts
24
Posts %
232
Score
59
Posts
14
Posts %
176
Score
33
Posts
8
Posts %
143
Score
68
Posts
16
Posts %
113
Score
23
Posts
5
Posts %
97
Score
40
Posts
9
Posts %
Top posts
View all questions and answers
answer
99
What are some examples of colorful language in serious mathematics papers?
Aug 23, 2011
answer
85
Most harmful heuristic?
Apr 25, 2010
question
81
Wanted: a "Coq for the working mathematician"
Jan 28, 2014
question
64
How to be rigorous about combinatorial algorithms?
Aug 27, 2018
question
58
How to make Ext and Tor constructive?
Jan 3, 2011
answer
57
Why doesn't mathematics collapse even though humans quite often make mistakes in their proofs?
Aug 18, 2019
question
52
Function extensionality: does it make a difference? why would one keep it out of the axioms?
Jan 31, 2014
question
49
How to constructively/combinatorially prove Schur-Weyl duality?
Nov 24, 2016
question
46
Putnam 2020 inequality for complex numbers in the unit circle
Sep 7, 2021
question
44
What motivates modern algebraic geometry for a combinatorial/constructive algebraist?
Oct 1, 2011
Top Meta posts
3
10
41
Catering to professional appearance a bit much?
25
Anonymity Policy
22
Should this site be "a shortcut to substitute for literature searches"?
20
How does one cite a MO post with an anonymous author?
15
Public dumps for mathoverflow?
Top network posts
View all network posts
85
Undergrad-level combinatorics texts easier than Stanley's Enumerative Combinatorics?
59
What's the meaning of "Topics in ... "?
49
A paper review I've undertaken turning out to be harder than expected
37
Why does Friedberg say that the role of the determinant is less central than in former times?
33
How future-proof is the arXiv license?