Searching for mathematical formulas based on graph representation learning

DOI10.1007/978-3-030-81097-9_11zbMath1485.68296OpenAlexW3185289994MaRDI QIDQ2128810

Yujin Song, Xiao-yu Chen

Publication date: 22 April 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-81097-9_11

zbMATH Keywords

self-supervised learningformula embeddinggraph representation learningmath formula search

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Presentation and content markup for mathematics (68V25)

Uses Software

• word2vec
• sTeX
• ARQMath

Cites Work

• Using La\TeX\ as a semantic markup format
• Technical aspects of the digital library of mathematical functions
• Unifying Math Ontologies: A Tale of Two Standards
• OpenMath
• Indexing and Searching Mathematics in Digital Libraries