Portal de Periódicos da CAPES

A reduce-based OpenMath ↔ MathML translator

2000; Association for Computing Machinery; Volume: 34; Issue: 2 Linguagem: Inglês

10.1145/362001.362018

1557-9492

Luis Alvarez Sobreviela,

Mathematics, Computing, and Information Processing

The increase in importance of OpenMath and MathML as mathematical representations revealed the need for an interface relating them both transparently. An interface should offer the possibility of translating expressions from one standard to the other while remaining faithful to semantic meaning. Given that there is a distinction between MathML's and OpenMath's approach to encoding mathematics, such an interface would allow the user to benefit from the strong points of each standard.This issue motivated the design and implementation of my OpenMath/MathML Interface for REDUCE. The primary aim was to understand the differences and similarities between OpenMath and MathML, to assess their exchange-ability and develop a way of mapping one standard to the other. This analysis can be read in my project documentation which is available online at [2]. Finally, the objective was to produce an interface, which would translate OpenMath into MathML and vice versa fulfilling the requirements outlined above.This article intends to expose certain concerns encountered throughout the interface design and implementation, mainly the question of how to translate one standard into the other via an intermediate representation. I will assume the reader is familiar with OpenMath [1, 3], MathML [6] and REDUCE [4].