About DML-CZ | FAQ | Conditions of Use | Math Archives | Contact Us
  Previous |  Up |  Next

Article

Wolska, Magdalena ; Grigore, Mihai
Symbol Declarations in Mathematical Writing. (English). In: Sojka, Petr (ed.): Towards a Digital Mathematics Library. Paris, France, July 7-8th, 2010. Masaryk University Press, Brno, Czech Republic, 2010. pp. 119-127
MSC: 68-06, 68U10, 68U15, 68U99
Keywords:
mathematical discourse; disambiguation of mathematical expressions; corpus-based analysis; mathematical discourse
Summary:
We present three corpus-based studies on symbol declaration in mathematical writing. We focus on simple object denoting symbols which may be part of larger expressions. We look into whether the symbols are explicitly introduced into the discourse and whether the information on once interpreted symbols can be used to interpret structurally related symbols. Our goal is to support fine-grained semantic interpretation of simple and complex mathematical expressions. The results of our analysis empirically show the potential benefit of using larger discourse context in automated disambiguation of mathematical expressions.
References:
1. LaTeXML Manual. http://dlmf.nist.gov/LaTeXML/manual/, Retrieved June 2010.
2. arXiv.org e-Print archive. Retrieved June 2010. http://www.arxiv.org
3. arXMLiv Project. http://arxmliv.kwarc.info/, Retrieved April 2010.
4. Ausbrooks, Ron, Carlisle, Stephen Buswell David, Chavchanidze, Giorgi, Dalmas, Stéphane, Devitt, Stan, Diaz, Angel, Dooley, Sam, Hunter, Roger, Ion, Patrick, Kohlhase, Michael, Lazrek, Azzeddine, Libbrecht, Paul, Miller, Bruce, Miner, Robert, Sargent, Murray, Smith, Bruce, Soiffer, Neil, Sutor, Robert, Watt, Stephen: Mathematical Markup Language (MathML) version 3.0. W3C Working Draft of 24. September 2009, World Wide Web Consortium, 2009.
5. Buswell, Stephen, Caprotti, Olga, Carlisle, David P., Dewar, Michael C., Gaetano, Marc, Kohlhase, Michael: The Open Math standard, version 2.0. Technical report, The Open Math Society, 2004.
6. Clark, Herbert H.: Arenas of Language Use. University Of Chicago Press, 1993.
7. Gale, William A., Church, Kenneth W., Yarowsky, David: One sense per discourse. In Proceedings of the HLT-91 Workshop on Speech and Natural Language, pages 233–237, 1992.
8. Grigore, Mihai, Wolska, Magdalena, Kohlhase, Michael: Towards context-based disambiguation of mathematical expressions. In The Joint Conference of ASCM 2009 and MACIS 2009, volume 22 of Math-for-Industry, COE Lecture Note, pages 262–271, 2009. Zbl 1186.68530
9. Knuth, Donald Ervin, Larrabee, Tracy, Roberts, Paul M.: Mathematical writing. The Mathematican Association of America, 1989.
10. Kohlhase, Michael, Anca, Ştefan, Jucovschi, Constantin, González Palomo, Alberto, Şucan, Ioan A.: MathWebSearch 0.4, A Semantic Search Engine for Mathematics. http://search.mathweb.org/index.xhtml (Retrieved April 2010), 2008.
11. Kohlhase, Michael, Şucan, Ioan: A search engine for mathematical formulae. In: Tetsuo Ida, Jacques Calmet, and Dongming Wang, editors, Proceedings of Artificial Intelligence and Symbolic Computation, AISC 2006, number 4120 in LNAI, pages 241–253. Springer Verlag, 2006. Zbl 1156.68306
12. Krantz, Steven George: A primer of mathematical writing. The Americal Mathematical Society, 1997.
13. W3c math home. http://www.w3.org/Math/, Retrieved April 2010.
14. Miller, Bruce: LaTeXML: A LaTeX to XML converter. Web Manual at http://dlmf.nist.gov/LaTeXML/, seen April 2010.
15. Stamerjohanns, Heinrich, Kohlhase, Michael, Ginev, Deyan, David, Catalin, Miller, Bruce: Transforming large collections of scientific publications to XML. Mathematics in Computer Science, 3(3):299–307, 2010. Zbl 1205.68490
Partner of
EuDML logo