Formula Semantification and Automated Relation Finding in the On-Line Encyclopedia for Integer Sequences
From MaRDI portal
Publication:2819266
DOI10.1007/978-3-319-42432-3_60zbMath1434.68661OpenAlexW2494222901WikidataQ57389298 ScholiaQ57389298MaRDI QIDQ2819266
Enxhell Luzhnica, Michael Kohlhase
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
Special sequences and polynomials (11B83) Mathematical knowledge management (68V30) Digital mathematics libraries and repositories (68V35)
Related Items
Uses Software
Cites Work