VMEXT: A Visualization Tool for Mathematical Expression Trees

07/12/2017
by   Moritz Schubotz, et al.
0

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.

READ FULL TEXT
research
11/30/2020

Automatic Mathematical Information Retrieval to Perform Translations up to Computer Algebra Systems

In mathematics, LaTeX is the de facto standard to prepare documents, e.g...
research
09/17/2021

MathTools: An Open API for Convenient MathML Handling

Mathematical formulae carry complex and essential semantic information i...
research
09/19/2018

Chalktalk : A Visualization and Communication Language -- As a Tool in the Domain of Computer Science Education

In the context of a classroom lesson, concepts must be visualized and or...
research
05/17/2023

Odyssey: An Interactive Workbench for Expert-Driven Floating-Point Expression Rewriting

In recent years, researchers have proposed a number of automated tools t...
research
08/21/2023

Algebraic Reasoning About Timeliness

Designing distributed systems to have predictable performance under high...

Please sign up or login with your details

Forgot password? Click here to reset