VMEXT: a visualization tool for mathematical expression trees

DOI10.1007/978-3-319-62075-6_24MaRDI QIDQ2364694zbMATH OpenOpenAlexWikidataFDO

Authors Thomas Hepp, Norman Meuschke, Moritz Schubotz, Bela Gipp, Howard S. Cohl

Publication date 21 July 2017

Full work available at URL https://arxiv.org/abs/1707.03540, https://doi.org/10.1007/978-3-319-62075-6_24, https://ipfs.portal.mardi4nfdi.de/ipfs/bafybeiavhc3fgoar5s5nq7fz3tlhonvqf4hchg6eeyzqqemuc4ymv3m3gq

zbMATH Keywords

expression treeLaTexmathematical information retrievalMathMLvisualization

Mathematics Subject Classification ID

Information storage and retrieval of data (68P20) Knowledge representation (68T30) Computing methodologies for text processing; mathematical typography (68U15)

Abstract: Mathematical expressions can be represented as a tree consisting of terminal symbols, such as identifiers or numbers (leaf nodes), and functions or operators (non-leaf nodes). Expression trees are an important mechanism for storing and processing mathematical expressions as well as the most frequently used visualization of the structure of mathematical expressions. Typically, researchers and practitioners manually visualize expression trees using general-purpose tools. This approach is laborious, redundant, and error-prone. Manual visualizations represent a user's notion of what the markup of an expression should be, but not necessarily what the actual markup is. This paper presents VMEXT - a free and open source tool to directly visualize expression trees from parallel MathML. VMEXT simultaneously visualizes the presentation elements and the semantic structure of mathematical expressions to enable users to quickly spot deficiencies in the Content MathML markup that does not affect the presentation of the expression. Identifying such discrepancies previously required reading the verbose and complex MathML markup. VMEXT also allows one to visualize similar and identical elements of two expressions. Visualizing expression similarity can support support developers in designing retrieval approaches and enable improved interaction concepts for users of mathematical information retrieval systems. We demonstrate VMEXT's visualizations in two web-based applications. The first application presents the visualizations alone. The second application shows a possible integration of the visualizations in systems for mathematical knowledge management and mathematical information retrieval. The application converts LaTeX input to parallel MathML, computes basic similarity measures for mathematical expressions, and visualizes the results using VMEXT.

Recommendations

• An approach to similarity search for mathematical expressions using MathML
• MathTools: an open API for convenient MathML handling
• scientific article; zbMATH DE number 1795745
• Improving mathematics retrieval
• Mathematical Knowledge Management

Cites work

• A math query language with an expanded set of wildcards
• An approach to math-similarity search
• An Approach to Mathematical Search Through Query Formulation and Data Normalization
• An approach to similarity search for mathematical expressions using MathML
• Digital repository of mathematical formulae
• Growing the Digital Repository of Mathematical Formulae with Generic LaTex Sources
• Improving mathematics retrieval
• Mathoid: robust, scalable, fast and accessible math rendering for Wikipedia
• Strategies for parallel markup
• Structural similarity search for mathematics retrieval

Cited in

(4)

• Multi-attribute scientific documents retrieval and ranking model based on GBDT and LR
• Mathematical research data -- an analysis through zbMATH references
• MikiBeta : A General GUI Library for Visualizing Proof Trees
• VMEXT

Describes a project that uses

Uses Software

• CitePlag
• Mathoid
• LaTeX
• DLMF

This page was built for publication: VMEXT: a visualization tool for mathematical expression trees

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