hivert

Orsay, France

https://www.lri.fr/~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/

Top Answers
1 2