馆藏书目查询系统 - 上海图书馆

Author Results for Kauers Manuel.

Cover is for reference only

Towards mechanized mathematical assistants：14th symposium, Calculemus 2007, 6th international conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007 : proceedings

Corporate Authors: Calculemus 2007 (2007 Hagenberg im Mühlkreis, Austria); MKM 2007 (2007 Hagenberg im Mühlkreis, Austria) (Hagenberg im Mühlkreis, Austria)); NetLibrary, Inc.
Group Author: Kauers Manuel.
Published: Springer,
Publication Dates: c2007.

Book

Cover is for reference only

The concrete tetrahedron：symbolic sums, recurrence equations, generating functions, asymptotic estimates

Main Authors: Kauers Manuel.
Corporate Authors: SpringerLink (Online service)
Group Author: Paule Peter.
Published: Springer,
Publication Dates: c2011.

Book

Narrow Search