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

formalized mathematicsmathematical knowledge managementparserparallel multiple context-free grammarscontrolled natural languagedigital mathematical librarycommon mathematical languagedynamic generalized parserdynamic parsernatural mathematical languagescannerless parsertableless parser

Mathematics Subject Classification ID

Knowledge representation (68T30) Grammars and rewriting systems (68Q42) 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

(3)

• Part-of-math tagging and applications
• DynGenPar
• Using camlp4 for presenting dynamic mathematics on the web

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)