Iancu M, Kohlhase M, Prodescu CC (2014)
Publication Status: Published
Publication Type: Conference contribution, Original article
Publication year: 2014
Publisher: Springer Verlag
Pages Range: 26-30
Event location: Seoul
ISBN: 9783662441985
DOI: 10.1007/978-3-662-44199-2_5
APA:
Iancu, M., Kohlhase, M., & Prodescu, C.C. (2014). Representing, archiving, and searching the space of mathematical knowledge. In Proceedings of the 4th International Congress on Mathematical Software, ICMS 2014 (pp. 26-30). Seoul: Springer Verlag.
MLA:
Iancu, Mihnea, Michael Kohlhase, and Corneliu Claudiu Prodescu. "Representing, archiving, and searching the space of mathematical knowledge." Proceedings of the 4th International Congress on Mathematical Software, ICMS 2014, Seoul Springer Verlag, 2014. 26-30.
BibTeX: Download