메뉴 건너뛰기




Volumn 4573 LNAI, Issue , 2007, Pages 342-355

An approach to mathematical search through query formulation and data normalization

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; DATA STRUCTURES; KNOWLEDGE MANAGEMENT; QUERY PROCESSING; TREES (MATHEMATICS); WORLD WIDE WEB;

EID: 38049029617     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-73086-6_27     Document Type: Conference Paper
Times cited : (52)

References (18)
  • 1
    • 84874614449 scopus 로고    scopus 로고
    • Apache Foundation
    • Apache Foundation: Lucene Project, http://lucene.apache.org
    • Lucene Project
  • 2
    • 38049043144 scopus 로고    scopus 로고
    • Apache Foundation
    • Apache Foundation: Nutch Project, http://lucene.apache.org/nutch
    • Nutch Project
  • 3
    • 33745137062 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • Cornell University Library
    • Cornell University Library: The arXiv, http://arxiv.org
    • The arXiv
  • 12
    • 0037257106 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.