{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,11]],"date-time":"2025-01-11T02:10:02Z","timestamp":1736561402084,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":40,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540371045"},{"type":"electronic","value":"9783540371069"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11812289_2","type":"book-chapter","created":{"date-parts":[[2006,9,29]],"date-time":"2006-09-29T08:23:44Z","timestamp":1159518224000},"page":"2-16","source":"Crossref","is-referenced-by-count":18,"title":["Roles of Math Search in Mathematics"],"prefix":"10.1007","author":[{"given":"Abdou","family":"Youssef","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"2_CR1","unstructured":"The ActiveMath Project, http:\/\/www.mathweb.org\/activemath\/"},{"key":"2_CR2","unstructured":"MathSciNe. American Mathematical Society (AMS), http:\/\/www.ams.org\/mathscinet"},{"key":"2_CR3","unstructured":"Asperti, A., et al.: Mathematical Knowledge Management in HELM [Italy]. In: First International Workshop on Mathematical Knowledge Management, Schloss Hagenberg, Austria, September 24-26 (2001)"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"Benzm\u00fcller, C., et al.: \u03a9: Towards a Mathematical Assistant. In: Conference on Automated Deduction (1997)","DOI":"10.1007\/3-540-63104-6_23"},{"key":"2_CR5","unstructured":"Buchberger, B.: Mathematical Knowledge Management Using Theorema. In: First International Workshop on Mathematical Knowledge Management, Schloss Hagenberg, Austria, September 24-26 (2001)"},{"key":"2_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/BFb0012826","volume-title":"9th International Conference on Automated Deduction","author":"A. Bundy","year":"1988","unstructured":"Bundy, A.: The Use of Explicit Plans to Guide Inductive Proofs. In: Lusk, E.\u2018., Overbeek, R. (eds.) CADE 1988. LNCS, vol.\u00a0310, pp. 111\u2013120. Springer, Heidelberg (1988)"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Bundy, A.: Proof Planning. In: Drabble, B. (ed.) Proceedings of the 3rd International Conference on AI Planning Systems, pp. 261\u2013267 (1996)","DOI":"10.1049\/ic:19961101"},{"key":"2_CR8","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1007\/978-3-540-45085-6_22","volume-title":"Automated Deduction \u2013 CADE-19","author":"L. Dixon","year":"2003","unstructured":"Dixon, L., Fleuriot, J.D.: IsaPlanner: A prototype proof planner in Isabelle. In: Baader, F. (ed.) CADE 2003. LNCS (LNAI), vol.\u00a02741, pp. 279\u2013283. Springer, Heidelberg (2003)"},{"key":"2_CR9","unstructured":"Dixon, L., Jamnik, M., Pollet, M.: Proof planning: Comparing \u03a9mega, \u03bbClam and Isa-Planner. In: Bennett, B. (ed.) ARW 11, University of Leeds, School of Computing, 2004. Held in Association with the AISB 2004 Convention, pp. 50\u201352 (2004)"},{"key":"2_CR10","volume-title":"International symposium on Symbolic and algebraic computation","author":"T.H. Einwohner","year":"1995","unstructured":"Einwohner, T.H., Fateman, R.: Searching techniques for integral tables. In: International symposium on Symbolic and algebraic computation, ACM, New York (1995), http:\/\/torte.cs.berkeley.edu:8010\/tilu"},{"key":"2_CR11","unstructured":"Guidi., F.: Searching and Retrieving in Content-based Repositories of Formal Mathematical Knowledge. Ph.D. Thesis in Computer Science, University of Bologna, March 2003. Technical report UBLCS (2003-06)"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Guidi, F., Schena, I.: A Query Language for a Metadata Framework about Mathematical Resources. In: The 2nd International Conf. Mathematical Knowledge Management, Bertinoro, Italy (February 2003)","DOI":"10.1007\/3-540-36469-2_9"},{"key":"2_CR13","unstructured":"Hardin, T.: Mathematical Knowledge Management in FOC [France]. In: First International Workshop on Mathematical Knowledge Management, Schloss Hagenberg, Austria, September 24-26 (2001)"},{"key":"2_CR14","unstructured":"An Hypertextual Electronic Library of Mathematics, http:\/\/helm.cs.unibo.it\/"},{"key":"2_CR15","unstructured":"Jahrbuch Database, http:\/\/www.emis.de\/MATH\/JFM\/JFM.html"},{"issue":"4","key":"2_CR16","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1006\/jsco.2000.0468","volume":"23","author":"M. Kohlhase","year":"2001","unstructured":"Kohlhase, M.: MBase: Representing Knowledge and Context for the Integration of Mathematical Software Systems. Journal of Symbolic Computation\u00a023(4), 365\u2013402 (2001)","journal-title":"Journal of Symbolic Computation"},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"Leake, D.B., Scherle, R.: Towards Context-Based Search Engine Selection. In: IUI 2001, Santa Fe, New Mexico, USA, January 14-17 (2001)","DOI":"10.1145\/359784.360301"},{"key":"2_CR18","doi-asserted-by":"crossref","unstructured":"Lozier, D.W.: The DLMF Project: A New Initiative in Classical Special Functions. In: International Workshop on Special Functions - Asymptotics, Harmonic Analysis and Mathematical Physics, Hong Kong, June 21-25 (1999)","DOI":"10.1142\/9789812792303_0017"},{"key":"2_CR19","unstructured":"Lozier, D.W., Miller, B.R., Saunders, B.V.: Design of a Digital Mathematical Library for Science, Technology and Education. In: Proceedings of the IEEE Forum on Research and Technology Advances in Digital Libraries; IEEE ADL 1999, Baltimore, Maryland (May 1999)"},{"key":"2_CR20","unstructured":"MathWeb.org, http:\/\/www.mathweb.org\/"},{"key":"2_CR21","unstructured":"The OpenMath Standard (1998), http:\/\/www.openmath.org\/"},{"key":"2_CR22","unstructured":"MathML 2.0, a W3C Recommendation (October 2003), http:\/\/www.w3.org\/Math\/"},{"key":"2_CR23","unstructured":"MathDi (Mathematics Didactics Database), http:\/\/www.emis.de\/MATH\/DI\/"},{"key":"2_CR24","unstructured":"Mathematics Metadata, http:\/\/www.mathmetadata.org\/"},{"key":"2_CR25","unstructured":"The MathNet Project, http:\/\/www.math-net.de\/project\/"},{"key":"2_CR26","doi-asserted-by":"crossref","unstructured":"Melis, E., Siekmann, J.: Knowledge-Based Proof Planning. J. Artificial Intelligence (1999)","DOI":"10.1016\/S0004-3702(99)00076-4"},{"key":"2_CR27","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44957-4_43","volume-title":"Computational Logic - CL 2000","author":"E. Melis","year":"2000","unstructured":"Melis, E., Meier, A.: Proof Planning with Multiple Strategies. In: Palamidessi, C., Moniz Pereira, L., Lloyd, J.W., Dahl, V., Furbach, U., Kerber, M., Lau, K.-K., Sagiv, Y., Stuckey, P.J. (eds.) CL 2000. LNCS (LNAI), vol.\u00a01861, Springer, Heidelberg (2000)"},{"key":"2_CR28","unstructured":"Melis, E., et al.: ActiveMath: A Generic and Adaptive Web-Based Learning Environmen. Artifical Intelligence in Education\u00a04(12) (Winter) (2001)"},{"key":"2_CR29","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1023\/A:1022967814992","volume":"38","author":"B. Miller","year":"2003","unstructured":"Miller, B., Youssef, A.: Technical Aspects of the Digital Library of Mathematical Functions. Annals of Mathematics and Artificial Intelligence\u00a038, 121\u2013136 (2003)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"2_CR30","unstructured":"Mathematical Subject Classification. American Mathematical Society (MSC 2000), http:\/\/www.ams.org\/msc\/"},{"key":"2_CR31","unstructured":"MathWeb.org, http:\/\/www.mathweb.org\/"},{"key":"2_CR32","unstructured":"The Omega Group, http:\/\/www.ags.uni-sb.de\/~omega\/"},{"key":"2_CR33","unstructured":"Rudnicki, P., Trybulec, A.: Mathematical Knowledge Management in MIZAR. In: First International Workshop on Mathematical Knowledge Management, Schloss Hagenberg, Austria, September 24-26 (2001)"},{"key":"2_CR34","volume-title":"Introduction to Modern Information Retrieval","author":"G. Salton","year":"1993","unstructured":"Salton, G., McGill, M.J.: Introduction to Modern Information Retrieval. McGraw Hill, New York (1993)"},{"issue":"4","key":"2_CR35","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1002\/asi.4630260604","volume":"26","author":"T. Saracevic","year":"1975","unstructured":"Saracevic, T.: Relevance: A Review of and a Framework for the Thinking on the Notion. Journal of the American Society of Information Science\u00a026(4), 321\u2013343 (1975)","journal-title":"Journal of the American Society of Information Science"},{"key":"2_CR36","unstructured":"Theorist Interactive LiveMath, http:\/\/www.livemath.com\/"},{"key":"2_CR37","volume-title":"Introduction to Data Mining","author":"P.-N. Tan","year":"2006","unstructured":"Tan, P.-N., Steinbach, M., Kumar, V.: Introduction to Data Mining. Addison-Wesley, Reading (2006)"},{"key":"2_CR38","volume-title":"Modern information retrieval","author":"R. Baeza-Yates","year":"1999","unstructured":"Baeza-Yates, R., Ribeiro-Neto, B.: Modern information retrieval. Addison-Wesley, Reading (1999)"},{"key":"2_CR39","unstructured":"Youssef, A.: Information Search And Retrieval of Mathematical Contents: Issues And Methods. In: The proceedings of the ISCA 14th International Conference on Intelligent and Adaptive Systems and Software Engineering (IASSE-2005), Toronto, Canada, July 20-22 (2005)"},{"key":"2_CR40","unstructured":"Zentralblatt MATH database at European Mathematical Information Service (EMIS), http:\/\/www.emis.de\/ZMATH\/"}],"container-title":["Lecture Notes in Computer Science","Mathematical Knowledge Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11812289_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,11]],"date-time":"2025-01-11T01:50:27Z","timestamp":1736560227000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11812289_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540371045","9783540371069"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/11812289_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}