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]
@inproceedings{LuzhnicaIK15, title = {Importing the OEIS Library Into OMDoc}, author = {Enxhell Luzhnica and Mihnea Iancu and Michael Kohlhase}, year = {2015}, url = {http://ceur-ws.org/Vol-1458/F13_CRC73_Luzhnica.pdf}, researchr = {https://researchr.org/publication/LuzhnicaIK15}, cites = {0}, citedby = {0}, pages = {296-303}, booktitle = {Proceedings of the LWA 2015 Workshops: KDML, FGWM, IR, and FGDB, Trier, Germany, October 7-9, 2015}, editor = {Ralph Bergmann and Sebastian Görg and Gilbert Müller}, volume = {1458}, series = {CEUR Workshop Proceedings}, publisher = {CEUR-WS.org}, }