A search engine for mathematical formulae

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

Volumn 4120 LNAI, Issue , 2006, Pages 241-253

  Kohlhase, Michael ^a   Sucan, Ioan ^a  

^a JACOBS UNIVERSITY BREMEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

INDEXING (OF INFORMATION); MATHEMATICAL OPERATORS; THEOREM PROVING; TREES (MATHEMATICS);

AUTOMATED THEOREM PROVERS; GENERIC LANGUAGE; MATHEMATICAL FORMULAE; SUBSTITUTION TREE INDEXING;

SEARCH ENGINES;

EID: 33749635061     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11856290_21     Document Type: Conference Paper

References (21)

1. +03] Ron Ausbrooks, Stephen Buswell, David Carlisle, et al. Mathematical Markup Language (MathML) version 2.0 (second edition). W3C recommendation, World Wide Web Consortium, 2003. Available at http://www.w3.org/TR/MathML2.
2. [AS04] Andrea Asperti and Matteo Selmi. Efficient retrieval of mathematical statements. In Andrea Asperti, Grzegorz Bancerek, and Andrej Trybulec, editors, Mathematical Knowledge Management, MKM'04, number 3119 in LNCS, pages 1-4. Springer Verlag, 2004.
3. +04] Stephen Buswell, Olga Caprotti, David P. Carlisle, Michael C. Dewar, Marc Gaetano, and Michael Kohlhase. The Open Math standard, version 2.0. Technical report, The Open Math Society, 2004. http://www.openmath. org/standard/om20.
4. [Cre] Creative Commons. Web page at http://creativecommons.org.
5. [FSF91] Free Software Foundation FSF. Gnu general public license. Software License available at http://www.gnu.org/copyleft/gpl.html, 1991.
6. [GMMW03] Paul Grosso, Eve Maler, Jonathan Marsh, and Norman Walsh. Xpointer framework. W3c recommendation, World Wide Web Constortium W3C, 25 March 2003.
7. [Gra96] Peter Graf. Term Indexing. Number 1053 in LNCS. Springer Verlag, 1996.
8. [HRW02] Sandy Huerter, Igor Rodionov, and Stephen Watt. Content-faithful transformations for mathml. In Second International Conference on MathML and Technologies for Math on the Web, Chicago, USA, 2002. http://www. mathmlconference.org/2002/presentations/huerter/.
9. [ICW06] Tetsuo Ida, Jacques Calmet, and Dongming Wang, editors. Proceedings of Artificial Intelligence and Symbolic Computation, AISC'2006, number 4120 in LNAI. Springer Verlag, 2006.
10. [KF01] Michael Kohlhase and Andreas Franke. MBase: Representing knowledge and context for the integration of mathematical software systems. Journal of Symbolic Computation; Special Issue on the Integration of Computer algebra and Deduction Systems, 32(4):365-402, September 2001.
11. [KK06] Andrea Kohlhase and Michael Kohlhase. Communities of practice in MKM: An extensional model. In Jon Borwein and William M. Farmer, editors, Mathematical Knowledge Management, MKM'06, number 4108 in LNAI. Springer Verlag, 2006.
12. [Koh06] Michael Kohlhase. OMDoc: An open markup format for mathematical documents (Version 1.2). Number 4180 in LNAI. Springer Verlag, 2006. in press http://www.mathweb.org/omdoc/pubs/omdoc1.2.pdf.
13. [LM06] Paul Libbrecht and Erica Melis. Methods for access and retrieval of mathematical content in ACTIVEMATH. In N. Takayama and A. Iglesias, editors, Proceedings of ICMS-2006, number 4151 in LNAI. Springer Verlag, 2006. forthcoming.
14. [Mat06] Math web search. Web page at http://kwarc.eecs.iu-bremen.de/ projects/mws/, seen July 2006.
15. +03] Erica Melis, Jochen Büdenbender, George Goguadze, Paul Libbrecht, and Carsten Ullrich. Knowledge representation and management in ACTIVEMATH. Annals of Mathematics and Artificial Intelligence, 38:47-64, 2003. see http://www.activemath.org.
16. [MY03] B. Miller and A. Youssef. Technical aspects of the digital library of mathematical functions. Annals of Mathematics and Artificial Intelligence, 38(1-3):121-136, 2003.
17. [Nor06a] Immanuel Normann. Enhanced theorem reuse by partial theory inclusionss. In Ida et al. [ICW06].
18. [Nor06b] Immanuel Normann. Extended normalization for e-retrieval of formulae. to appear in the proceedings of Communicating Mathematics in the Digital Era, 2006.
19. [OAI02] The open archives initiative protocol for metadata harvesting, June 2002. Available at http://www.openarchives.org/OAI/openarchivesprotocol. html.
20. [TSP06] Prank Theiß, Volker Sorge, and Martin Pollet. Interfacing to computer algebra via term indexing. In Silvio Ranise and Roberto Sebastiani, editors, CALCULEMUS-2006, 2006.
21. [Wol02] Stephen Wolfram. The Mathematica Book. Cambridge University Press, 2002.