Archival Literature
Papers at International, Peer-Reviewed Conferences
- [1]
M. Iancu, M. Kohlhase, and C. Prodescu (2014)
Representing, archiving, and searching the space of mathematical knowledge.
In Mathematical software - ICMS 2014 - 4th international congressMathematical Software - ICMS 2014 - 4th International Congress, H. Hong and C. Yap (Eds.),
LNCS, Vol. 8592, pp. 26–30.
External Links: Document,
Link
Cited by: p1.
- [3]
M. Kohlhase, C. Prodescu, and C. Liguda (2013)
XLSearch: a search engine for spreadsheets.
In Symp. of the european spreadsheet risks interest group (EuSpRIG 2013)Symp. of the European Spreadsheet Risks Interest Group (EuSpRIG 2013),
External Links: Link
Cited by: p1.
- [2]
M. Kohlhase, B. A. Matican, and C. C. Prodescu (2012)
MathWebSearch 0.5 – Scaling an Open Formula Search Engine.
In Intelligent computer mathematicsIntelligent Computer Mathematics, J. Jeuring, J. A. Campbell, J. Carette, G. Dos Reis, P. Sojka, M. Wenzel, and V. Sorge (Eds.),
LNAI, pp. 342–357.
External Links: Link
Cited by: p1.
Gray Literature
Papers at Peer-Reviewed Workshops
- [1]
R. Hambasan, M. Kohlhase, and C. Prodescu (2014)
MathWebSearch at NTCIR-11.
In NTCIR workshop 11 meetingNTCIR 11 Conference, N. Kando, H. Joho, and K. Kishida (Eds.),
pp. 114–119.
External Links: Link
Cited by: p1.
- [2]
M. Kohlhase, C. Prodescu, and C. Liguda (2013)
XLSearch: a search engine for spreadsheets.
In Symp. of the european spreadsheet risks interest group (EuSpRIG 2013)Symp. of the European Spreadsheet Risks Interest Group (EuSpRIG 2013),
External Links: Link
Cited by: p1.
- [3]
M. Kohlhase and C. Prodescu (2013)
MathWebSearch at NTCIR-10.
In NTCIR workshop 10 meetingNTCIR Workshop 10 Meeting, N. Kando and K. Kishida (Eds.),
pp. 675–679.
External Links: Link
Cited by: p1.
- [4]
C. C. Prodescu and M. Kohlhase (2011-09)
MathWebSearch 0.5 - open formula search engine.
In Wissens- und erfahrungsmanagement LWA (lernen, wissensentdeckung und adaptivität) conference proceedingsWissens- und Erfahrungsmanagement LWA (Lernen, Wissensentdeckung und Adaptivität) Conference Proceedings,
External Links: Link
Cited by: p1.
Technical Reports
- [1]
M. Kohlhase and C. Prodescu
MathWebSearch manual.
Web Manual
Jacobs University.
External Links: Link
Cited by: p1.