{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:35:48Z","timestamp":1750307748864,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,9,28]],"date-time":"2007-09-28T00:00:00Z","timestamp":1190937600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2007,9,28]]},"DOI":"10.1145\/1290144.1290162","type":"proceedings-article","created":{"date-parts":[[2007,10,14]],"date-time":"2007-10-14T12:51:38Z","timestamp":1192366298000},"page":"109-114","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Information extraction from mathematical texts by means of natural language processing techniques"],"prefix":"10.1145","author":[{"given":"Sabina","family":"Jeschke","sequence":"first","affiliation":[{"name":"University of Stuttgart"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marc","family":"Wilke","sequence":"additional","affiliation":[{"name":"University of Stuttgart"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marie","family":"Blanke","sequence":"additional","affiliation":[{"name":"Berlin University of Technology"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicole M.","family":"Natho","sequence":"additional","affiliation":[{"name":"Berlin University of Technology"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Olivier F.","family":"Pfeiffer","sequence":"additional","affiliation":[{"name":"Berlin University of Technology"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2007,9,28]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","unstructured":"Hilbert D.: Die Grundlagen der Mathematik. Abhandlungen aus dem mathematischen Seminar der Hamburgischen Universit\u00e4t 6 (1928) 65--85  Hilbert D.: Die Grundlagen der Mathematik. Abhandlungen aus dem mathematischen Seminar der Hamburgischen Universit\u00e4t 6 (1928) 65--85","DOI":"10.1007\/BF02940602"},{"key":"e_1_3_2_1_2_1","volume-title":"Die Architektur der Mathematik. Mathematiker \u00fcber die Mathematik","author":"Bourbaki N.","year":"1974","unstructured":"Bourbaki , N. : Die Architektur der Mathematik. Mathematiker \u00fcber die Mathematik . Springer , Berlin, Heidelberg , New York ( 1974 ) Bourbaki, N.: Die Architektur der Mathematik. Mathematiker \u00fcber die Mathematik. Springer, Berlin, Heidelberg, New York (1974)"},{"key":"e_1_3_2_1_3_1","unstructured":"Jena: A Semantic Web Framework for Java. http:\/\/jena.sourceforge.net  Jena: A Semantic Web Framework for Java. http:\/\/jena.sourceforge.net"},{"key":"e_1_3_2_1_4_1","unstructured":"The Apache Software Foundation: Apache Lucene. http:\/\/lucene.apache.org\/  The Apache Software Foundation: Apache Lucene. http:\/\/lucene.apache.org\/"},{"key":"e_1_3_2_1_6_1","unstructured":"MBase http:\/\/www.mathweb.org\/mbase\/  MBase http:\/\/www.mathweb.org\/mbase\/"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.2000.0468"},{"key":"e_1_3_2_1_8_1","series-title":"November 1999","volume-title":"Universit\u00e4t des Saarlandes, Fachbereich Computerlinguistik","author":"Baur J.","unstructured":"Baur , J. : Syntax und Semantik mathematischer Texte. Master's thesis , Universit\u00e4t des Saarlandes, Fachbereich Computerlinguistik ( November 1999 ) Baur, J.: Syntax und Semantik mathematischer Texte. Master's thesis, Universit\u00e4t des Saarlandes, Fachbereich Computerlinguistik (November 1999)"},{"key":"e_1_3_2_1_9_1","unstructured":"M\u00fcller S.: TRALE. http:\/\/www.cl.uni-bremen.de\/Software\/Trale\/index.html  M\u00fcller S.: TRALE. http:\/\/www.cl.uni-bremen.de\/Software\/Trale\/index.html"},{"key":"e_1_3_2_1_10_1","unstructured":"Wolfram Research: MathWorld. http:\/\/mathworld.wolfram.com  Wolfram Research: MathWorld. http:\/\/mathworld.wolfram.com"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7287.001.0001","volume-title":"WordNet: An Electronic Lexical Database","author":"Fellbaum C.","year":"1998","unstructured":"Fellbaum , C. : WordNet: An Electronic Lexical Database . MIT Press , Cambridge, London ( 1998 ) Fellbaum, C.: WordNet: An Electronic Lexical Database. MIT Press, Cambridge, London (1998)"},{"key":"e_1_3_2_1_12_1","unstructured":"Fellbaum C.: WordNet. http:\/\/wordnet.princeton.edu  Fellbaum C.: WordNet. http:\/\/wordnet.princeton.edu"},{"key":"e_1_3_2_1_13_1","unstructured":"GermaNet Team: GermaNet. http:\/\/www.sfs.unituebingen.de\/lsd\/english.html  GermaNet Team: GermaNet. http:\/\/www.sfs.unituebingen.de\/lsd\/english.html"},{"key":"e_1_3_2_1_14_1","volume-title":"Knowledge Representation and the Semantics of Natural Language","author":"Helbig H.","year":"2006","unstructured":"Helbig , H. : Knowledge Representation and the Semantics of Natural Language . Springer , Berlin, Heidelberg , New York ( 2006 ) Helbig, H.: Knowledge Representation and the Semantics of Natural Language. Springer, Berlin, Heidelberg, New York (2006)"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218213006002588"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","unstructured":"Urban J.: MizarMode An Integrated Proof Assistance Tool for the Mizar Way of Formalizing Mathematics. Journal of Applied Logic (2005)  Urban J.: MizarMode An Integrated Proof Assistance Tool for the Mizar Way of Formalizing Mathematics. Journal of Applied Logic (2005)","DOI":"10.1016\/j.jal.2005.10.004"},{"volume-title":"MKM2005 (2002)","author":"Urban J.","key":"e_1_3_2_1_17_1","unstructured":"Urban , J. : XML-izing Mizar: Making Semantic Processing and Presentation of MML Easy , MKM2005 (2002) Urban, J.: XML-izing Mizar: Making Semantic Processing and Presentation of MML Easy, MKM2005 (2002)"},{"key":"e_1_3_2_1_18_1","unstructured":"Pinkall M. Siekmann J. Benzm\u00fcller C. and Kruijff-Korbayova I.: DIALOG. http:\/\/www.ags.uni-sb.de\/~dialog\/  Pinkall M. Siekmann J. Benzm\u00fcller C. and Kruijff-Korbayova I.: DIALOG. http:\/\/www.ags.uni-sb.de\/~dialog\/"},{"key":"e_1_3_2_1_19_1","series-title":"Lecture Notes in Computer Science","volume-title":"Theorem Proving in Higher Order Logics, 14th International Conference, TPHOLs","author":"Asperti A.","year":"2001","unstructured":"Asperti , A. ,. Padovani , L. , Sacerdoti Coen , C. and Schena , I .: HELM and the Semantic Web . In Boulton, R. J., Jackson, P. B., eds.: Theorem Proving in Higher Order Logics, 14th International Conference, TPHOLs 2001 , Edinburgh, Scotland, UK , September 3-6, 2001, Proceedings. Volume 2152 of Lecture Notes in Computer Science , Springer ( 2001) Asperti, A.,.Padovani, L., Sacerdoti Coen, C. and Schena, I.: HELM and the Semantic Web. In Boulton, R. J., Jackson, P. B., eds.: Theorem Proving in Higher Order Logics, 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001, Proceedings. Volume 2152 of Lecture Notes in Computer Science, Springer (2001)"},{"key":"e_1_3_2_1_20_1","volume-title":"Zacchiroli","author":"Asperti A.","year":"2004","unstructured":"Asperti , A. , Zacchiroli , S. : Searching Mathematics on theWeb: State of the Art and Future Developments. In : Joint Proceedings of the ECM4 Satellite Conference on Electronic Publishing at KTH Stockholm, AMS - SM M Special Session, Houston \/ ( 2004 ) Asperti, A., Zacchiroli, S.: Searching Mathematics on theWeb: State of the Art and Future Developments. In: Joint Proceedings of the ECM4 Satellite Conference on Electronic Publishing at KTH Stockholm, AMS - SM M Special Session, Houston \/ (2004)"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1066677.1066695"},{"volume-title":"Third International Conference on Language Resources and Evaluation (May 2002)","author":"Collier N., K, T.","key":"e_1_3_2_1_22_1","unstructured":"Collier , N., K, T. : PIA-Core: Semantic Annotation through Example-based Learning , Third International Conference on Language Resources and Evaluation (May 2002) 1611--1614 Collier, N., K, T.: PIA-Core: Semantic Annotation through Example-based Learning, Third International Conference on Language Resources and Evaluation (May 2002) 1611--1614"},{"key":"e_1_3_2_1_23_1","unstructured":"The PIA Project: PIA. http:\/\/www.pia-services.de\/  The PIA Project: PIA. http:\/\/www.pia-services.de\/"},{"key":"e_1_3_2_1_26_1","volume-title":"Proceedings of the 3rd International Conference on Multimedia and ICTs in Education","author":"Grottke S.","year":"2005","unstructured":"Grottke , S. , Jeschke , S. , Natho , N. , Seiler , R. : mArachna: A Classification Scheme for Semantic Retrieval in eLearning Environments in Mathematics . Proceedings of the 3rd International Conference on Multimedia and ICTs in Education , June 7-10, 2005 , Caceres\/Spain (2005) Grottke, S., Jeschke, S., Natho, N., Seiler, R.: mArachna: A Classification Scheme for Semantic Retrieval in eLearning Environments in Mathematics. Proceedings of the 3rd International Conference on Multimedia and ICTs in Education, June 7-10, 2005, Caceres\/Spain (2005)"},{"key":"e_1_3_2_1_27_1","unstructured":"W3C: Web Ontology Language. http:\/\/www.w3c.org\/2004\/OWL  W3C: Web Ontology Language. http:\/\/www.w3c.org\/2004\/OWL"},{"key":"e_1_3_2_1_28_1","unstructured":"The TEI Consortium: Text Encoding Initiative. http:\/\/www.tei-c.org  The TEI Consortium: Text Encoding Initiative. http:\/\/www.tei-c.org"},{"key":"e_1_3_2_1_29_1","unstructured":"W3C: MathML. http:\/\/www.w3.org\/Math  W3C: MathML. http:\/\/www.w3.org\/Math"},{"key":"e_1_3_2_1_30_1","volume-title":"Linguistische Arbeiten, No. 394","author":"M\u00fcller S.","year":"2005","unstructured":"M\u00fcller , S. : Deutsche Syntax deklarativ: Head-Driven Phrase Structure Grammar f\u00fcr das Deutsche . In: Linguistische Arbeiten, No. 394 . Max Niemeyer Verlag , T\u00fcbingen ( 2005 ) M\u00fcller, S.: Deutsche Syntax deklarativ: Head-Driven Phrase Structure Grammar f\u00fcr das Deutsche. In: Linguistische Arbeiten, No. 394. Max Niemeyer Verlag, T\u00fcbingen (2005)"},{"key":"e_1_3_2_1_31_1","unstructured":"Mozilla Foundation: Rhino. http:\/\/www.mozilla.org\/rhino\/  Mozilla Foundation: Rhino. http:\/\/www.mozilla.org\/rhino\/"},{"volume-title":"SPARQL","key":"e_1_3_2_1_32_1","unstructured":"W3C : SPARQL . http:\/\/www.w3.org\/TR\/rdf-sparql-query\/ W3C: SPARQL. http:\/\/www.w3.org\/TR\/rdf-sparql-query\/"},{"key":"e_1_3_2_1_33_1","volume-title":"Mathematik f\u00fcr Physiker und Mathematiker","author":"W\u00fcst R.","year":"2005","unstructured":"W\u00fcst , R. : Mathematik f\u00fcr Physiker und Mathematiker , Bd. 1 . Wiley-VCH ( 2005 ) W\u00fcst, R.: Mathematik f\u00fcr Physiker und Mathematiker, Bd.1. Wiley-VCH (2005)"},{"key":"e_1_3_2_1_34_1","unstructured":"AT&T Research: Graphviz. www.graphviz.org\/  AT&T Research: Graphviz. www.graphviz.org\/"}],"event":{"name":"MM07: The 15th ACM International Conference on Multimedia 2007","sponsor":["SIGGRAPH ACM Special Interest Group on Computer Graphics and Interactive Techniques","ACM Association for Computing Machinery","SIGMM ACM Special Interest Group on Multimedia"],"location":"Augsburg Bavaria Germany","acronym":"MM07"},"container-title":["Proceedings of the international workshop on Educational multimedia and multimedia education"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1290144.1290162","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1290144.1290162","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:39:12Z","timestamp":1750253952000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1290144.1290162"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,9,28]]},"references-count":31,"alternative-id":["10.1145\/1290144.1290162","10.1145\/1290144"],"URL":"https:\/\/doi.org\/10.1145\/1290144.1290162","relation":{},"subject":[],"published":{"date-parts":[[2007,9,28]]},"assertion":[{"value":"2007-09-28","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}