Formula Semantification and Automated Relation Finding in the On-Line Encyclopedia for Integer Sequences

DOI10.1007/978-3-319-42432-3_60zbMath1434.68661WikidataQ57389298 ScholiaQ57389298MaRDI QIDQ2819266

Michael Kohlhase, Enxhell Luzhnica

Publication date: 28 September 2016

Published in: Mathematical Software – ICMS 2016 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-42432-3_60

Mathematics Subject Classification ID

11B83: Special sequences and polynomials

68V30: Mathematical knowledge management

68V35: Digital mathematics libraries and repositories

Uses Software

• SageMath
• MathWebSearch
• OMDoc
• OEIS
• GitHub