201
reputation
1
1

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/

  • Orsay, France
  • Member for 7 years, 2 months
  • 0 profile views
  • Last seen Dec 22 '17 at 23:12