Abstract
In this paper we describe the semantic analysis of differential equations given in the ubiquitous formats MathML and OpenMath. The analysis is integrated in a deployed Web indexing framework. Starting from basic classifications for differential equations the proposed system architecture is amenable to extensions for further reconstruction of mathematical content on the Web. The syntactic analysis of mathematical formulae given in the considered formats must overcome ambiguities that stem from the fact that formula particles may have different encodings, which are in principle completely arbitrary. However, it turns out that the syntactic analysis can be done straightforward given some natural heuristic assumptions.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bowman, C.M., Danzig, P.B., Hardy, D.R., Manber, U., Schwartz, M.F., Wessels, D.P.: Harvest: A scalable, customizable discovery and access system, Technical Report CU-CS-732-94. University of Colorado, Boulder, USA (1994)
Dalmas, S., Gaëtano, M., Huchet, C.: A deductive database for mathematical formulae. In: Limongelli, C., Calmet, J. (eds.) DISCO 1996. LNCS, vol. 1128, pp. 287–296. Springer, Heidelberg (1996)
Dalmas, S., Gaëtano, M.: Indexing mathematics with SearchFor. In: International MathML Conference 2000 – MathML and Math on the Web (2000)
Design Science Inc., WebEQ version 3.5 (2003)
Einwohner, T.H., Fateman, R.J.: Searching techniques for integral tables. In: Proceedings ISSAC 1995. ACM, New York (1995)
Franke, A., Kohlhase, M.: System Description: MBASE, an Open Mathematical Knowledge Base. In: McAllester, D. (ed.) CADE 2000. LNCS, vol. 1831, pp. 455–459. Springer, Heidelberg (2000)
Franke, A., Kohlhase, M.: MBase: representing knowledge and context for the integration of mathematical software systems. Journal of Symbolic Computation 32(4), 365–402 (2001)
Hearn, A.C.: REDUCE 2: A system and language for algebraic manipulation. In: Proceedings of the 2nd ACM Symposium on Symbolic and Algebraic Manipulation. ACM Press, New York (1971)
Heumesser, B.D., Seipel, D., Güntzer, U.: An expert system for the flexible processing of XML-based mathematical knowledge in a PROLOG-environment. In: Asperti, A., Buchberger, B., Davenport, J.H. (eds.) MKM 2003. LNCS, vol. 2594, pp. 133–146. Springer, Heidelberg (2003)
Kamke, E.: Differentialgleichungen: Lösungsmethoden und Lösungen, Akademische Verlagsgesellschaft (1967)
Lee, K.J.: Development Status of Harvest. In: Proceedings of SINN 2003 Conference - Worldwide Coherent Workforce, Satisfied Users: New Services For Scientific Information (2003), http://www.isn-oldenburg.de/projects/SINN/sinn03/proceedings.html
Maplesoft Inc., Maple version 9 (2003)
Mathematical Markup Language (MathML) Version 2.0, W3C Recommendation (February 21, 2001)
Math-Net, http://www.math-net.org
Neun, W.: Harvesting webpages that contain mathematical information. In: Proceedings of SINN 2003 Conference - Worldwide Coherent Workforce, Satisfied Users: New Services For Scientific Information (2003), http://www.isn-oldenburg.de/projects/SINN/sinn03/proceedings.html
The OpenMath Web Site, http://www.openmath.org
Parr, T.J., Quong, R.W.: ANTLR: a predicated-LL(k) parser generator. Journal of Software-Practice & Experience 25(7), 789–810 (1995)
Wolfram Research Inc., Mathematica version 5 (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Draheim, D., Neun, W., Suliman, D. (2004). Classifying Differential Equations on the Web. In: Asperti, A., Bancerek, G., Trybulec, A. (eds) Mathematical Knowledge Management. MKM 2004. Lecture Notes in Computer Science, vol 3119. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-27818-4_8
Download citation
DOI: https://doi.org/10.1007/978-3-540-27818-4_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23029-8
Online ISBN: 978-3-540-27818-4
eBook Packages: Springer Book Archive