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

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

Mathematics Subject Classification ID

Special sequences and polynomials (11B83) Mathematical knowledge management (68V30) Digital mathematics libraries and repositories (68V35)

Related Items (1)

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

Uses Software

• SageMath
• MathWebSearch
• OMDoc
• OEIS
• GitHub

Cites Work

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

This page was built for publication: Formula Semantification and Automated Relation Finding in the On-Line Encyclopedia for Integer Sequences