251
reputation
1
9

hivert

I'm a researcher in discrete mathematics / combinatorics / theoretical computer science. I'm also interested in formalized mathematics. I'm teaching algorithms and programming languages. I'm a developer of Sage http://www.sagemath.org and Sage-Combinat http://combinat.sagemath.org/

7
answers
0
questions
~5k
people reached

Top tags (18)

Score 4
Posts 1
Posts % 14
Score 4
Posts 1
Score 4
Posts 1
Score 4
Posts 1
Score 4
Posts 1
Score 3
Posts 1

Top posts (7) All Questions Answers | Votes Newest

Badges (10)

Gold

Silver

1

Rarest

Bronze

9

Rarest