MathOverflow
darij grinberg's user avatar
darij grinberg's user avatar
darij grinberg's user avatar
darij grinberg
  • Member for 13 years, 11 months
  • Last seen this week
Profile Activity
Stats
32,732
reputation
1.5m
reached
264
answers
155
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
3
gold badges
111
silver badges
240
bronze badges
Top tags
View all tags
359
Score
99
Posts
24
Posts %
226
Score
58
Posts
14
Posts %
176
Score
33
Posts
8
Posts %
125
Score
64
Posts
15
Posts %
112
Score
23
Posts
5
Posts %
96
Score
39
Posts
9
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
98
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
63
How to be rigorous about combinatorial algorithms?
Aug 27, 2018
question
57
How to make Ext and Tor constructive?
Jan 3, 2011
answer
56
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
47
How to constructively/combinatorially prove Schur-Weyl duality?
Nov 24, 2016
question
45
Putnam 2020 inequality for complex numbers in the unit circle
Sep 7, 2021
question
43
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?
14
Public dumps for mathoverflow?
Top network posts
View all network posts
80
Undergrad-level combinatorics texts easier than Stanley's Enumerative Combinatorics?
59
What's the meaning of "Topics in ... "?
48
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?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.