MathWebSearch 0.5: Scaling an open formula search engine

Kohlhase M, Matican B, Prodescu CC (2012)


Publication Status: Published

Publication Type: Conference contribution, Original article

Publication year: 2012

Pages Range: 342-357

Event location: Bremen

ISBN: 9783642313738

DOI: 10.1007/978-3-642-31374-5_23

Authors with CRIS profile

How to cite

APA:

Kohlhase, M., Matican, B., & Prodescu, C.C. (2012). MathWebSearch 0.5: Scaling an open formula search engine. In Proceedings of the Int. Conf. on Artificial Intelligence and Symbolic Computation, AISC 2012, Symp. on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2012, DML 2012, Conf. on Mathematical Knowledge Management, MKM 2012, Part of CICM 2012 (pp. 342-357). Bremen.

MLA:

Kohlhase, Michael, Bogdan Matican, and Corneliu Claudiu Prodescu. "MathWebSearch 0.5: Scaling an open formula search engine." Proceedings of the Int. Conf. on Artificial Intelligence and Symbolic Computation, AISC 2012, Symp. on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2012, DML 2012, Conf. on Mathematical Knowledge Management, MKM 2012, Part of CICM 2012, Bremen 2012. 342-357.

BibTeX: Download