Concrete Tetrahedron Symbolic Sums, Recurrence Equations, Generating Functions, Asymptotic Estimates Kauers Manuel Heftet / 2010 / Engelsk
Towards Mechanized Mathematical Assistants 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings Kauers Manuel Heftet / 2007 / Engelsk
Mathematical Software – ICMS 2018 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings Davenport James H. Heftet / 2018 / Engelsk
