DynGenPar -- a dynamic generalized parser for common mathematical language

DOI10.1007/978-3-642-31374-5_26MaRDI QIDQ2907338zbMATH OpenOpenAlexFDO

Authors Kevin Kofler, Arnold Neumaier

Publication date 7 September 2012

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.433.6292

zbMATH Keywords

common mathematical languagecontrolled natural languagedigital mathematical librarydynamic generalized parserdynamic parserformalized mathematicsmathematical knowledge managementnatural mathematical languageparallel multiple context-free grammarsparserscannerless parsertableless parser

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Knowledge representation (68T30) Natural language processing (68T50)

Recommendations

• Dynamic \(\text{LL} (k)\) parsing
• Mathematical Knowledge Management
• Even faster generalized LR parsing
• scientific article; zbMATH DE number 1406022
• Parsing with dynamic rule selection

Cited in

(4)

• DynGenPar
• Part-of-math tagging and applications
• Using camlp4 for presenting dynamic mathematics on the web
• A formal description of an algorithm suitable for parsing the language of mathematics

This page was built for publication: DynGenPar -- a dynamic generalized parser for common mathematical language

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2907338)