VMEXT：一种数学表达式树可视化工具

数学表达式可表示为一棵树，由终端符号（如标识符或数字（叶节点））以及函数或运算符（非叶节点）组成。表达式树是存储和处理数学表达式的重要机制，也是最常用的数学表达式结构可视化形式。通常，研究人员和从业者使用通用工具手动可视化表达式树。这种方法费力、冗余且容易出错。手动可视化代表的是用户对表达式标记应如何的设想，而不一定是实际的标记。本文提出VMEXT——一个免费开源的工具，用于直接从并行MathML可视化表达式树。VMEXT同时可视化数学表达式的表示元素和语义结构，使用户能够快速发现不影响表达式表示的Content MathML标记中的缺陷。以往识别此类差异需要阅读冗长复杂的MathML标记。VMEXT还允许可视化两个表达式中相似和相同的元素。可视化表达式相似性可以支持开发人员设计检索方法，并为数学信息检索系统的用户提供更佳的交互概念。我们在两个基于网络的应用中演示了VMEXT的可视化。第一个应用单独展示可视化。第二个应用展示了可视化在数学知识管理和数学信息检索系统中的可能集成。该应用将LaTeX输入转换为并行MathML，计算数学表达式的基本相似性度量，并使用VMEXT可视化结果。