Matches in SemOpenAlex for { <https://semopenalex.org/work/W2506274100> ?p ?o ?g. }
Showing items 1 to 58 of
58
with 100 items per page.
- W2506274100 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." @default.
- W2506274100 created "2016-08-23" @default.
- W2506274100 creator A5017274120 @default.
- W2506274100 date "2016-01-01" @default.
- W2506274100 modified "2023-09-26" @default.
- W2506274100 title "Stam’s Identities Collection: A Case Study for Math Knowledge Bases" @default.
- W2506274100 cites W2140443967 @default.
- W2506274100 cites W4243410516 @default.
- W2506274100 doi "https://doi.org/10.1007/978-3-319-42432-3_55" @default.
- W2506274100 hasPublicationYear "2016" @default.
- W2506274100 type Work @default.
- W2506274100 sameAs 2506274100 @default.
- W2506274100 citedByCount "0" @default.
- W2506274100 crossrefType "book-chapter" @default.
- W2506274100 hasAuthorship W2506274100A5017274120 @default.
- W2506274100 hasConcept C126042441 @default.
- W2506274100 hasConcept C13280743 @default.
- W2506274100 hasConcept C185798385 @default.
- W2506274100 hasConcept C205649164 @default.
- W2506274100 hasConcept C2779308522 @default.
- W2506274100 hasConcept C31972630 @default.
- W2506274100 hasConcept C41008148 @default.
- W2506274100 hasConcept C76155785 @default.
- W2506274100 hasConceptScore W2506274100C126042441 @default.
- W2506274100 hasConceptScore W2506274100C13280743 @default.
- W2506274100 hasConceptScore W2506274100C185798385 @default.
- W2506274100 hasConceptScore W2506274100C205649164 @default.
- W2506274100 hasConceptScore W2506274100C2779308522 @default.
- W2506274100 hasConceptScore W2506274100C31972630 @default.
- W2506274100 hasConceptScore W2506274100C41008148 @default.
- W2506274100 hasConceptScore W2506274100C76155785 @default.
- W2506274100 hasLocation W25062741001 @default.
- W2506274100 hasOpenAccess W2506274100 @default.
- W2506274100 hasPrimaryLocation W25062741001 @default.
- W2506274100 hasRelatedWork W109868556 @default.
- W2506274100 hasRelatedWork W1481687229 @default.
- W2506274100 hasRelatedWork W2086329789 @default.
- W2506274100 hasRelatedWork W2131762195 @default.
- W2506274100 hasRelatedWork W2140583545 @default.
- W2506274100 hasRelatedWork W2336920144 @default.
- W2506274100 hasRelatedWork W2342690234 @default.
- W2506274100 hasRelatedWork W2417291013 @default.
- W2506274100 hasRelatedWork W2758256806 @default.
- W2506274100 hasRelatedWork W2889867253 @default.
- W2506274100 hasRelatedWork W2943910961 @default.
- W2506274100 hasRelatedWork W3016048182 @default.
- W2506274100 hasRelatedWork W3035513392 @default.
- W2506274100 hasRelatedWork W3143722652 @default.
- W2506274100 hasRelatedWork W3190866889 @default.
- W2506274100 hasRelatedWork W61544487 @default.
- W2506274100 hasRelatedWork W765237808 @default.
- W2506274100 hasRelatedWork W1691032207 @default.
- W2506274100 hasRelatedWork W2098212446 @default.
- W2506274100 hasRelatedWork W2506791628 @default.
- W2506274100 isParatext "false" @default.
- W2506274100 isRetracted "false" @default.
- W2506274100 magId "2506274100" @default.
- W2506274100 workType "book-chapter" @default.