{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,18]],"date-time":"2026-04-18T22:58:28Z","timestamp":1776553108213,"version":"3.51.2"},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642313738","type":"print"},{"value":"9783642313745","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-31374-5_26","type":"book-chapter","created":{"date-parts":[[2012,6,25]],"date-time":"2012-06-25T13:00:57Z","timestamp":1340629257000},"page":"386-401","source":"Crossref","is-referenced-by-count":4,"title":["DynGenPar \u2013 A Dynamic Generalized Parser for\u00a0Common Mathematical Language"],"prefix":"10.1007","author":[{"given":"Kevin","family":"Kofler","sequence":"first","affiliation":[]},{"given":"Arnold","family":"Neumaier","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"26_CR1","unstructured":"Qt \u2013 Cross-platform application and UI framework, \n                    \n                      http:\/\/qt.nokia.com"},{"key":"26_CR2","unstructured":"Qt Jambi \u2013 The Qt library for Java, \n                    \n                      http:\/\/qt-jambi.org"},{"key":"26_CR3","doi-asserted-by":"crossref","unstructured":"Angelov, K.: Incremental parsing with parallel multiple context-free grammars. In: Proceedings of the 12th Conference of the European Chapter of the Association for Computational Linguistics, pp. 69\u201376 (2009)","DOI":"10.3115\/1609067.1609074"},{"issue":"2","key":"26_CR4","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/s10849-009-9112-y","volume":"19","author":"K. Angelov","year":"2010","unstructured":"Angelov, K., Bringert, B., Ranta, A.: PGF: A Portable Run-Time Format for Type-Theoretical Grammars. Journal of Logic, Language and Information\u00a019(2), 201\u2013228 (2010)","journal-title":"Journal of Logic, Language and Information"},{"issue":"2","key":"26_CR5","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/j.jvlc.2006.06.002","volume":"18","author":"G. Costagliola","year":"2007","unstructured":"Costagliola, G., Deufemia, V., Polese, G.: Visual language implementation through standard compiler-compiler techniques. Journal of Visual Languages & Computing\u00a018(2), 165\u2013226 (2007); selected papers from Visual Languages and Computing 2005","journal-title":"Journal of Visual Languages & Computing"},{"key":"26_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1007\/978-3-642-14418-9_11","volume-title":"Controlled Natural Language","author":"M. Cramer","year":"2010","unstructured":"Cramer, M., Fisseni, B., Koepke, P., K\u00fchlwein, D., Schr\u00f6der, B., Veldman, J.: The Naproche Project Controlled Natural Language Proof Checking of Mathematical Texts. In: Fuchs, N.E. (ed.) CNL 2009. LNCS, vol.\u00a05972, pp. 170\u2013186. Springer, Heidelberg (2010)"},{"key":"26_CR7","unstructured":"Flex Project: flex: The Fast Lexical Analyzer, \n                    \n                      http:\/\/flex.sourceforge.net"},{"key":"26_CR8","unstructured":"Free Software Foundation: Bison \u2013 GNU parser generator, \n                    \n                      http:\/\/www.gnu.org\/software\/bison"},{"key":"26_CR9","unstructured":"Free Software Foundation: GNU General Public License (GPL) v2.0 (June 1991), \n                    \n                      http:\/\/www.gnu.org\/licenses\/old-licenses\/gpl-2.0"},{"key":"26_CR10","unstructured":"Free Software Foundation: GNU General Public License (GPL) v3.0 (June 2007), \n                    \n                      http:\/\/www.gnu.org\/licenses\/gpl-3.0"},{"key":"26_CR11","unstructured":"Hinze, R., Paterson, R.: Derivation of a typed functional LR parser (2003)"},{"key":"26_CR12","unstructured":"Humayoun, M.: Developing the System MathNat for Automatic Formalization of Mathematical texts. Ph.D. thesis, University of Grenoble (2012), \n                    \n                      http:\/\/www.lama.univ-savoie.fr\/~humayoun\/phd\/mathnat.html"},{"key":"26_CR13","unstructured":"Kasami, T.: An efficient recognition and syntax analysis algorithm for context-free languages. Tech. Rep. AFCRL-65-758, Air Force Cambridge Research Laboratory, Bedford, MA (1965)"},{"key":"26_CR14","unstructured":"Koepke, P., Schr\u00f6der, B., Buechel, G., et al.: Naproche \u2013 Natural language proof checking, \n                    \n                      http:\/\/www.naproche.net"},{"key":"26_CR15","unstructured":"Kofler, K.: DynGenPar \u2013 Dynamic Generalized Parser, \n                    \n                      http:\/\/www.tigen.org\/kevin.kofler\/fmathl\/dyngenpar"},{"key":"26_CR16","unstructured":"Kofler, K., Neumaier, A.: The DynGenPar Algorithm on an Example, slides, \n                    \n                      http:\/\/www.tigen.org\/kevin.kofler\/fmathl\/dyngenpar-example.pdf"},{"key":"26_CR17","doi-asserted-by":"crossref","unstructured":"Kofler, K., Neumaier, A.: A Dynamic Generalized Parser for Common Mathematical Language. In: Work-in-Progress Proceedings of CICM\/MKM (2011), \n                    \n                      http:\/\/www.tigen.org\/kevin.kofler\/fmathl\/dyngenpar-wip.pdf","DOI":"10.1007\/978-3-642-31374-5_26"},{"key":"26_CR18","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1007\/s11786-008-0055-5","volume":"2.2","author":"M. Kohlhase","year":"2008","unstructured":"Kohlhase, M.: Using LaTeX as a Semantic Markup Format. Mathematics in Computer Science\u00a02.2, 279\u2013304 (2008)","journal-title":"Mathematics in Computer Science"},{"issue":"4","key":"26_CR19","doi-asserted-by":"publisher","first-page":"316","DOI":"10.1145\/1118890.1118892","volume":"37","author":"M. Mernik","year":"2005","unstructured":"Mernik, M., Heering, J., Sloane, A.: When and how to develop domain-specific languages. ACM Computing Surveys (CSUR)\u00a037(4), 316\u2013344 (2005)","journal-title":"ACM Computing Surveys (CSUR)"},{"key":"26_CR20","unstructured":"Neumaier, A.: Analysis und lineare Algebra, unpublished lecture notes, \n                    \n                      http:\/\/www.mat.univie.ac.at\/~neum\/FMathL\/ALA.pdf"},{"key":"26_CR21","unstructured":"Neumaier, A.: FMathL \u2013 Formal Mathematical Language, \n                    \n                      http:\/\/www.mat.univie.ac.at\/~neum\/fmathl.html"},{"issue":"2","key":"26_CR22","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1017\/S0956796803004738","volume":"14","author":"A. Ranta","year":"2004","unstructured":"Ranta, A.: Grammatical Framework: A Type-Theoretical Grammar Formalism. Journal of Functional Programming\u00a014(2), 145\u2013189 (2004)","journal-title":"Journal of Functional Programming"},{"key":"26_CR23","unstructured":"Ranta, A., Angelov, K., Hallgren, T., et al.: GF \u2013 Grammatical Framework, \n                    \n                      http:\/\/www.grammaticalframework.org"},{"key":"26_CR24","doi-asserted-by":"crossref","unstructured":"Schodl, P.: Foundations for a Self-Reflective, Context-Aware Semantic Representation of Mathematical Specifications. Ph.D. thesis, University of Vienna (2011), \n                    \n                      http:\/\/www.mat.univie.ac.at\/~schodl\/pdfs\/diss_online.pdf","DOI":"10.1007\/978-3-642-23592-4_2"},{"key":"26_CR25","unstructured":"Schodl, P., Neumaier, A.: An experimental grammar for German mathematical text. Tech. rep., University of Vienna (2009), \n                    \n                      http:\/\/www.mat.univie.ac.at\/~neum\/FMathL\/ALA-grammar.pdf"},{"key":"26_CR26","unstructured":"Schodl, P., Neumaier, A.: The FMathL type system. Tech. rep., University of Vienna (2011), \n                    \n                      http:\/\/www.mat.univie.ac.at\/~neum\/FMathL\/types.pdf"},{"key":"26_CR27","doi-asserted-by":"crossref","unstructured":"Schodl, P., Neumaier, A., Kofler, K., Domes, F., Schichl, H.: Towards a Self-reflective, Context-aware Semantic Representation of Mathematical Specifications. In: Kallrath, J. (ed.) Algebraic Modeling Systems \u2013 Modeling and Solving Real World Optimization Problems, ch. 2. Springer (2012)","DOI":"10.1007\/978-3-642-23592-4_2"},{"issue":"2","key":"26_CR28","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1016\/0304-3975(91)90374-B","volume":"88","author":"H. Seki","year":"1991","unstructured":"Seki, H., Matsumura, T., Fujii, M., Kasami, T.: On multiple context-free grammars. Theoretical Computer Science\u00a088(2), 191\u2013229 (1991)","journal-title":"Theoretical Computer Science"},{"issue":"1-2","key":"26_CR29","first-page":"31","volume":"13","author":"M. Tomita","year":"1987","unstructured":"Tomita, M.: An Efficient Augmented Context-Free Parsing Algorithm. Computational Linguistics\u00a013(1-2), 31\u201346 (1987)","journal-title":"Computational Linguistics"},{"key":"26_CR30","doi-asserted-by":"crossref","unstructured":"Tomita, M., Ng, S.: The Generalized LR parsing algorithm. In: Tomita, M. (ed.) Generalized LR Parsing, pp. 1\u201316. Kluwer (1991)","DOI":"10.1007\/978-1-4615-4034-2_1"},{"key":"26_CR31","unstructured":"Visser, E.: Scannerless generalized-LR parsing. Tech. Rep. P9707, Programming Research Group, University of Amsterdam (1997)"},{"issue":"2","key":"26_CR32","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/S0019-9958(67)80007-X","volume":"10","author":"D. Younger","year":"1967","unstructured":"Younger, D.: Recognition and parsing of context-free languages in time n\n                  3. Information and Control\u00a010(2), 189\u2013208 (1967)","journal-title":"Information and Control"}],"container-title":["Lecture Notes in Computer Science","Intelligent Computer Mathematics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-31374-5_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T13:30:16Z","timestamp":1556890216000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-31374-5_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642313738","9783642313745"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31374-5_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}