Abstract
In the frame of the work of the Working Group “Global Digital Mathematical Library”, Jim Pitman proposed Aart Stam’s collection of combinatorial identities as a benchmark for “digitizing” mathematical knowledge. This collection seems to be a challenge for “digitization” because of its size (1300 pages in a .pdf file) and because of the fact that, for the most part, it is hand-written. However, after an in-depth analysis, it turns out that the real challenges are of mathematical and logical nature. In this talk we discuss what digitization of such a piece of mathematics means and report on various tools that may help in this endeavor. The tools range from technical tools for typing formulae all the way to sophisticated algebraic and reasoning algorithms. The experiments for applying these tools to Stam’s collection are currently carried out by two of the working groups at RISC.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Buchberger, B., Lichtenberger, F.: Mathematics for Computer Scientists. Springer, Heidelberg (1980). (in German)
Buchberger, B., Mathe is meta. In: Invited Talk at the Summer School “Summation, Integration and Special Functions in Quantum Field Theory”, 9–13 July. RISC. Johannes Kepler University, Castle of Hagenberg, Austria (2012)
Kauers, M., Paule, P.: The Concrete Tetrahedron. Texts and Monographs in Symbolic Computation. Springer, Vienna (2011)
Maletzky, A.: Formalization of Gröbner Bases Theory in Theorema (working title). Ph.D. thesis, July 2016, to appear
Pitman, J.: Personal Communcation to the Working Group “Global Digital Math Library”, December 2015
Risch, R.H.: The problem of integration in finite terms. Trans. Am. Math. Soc. 139, 167–189 (1969)
Stam, A.: Binomial Identities with Old-fashioned Proofs, Manuscript, University of Groningen (2012)
Acknowledgements
The work described in this talk is carried out in a team at RISC consisting of B. Buchberger, C. Koutschan, A. Maletzky, P. Paule, C. Raab, S. Radu, C. Schneider, and W. Windsteiger.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this paper
Cite this paper
Buchberger, B. (2016). Stam’s Identities Collection: A Case Study for Math Knowledge Bases. In: Greuel, GM., Koch, T., Paule, P., Sommese, A. (eds) Mathematical Software – ICMS 2016. ICMS 2016. Lecture Notes in Computer Science(), vol 9725. Springer, Cham. https://doi.org/10.1007/978-3-319-42432-3_55
Download citation
DOI: https://doi.org/10.1007/978-3-319-42432-3_55
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-42431-6
Online ISBN: 978-3-319-42432-3
eBook Packages: Computer ScienceComputer Science (R0)