Home Publications Research Grants Inventions & Patents Awards Additional Research Activities Faculties & Institutions Research Areas

Formula semantification and automated relation finding in the on-line encyclopedia for integer sequences

Luzhnica E, Kohlhase M (2016)

---

Publication Status: Published

Publication Type: Conference contribution, Original article

Publication year: 2016

Publisher: Springer Verlag

Book Volume: 9725

Pages Range: 467-475

ISBN: 9783319424316

DOI: 10.1007/978-3-319-42432-3_60

Authors with CRIS profile

How to cite

APA:

Luzhnica, E., & Kohlhase, M. (2016). Formula semantification and automated relation finding in the on-line encyclopedia for integer sequences. In Proceedings of the 5th International Conference on Mathematical Software, ICMS 2016 (pp. 467-475). Springer Verlag.

MLA:

Luzhnica, Enxhell, and Michael Kohlhase. "Formula semantification and automated relation finding in the on-line encyclopedia for integer sequences." Proceedings of the 5th International Conference on Mathematical Software, ICMS 2016 Springer Verlag, 2016. 467-475.

BibTeX: Download