darij grinberg
Apparently, this user prefers to keep an air of mystery about them.
7
answers
2
questions
~6k
people reached
 Karlsruhe (home), Munich (until summer 2011), Cambridge/MA (2011)
 mit.edu/~darij/www
 Member for 5 years, 11 months
 39 profile views
 Last seen Nov 27 at 8:16
Communities (9)
Top Network Posts
 61Most harmful heuristic?
 46Wanted: a "Coq for the working mathematician"
 30Chain homotopy: Why du+ud and not du+vd?
 30What motivates modern algebraic geometry for a combinatorial/constructive algebraist?
 29Generalization of Tamarkin's ARO 1993, final round, problem 10/8: still a conjecture?
 29How to make Ext and Tor constructive?
 28"Nyldon words": understanding a class of words factorizing the free monoid increasingly
 View more network posts →
Top Tags (12)
discussion
Score 55
Posts 4
Posts % 44
moderation
Score 23
Posts 1
allowedquestions
Score 18
Posts 1
Badges (18)
Gold
—

Silver
5
Rarest

Bronze
13
Rarest
