Paper Info
Title
Stam's Identities Collection: A Case Study for Math Knowledge Bases.
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.
Year
DOI
Venue
2016
10.1007/978-3-319-42432-3_55
Lecture Notes in Computer Science
Field
DocType
Volume
Working group,Digitization,Algebraic number,Parse tree,Computer science,Theoretical computer science,Predicate logic
Conference
9725
ISSN
Citations 
PageRank 
0302-9743
0
0.34
References 
Authors
0
1
Name
Order
Citations
PageRank
Bruno Buchberger1847168.26