DynGenPar -- a dynamic generalized parser for common mathematical language

DOI10.1007/978-3-642-31374-5_26zbMATH Open1360.68812OpenAlexW18365141MaRDI QIDQ2907338FDOQ2907338

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

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

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)

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)