Roles of math search in mathematics

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4108 LNAI, Issue , 2006, Pages 2-16

  Youssef, Abdou ^a  

^a George Washington University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

INFORMATION MANAGEMENT; METADATA; SEARCH ENGINES;

MATH SEARCH; MATH-AWARE FINE-GRAIN SEARCH; MATHEMATICAL KNOWLEDGE; PROOF DEVELOPMENT;

MATHEMATICAL TECHNIQUES;

EID: 33749559284     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11812289_2     Document Type: Conference Paper

References (40)

1. The ActiveMath Project, http://www.mathweb.org/activemath/
2. MathSciNe. American Mathematical Society (AMS). http://www.ams.org/ mathscinet
3. Asperti, A. et al: Mathematical Knowledge Management in HELM [Italy]. First International Workshop on Mathematical Knowledge Management, Schloss Hagenberg, Austria, September 24-26, 2001.
4. Benzmüller, C. et al: Ω: Towards a Mathematical Assistant, Conference on Automated Deduction, 1997.
5. Buchberger, B.: Mathematical Knowledge Management Using Theorema. First International Workshop on Mathematical Knowledge Management, Schloss Hagenberg, Austria, September 24-26, 2001.
6. Bundy, A.: The Use of Explicit Plans to Guide Inductive Proofs. R. Lusk and R. Overbeek (eds) Proceedings of the 9th Conference on Automated Deduction (CADE 9), Springer-Verlag, (1988) 111-120
7. Bundy, A.: Proof Planning. B. Drabble (ed) Proceedings of the 3rd International Conference on AI Planning Systems, (1996) 261-267.
8. Dixon, L. and Fleuriot, J. D.: IsaPlanner: A prototype proof planner in Isabelle. In F. Baader (ed), CADE 19, volume 2741 of LNCS, 279-283. Springer 2003.
9. Dixon, L., Jamnik, M., and Pollet, M.: Proof planning: Comparing Ωmega, λClam and Isa-Planner. In B. Bennett (ed) ARW 11, 50-52. University of Leeds, School of Computing, 2004. Held in Association with the AISB'04 Convention.
10. Einwohner, T. H. and Fateman, R.: Searching techniques for integral tables. International symposium on Symbolic and algebraic computation, ACM, 1995. (http://torte.cs.berkeley.edu:8010/tilu)
11. 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.
12. Guidi, F. and Schena, I.: A Query Language for a Metadata Framework about Mathematical Resources. The 2nd International Conf. Mathematical Knowledge Management, Bertinoro, Italy, Feb. 2003.
13. Hardin, T.: Mathematical Knowledge Management in FOC [France]. First International Workshop on Mathematical Knowledge Management, Schloss Hagenberg, Austria, September 24-26, 2001.
14. An Hypertextual Electronic Library of Mathematics, http://helm.cs.unibo. it/.
15. Jahrbuch Database. http://www.emis.de/MATH/JFM/JFM.html
16. Kohlhase, M.: MBase: Representing Knowledge and Context for the Integration of Mathematical Software Systems. Journal of Symbolic Computation 23:4 (2001) pp. 365 - 402
17. Leake, D. B. and Scherle, R.: Towards Context-Based Search Engine Selection. IUI01, January 14-17, 2001, Santa Fe, New Mexico, USA.
18. Lozier, D. W.: The DLMF Project: A New Initiative in Classical Special Functions. International Workshop on Special Functions - Asymptotics, Harmonic Analysis and Mathematical Physics. Hong Kong, June 21-25, 1999.
19. Lozier, D.W., Miller, B.R., and Saunders, B.V.: Design of a Digital Mathematical Library for Science, Technology and Education. Proceedings of the IEEE Forum on Research and Technology Advances in Digital Libraries; IEEE ADL '99, Baltimore, Maryland, May 1999.
20. MathWeb.org, http://www.mathweb.org/
21. The OpenMath Standard, 1998, http://www.openmath.org/
22. MathML 2.0, a W3C Recommendation, October, 2003, http://www.w3.org/Math/
23. MathDi (Mathematics Didactics Database). http://www.emis.de/MATH/DI/
24. Mathematics Metadata, http://www.niathnietadata.org/
25. The MathNet Project, http://www.math-net.de/project/
26. Melis, E. and Siekmann, J.: Knowledge-Based Proof Planning. J. Artificial Intelligence, 1999.
27. Melis, E. and Meier, A.: Proof Planning with Multiple Strategies. First International Conference on Computational Logic, CL-2000, 2000.
28. Melis, E. et al: ActiveMath: A Generic and Adaptive Web-Based Learning Environmen. Artifical Intelligence in Education,(12)4 Winter 2001.
29. Miller, B. and Youssef, A.: Technical Aspects of the Digital Library of Mathematical Functions. Annals of Mathematics and Artificial Intelligence, Vol. 38 (2003) 121-136
30. Mathematical Subject Classification (MSC2000). American Mathematical Society. http://www.ams.org/msc/
31. MathWeb.org, http://www.mathweb.org/
32. The Omega Group, http://www.ags.uni-sb.de/omega/
33. Rudnicki, P. and Trybulec, A.: Mathematical Knowledge Management in MIZAR. First International Workshop on Mathematical Knowledge Management, Schloss Hagenberg, Austria, September 24-26, 2001
34. Salton, G. and McGill, M. J.: Introduction to Modern Information Retrieval. McGraw Hill, New York (1993)
35. Saracevic, T.: Relevance: A Review of and a Framework for the Thinking on the Notion. Journal of the American Society of Information Science, 26(4) (1975) 321-343
36. Theorist Interactive LiveMath, http://www.livemath.com/
37. Tan, P.-N., Steinbach, M., and Kumar, V. : Introduction to Data Mining. Addison-Wesley (2006)
38. Baeza-Yates, R. and Ribeiro-Neto, B.: Modern information retrieval, Reading, MA: Addison-Wesley, (1999)
39. Youssef, A.: Information Search And Retrieval of Mathematical Contents: Issues And Methods. The proceedings of the ISCA 14th International Conference on Intelligent and Adaptive Systems and Software Engineering (IASSE-2005), July 20-22, 2005, Toronto, Canada.
40. Zentralblatt MATH database at European Mathematical Information Service (EMIS). http://www.emis.de/ZMATH/