Deep learning for math knowledge processing

DOI10.1007/978-3-319-96812-4_23MaRDI QIDQ1798976zbMATH OpenOpenAlexFDO

Authors Abdou Youssef, Bruce R. Miller

Publication date 18 October 2018

Full work available at URL https://doi.org/10.1007/978-3-319-96812-4_23

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Knowledge representation (68T30) Computing methodologies for text processing; mathematical typography (68U15)

Recommendations

• Part-of-math tagging and applications
• Towards the automatic mathematician
• The DeLiVerMath project. Text analysis in mathematics
• A contextual and labeled math-dataset derived from NIST's DLMF
• Automating formalization by statistical and semantic parsing of mathematics

Cited in

(3)

• Towards math terms disambiguation using machine learning
• Part-of-math tagging and applications
• An evaluation of NLP methods to extract mathematical token descriptors

Describes a project that uses

Uses Software

• LaTeX
• GloVe
• word2vec

This page was built for publication: Deep learning for math knowledge processing

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