-
1
-
-
84874614449
-
-
Apache Foundation
-
Apache Foundation: Lucene Project, http://lucene.apache.org
-
Lucene Project
-
-
-
2
-
-
38049043144
-
-
Apache Foundation
-
Apache Foundation: Nutch Project, http://lucene.apache.org/nutch
-
Nutch Project
-
-
-
3
-
-
33745137062
-
A Content Based Mathematical Search Engine
-
Filliâtre, J.-C, Paulin-Mohring, C, Werner, B, eds, TYPES 2004, Springer, Heidelberg
-
Asperti, A., Guidi, F., Coen, C.S., Tassi, E., Zacchiroli, S.: A Content Based Mathematical Search Engine. In: Filliâtre, J.-C., Paulin-Mohring, C., Werner, B. (eds.) TYPES 2004. LNCS, vol. 3839, pp. 17-32. Springer, Heidelberg (2006)
-
(2006)
LNCS
, vol.3839
, pp. 17-32
-
-
Asperti, A.1
Guidi, F.2
Coen, C.S.3
Tassi, E.4
Zacchiroli, S.5
-
4
-
-
35048891602
-
-
Asperti, A., Selmi, M.: Efficient Retrieval of Mathematical Statements. In: Asperti, A., Bancerek, G., Trybulec, A. (eds.) MKM 2004. LNCS, 3119, pp. 17-31. Springer, Heidelberg (2004)
-
Asperti, A., Selmi, M.: Efficient Retrieval of Mathematical Statements. In: Asperti, A., Bancerek, G., Trybulec, A. (eds.) MKM 2004. LNCS, vol. 3119, pp. 17-31. Springer, Heidelberg (2004)
-
-
-
-
5
-
-
33749554626
-
-
Grzegorz, B.: Information Retrieval and Rendering with MML Query. In: Borwein, J.M., Farmer, W.M. (eds.) MKM 2006. LNCS (LNAI), 4108, pp. 266-279. Springer, Heidelberg (2006)
-
Grzegorz, B.: Information Retrieval and Rendering with MML Query. In: Borwein, J.M., Farmer, W.M. (eds.) MKM 2006. LNCS (LNAI), vol. 4108, pp. 266-279. Springer, Heidelberg (2006)
-
-
-
-
6
-
-
35248826131
-
-
Bancerek, G., Rudniki, P.: Information Retrieval in MML. In: Asperti, A., Buchberger, B., Davenport, J.H. (eds.) MKM 2003. LNCS, 2594, pp. 119-132. Springer, Heidelberg (2003)
-
Bancerek, G., Rudniki, P.: Information Retrieval in MML. In: Asperti, A., Buchberger, B., Davenport, J.H. (eds.) MKM 2003. LNCS, vol. 2594, pp. 119-132. Springer, Heidelberg (2003)
-
-
-
-
7
-
-
38049081366
-
-
Cairns, P.: Informalising Formal Mathematics: searching the mizar library with Latent Semantics. In: Asperti, A., Bancerek, G., Trybulec, A. (eds.) MKM 2004. LNCS, 3119, pp. 17-31. Springer, Heidelberg (2004)
-
Cairns, P.: Informalising Formal Mathematics: searching the mizar library with Latent Semantics. In: Asperti, A., Bancerek, G., Trybulec, A. (eds.) MKM 2004. LNCS, vol. 3119, pp. 17-31. Springer, Heidelberg (2004)
-
-
-
-
9
-
-
38049019560
-
-
Cornell University Library
-
Cornell University Library: The arXiv, http://arxiv.org
-
The arXiv
-
-
-
12
-
-
0037257106
-
-
Miller, B.R., Youssef, A.: Technical Aspects of the Digital Library of Mathematical Functions. In: Annals of Mathematics and Artificial Intelligence, 38(1-3), pp. 121-136. Springer, Netherlands (2003)
-
Miller, B.R., Youssef, A.: Technical Aspects of the Digital Library of Mathematical Functions. In: Annals of Mathematics and Artificial Intelligence, vol. 38(1-3), pp. 121-136. Springer, Netherlands (2003)
-
-
-
-
13
-
-
38049075495
-
-
Miller, B.: DLMF, LaTeXML and some lessons learned. In: The Evolution of Mathematical Communication in the Age of Digital Libraries, IMA Hot Topic Workshop (2006) http://www.ima.umn.edu/2006-2007/SW12.8-9.06/ abstracts.html#Miller-Bruce
-
Miller, B.: DLMF, LaTeXML and some lessons learned. In: The Evolution of Mathematical Communication in the Age of Digital Libraries, IMA "Hot Topic" Workshop (2006) http://www.ima.umn.edu/2006-2007/SW12.8-9.06/ abstracts.html#Miller-Bruce
-
-
-
-
14
-
-
17444391452
-
Using Language models for flat text queries in XML retrieval
-
Ogilvie, P., Callan, J.: Using Language models for flat text queries in XML retrieval. In: Proceedings of INEX 2003, pp. 12-18 (2003)
-
(2003)
Proceedings of INEX 2003
, pp. 12-18
-
-
Ogilvie, P.1
Callan, J.2
-
15
-
-
38049073499
-
Average Gain Ratio: A Simple Retrieval Performance Measure for Evaluation with Multiple Relevance Levels
-
Tetsuya, S.: Average Gain Ratio: A Simple Retrieval Performance Measure for Evaluation with Multiple Relevance Levels, ACM SIGIR (2003)
-
(2003)
ACM SIGIR
-
-
Tetsuya, S.1
-
16
-
-
0020848262
-
Extended Boolean Information Retrieval
-
Salton, G., Fox, E., Wu, H.: Extended Boolean Information Retrieval. Communication of the ACM 26(11), 1022-1036 (1983)
-
(1983)
Communication of the ACM
, vol.26
, Issue.11
, pp. 1022-1036
-
-
Salton, G.1
Fox, E.2
Wu, H.3
-
17
-
-
38049092285
-
Trott's Corner Mathematical Searching of The Wolfram Functions Site
-
Trott, M.: Trott's Corner Mathematical Searching of The Wolfram Functions Site. The Mathematica Journal 9(4), 713-726 (2005)
-
(2005)
The Mathematica Journal
, vol.9
, Issue.4
, pp. 713-726
-
-
Trott, M.1
|