MathOverflow
rgrig's user avatar
rgrig's user avatar
rgrig's user avatar
rgrig
  • Member for 14 years, 6 months
  • Last seen more than a month ago
Profile Activity
Stats
1,345
reputation
364k
reached
12
answers
3
questions
Communities
View all
About

program verification, mostly

Badges
View all badges
1
gold badge
16
silver badges
19
bronze badges
Top tags
View all tags
13
Score
2
Posts
13
Posts %
11
Score
1
Posts
7
Posts %
11
Score
1
Posts
7
Posts %
11
Score
1
Posts
7
Posts %
8
Score
1
Posts
7
Posts %
7
Score
3
Posts
20
Posts %
Top posts
View all questions and answers
question
61
Is the Jaccard distance a distance?
Mar 13, 2010
question
61
How do you approach your child's math education? [closed]
Mar 31, 2010
answer
33
Why do so many textbooks have so much technical detail and so little enlightenment?
Feb 17, 2010
answer
27
What is convolution intuitively?
Mar 21, 2010
answer
11
How Does My Radio Work?
Jun 26, 2012
answer
8
Finding all paths on undirected graph
Mar 18, 2010
answer
7
Math puzzles for dinner
Jun 24, 2010
answer
5
Math puzzles for dinner
Jun 24, 2010
answer
5
Digraph intermediate connectivity
Jul 5, 2010
answer
3
Computer algebra errors
Mar 18, 2010
Top network posts
View all network posts
57
For which algorithms is there a large gap between the theoretical analysis and reality?
48
Algorithms from the Book
44
What's new in purely functional data structures since Okasaki?
43
Do you get DFS if you change the queue to a stack in a BFS implementation?
38
Graph searching: Breadth-first vs. depth-first