darij grinberg

Member for 15 years
Last seen this week

GitHub
cip.ifi.lmu.de/~grinberg
Karlsruhe (home), Cambridge/MA (2011-2016), Minneapolis (2016-2019), Philadelphia (2019-)

Summary

Reputation

33,784

33.8k
31.1k
28.4k

2021
2022
2023
2024

Next tag badge

nt.number-theory

176/100 score

18/20 answers

Badges

4

117

253

Newest

Nice Question

Next badge

99/100

Proofreader

Impact

~1.6m

people reached

268

helpful flags

4,411

votes cast

Answers

View all 270 answers

99

What are some examples of colorful language in serious mathematics papers?

Aug 23, 2011

85

Most harmful heuristic?

Apr 25, 2010

57

Why doesn't mathematics collapse even though humans quite often make mistakes in their proofs?

Aug 18, 2019

33

Most memorable titles

Oct 31, 2010

32

Books you would like to read (if somebody would just write them…)

Jan 24, 2011

Questions

View all 158 questions

81

Wanted: a "Coq for the working mathematician"

Jan 28, 2014

64

How to be rigorous about combinatorial algorithms?

Aug 27, 2018

58

How to make Ext and Tor constructive?

Jan 3, 2011

52

Function extensionality: does it make a difference? why would one keep it out of the axioms?

Jan 31, 2014

49

How to constructively/combinatorially prove Schur-Weyl duality?

Nov 24, 2016

Tags

View all 271 tags

co.combinatorics

372

Score

101

posts

linear-algebra

232

Score

59

posts

nt.number-theory

176

Score

33

posts

rt.representation-theory

143

Score

68

posts

reference-request

118

Score

26

posts

Reputation

+10

$2$-adic valuation of Schur $P$-functions in the power-sum basis

+10

Are roots of transcendental elements transcendental?

+10

Covering the integers by two kinds of three-element sets (IMO Shortlist 2001 problem C4): extensions and generalizations?

+10

Chain homotopy: Why du+ud and not du+vd?

Badges

View all badges

4

gold badges

Socratic

Feb 28, 2015
Great Answer

Mar 7
Electorate

Jun 25, 2013

117

silver badges

Archaeologist

Aug 31, 2020
Convention

Aug 15, 2019
Strunk & White

Sep 1, 2013

253

bronze badges

linear-algebra

Mar 11, 2015
rt.representation-theory

May 18, 2019
co.combinatorics

Aug 24, 2015

Accounts

View all 18 accounts

33.8k
4
117
253

18.4k
4
47
91

6,882
1
26
43

429
1
4
14

196
8

Active bounties (0)

This user has no active bounties

Votes cast

4,139

upvotes

272

downvotes

2,067

question votes

2,344

answer votes

6

this month

1

this week