201
reputation
1
5

hivert
Loading…

I'm a researcher in discrete mathematics / combinatorics / theoretical computer science. I'm also interested in formalized mathematics as well has high performance computing. I'm teaching algorithms and programming languages. I'm a developer of Sage http://www.sagemath.org

2
answers
0
questions
~729
people reached

Top tags (8)

Score 5
Posts 1
Posts % 50
Score 5
Posts 1
Score 5
Posts 1
Score 5
Posts 1
Score 2
Posts 1
Score 2
Posts 1

Top posts (2)

Badges (6)

Gold

Silver

1

Rarest

Bronze

5

Rarest