Symbol Declarations in Mathematical Writing
Wolska, Magdalena ; Grigore, Mihai
Towards a Digital Mathematics Library. Paris, France, July 7-8th, 2010, GDML_Books, (2010), p. 119-127 / Harvested from
Access to full text
Full (PDF)

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.

EUDML-ID : urn:eudml:doc:221086
Mots clés:
Mots clés: 
@article{702580,
     title = {Symbol~Declarations in Mathematical~Writing},
     booktitle = {Towards a Digital Mathematics Library. Paris, France, July 7-8th, 2010},
     series = {GDML\_Books},
     publisher = {Masaryk University Press},
     address = {Brno, Czech Republic},
     year = {2010},
     pages = {119-127},
     url = {http://dml.mathdoc.fr/item/702580}
}

Wolska, Magdalena; Grigore, Mihai. Symbol Declarations in Mathematical Writing, dans Towards a Digital Mathematics Library. Paris, France, July 7-8th, 2010, GDML_Books,  (2010), pp. 119-127. http://gdmltest.u-ga.fr/item/702580/

LaTeXML Manual, http://dlmf.nist.gov/LaTeXML/manual/, Retrieved June 2010.

Knuth, Donald Ervin; Larrabee, Tracy; Roberts, Paul M. Mathematical writing, The Mathematican Association of America, 1989. (1989)

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. (1992)

Clark, Herbert H. Arenas of Language Use, University Of Chicago Press, 1993. (1993)

Krantz, Steven George A primer of mathematical writing, The Americal Mathematical Society, 1997. (1997)

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. (2004)

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. (2006) | Zbl 1156.68306

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. (2009)

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. (2009) | Zbl 1186.68530

arXiv.org e-Print archive, Retrieved June 2010. http://www.arxiv.org. (2010)

arXMLiv Project, http://arxmliv.kwarc.info/, Retrieved April 2010. (2010)

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. (2010)

W3c math home, http://www.w3.org/Math/, Retrieved April 2010. (2010)

Miller, Bruce LaTeXML: A LaTeX to XML converter, Web Manual at http://dlmf.nist.gov/LaTeXML/, seen April 2010. (2010)

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. (2010) | Zbl 1205.68490