Florian Haftmann

http://isabelle.in.tum.de/~haftmann

2014

Discrete Summation
by Florian Haftmann

13 Apr

2010

Executable Multivariate Polynomials
by Christian Sternagel, René Thiemann, Alexander Maletzky, Fabian Immler, Florian Haftmann, Andreas Lochbihler and Alexander Bentkamp

10 Aug