FoCDoC: The Documentation System of FoC

Manuel Maarek , Virgile Prévosto (1)

1 SPI - Sémantiques, preuves et implantation

FoC is a computer algebra library with a strong emphasis on formal certification of its algorithms. We present in this article our work on the link between the FoC language and OMDoc, an emerging XML standard to represent and share mathematical contents. On the one hand, we focus on the elaboration of the documentation system FoCDoc. After an analysis of an OMDoc approach of the documentation we present our own XML implementation (FoCDoc) and how we generate, from a FoC program, documentation files in HTML (MathML), LATEX and OMDoc. On the other hand, we show how it is possible to build tools to translate an OpenMath-OMDoc data into FoC. In other words, we describe in this article how the use of an open standard can help us in providing a friendly interface to the FoC-user, by allowing an interaction between FoC and various rendering engines or editors.

Domaines: Informatique [cs]

Manuel Maarek, Virgile Prévosto. FoCDoC: The Documentation System of FoC. Calculemus 2003 - 11th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Sep 2003, Roma, Italy. pp.31-42. ⟨hal-01531999⟩