Enxhell Luzhnica, Mihnea Iancu, Michael Kohlhase. Importing the OEIS Library Into OMDoc. In Ralph Bergmann, Sebastian Görg, Gilbert Müller, editors, Proceedings of the LWA 2015 Workshops: KDML, FGWM, IR, and FGDB, Trier, Germany, October 7-9, 2015. Volume 1458 of CEUR Workshop Proceedings, pages 296-303, CEUR-WS.org, 2015. [doi]
Abstract is missing.