Towards Intelligent Summarising and Browsing of Mathematical Expressions
Ivelina Stoyanova
Abstract:
Most computer algebra systems, by default, output the result of the
symbolic computations in expanded form with all the details
which usually makes the result difficult to read. Many systems have
some techniques to alleviate this difficulty, but the techniques are usually
system-specific, and often not programmable.
This paper describes the application OpenMath Browser. Its primary
purpose is to serve as a tool for demonstrating and testing of summarisation
and browsing approaches. Being based on OpenMath as its input, it is
not system-specific, and can serve as a basis for experiments into the
correct way(s) of displaying, and interacting with, mathematical expresions
independently of their origin.