Skip to main content
MathOverflow
darij grinberg's user avatar
darij grinberg's user avatar
darij grinberg's user avatar
darij grinberg
  • Member for 16 years, 3 months
  • Last seen this week
Profile Activity

Stats

35,923
reputation
1.8m
reached
292
answers
167
questions
Communities
View all

About

Associate professor at Drexel University, 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
126
silver badges
272
bronze badges

Top tags

View all tags
401
Score
112
Posts
24
Posts %
240
Score
62
Posts
14
Posts %
179
Score
34
Posts
7
Posts %
157
Score
82
Posts
18
Posts %
100
Score
42
Posts
9
Posts %
97
Score
27
Posts
6
Posts %

Top posts

View all questions and answers
105
What are some examples of colorful language in serious mathematics papers?
Aug 23, 2011
86
Most harmful heuristic?
Apr 25, 2010
83
Wanted: a "Coq for the working mathematician"
Jan 28, 2014
70
How to be rigorous about combinatorial algorithms?
Aug 27, 2018
60
How to make Ext and Tor constructive?
Jan 3, 2011
58
Why doesn't mathematics collapse even though humans quite often make mistakes in their proofs?
Aug 18, 2019
54
How to constructively/combinatorially prove Schur-Weyl duality?
Nov 24, 2016
53
Errata for Fulton's "Young tableaux"
Oct 14, 2023
53
Function extensionality: does it make a difference? why would one keep it out of the axioms?
Jan 31, 2014
47
Putnam 2020 inequality for complex numbers in the unit circle
Sep 7, 2021

Top Meta posts

3
11
40
Catering to professional appearance a bit much?
26
Anonymity Policy
23
Should this site be "a shortcut to substitute for literature searches"?
21
How does one cite a MO post with an anonymous author?
15
Public dumps for mathoverflow?

Top network posts

View all network posts
98
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?
36
How future-proof is the arXiv license?