Interactive layout and handling of mathematical formulas in structured documents

Naciri, Hanane; Rideau, Laurence

HAL, hal-01261698 / Harvested from HAL

Résumé

Afficher des formules mathématiques et interagir avec ces formules sont des atouts primordiaux pour les outils informatiques dédiés aux mathématiques. Dans cet article, nous faisons un bilan des outils existants puis nous décrivons FIGUE, moteur d'affichage interactif incrémental et bidimensionnel, développé à l'INRIA, pour obtenir une bibliothèque dédiée au développement d'éditeurs de documents structurés et d'interfaces graphiques. Enfin nous montrons un exemple d'utilisation de FIGUE, dans le cadre du développement de preuves mathématiques sur ordinateur.

Publié le : 2002-07-04
Classification: Mathematical formulas, formatting tools, MathML, structure edition, electronic document, man-machine interface., outils de formatage, MathML, édition structurée, formules mathématiques, document numérique, interaction homme machine., [INFO]Computer Science [cs], [MATH]Mathematics [math]

@article{hal-01261698,
     author = {Naciri, Hanane and Rideau, Laurence},
     title = {Interactive layout and handling of mathematical formulas in structured documents},
     journal = {HAL},
     volume = {2002},
     number = {0},
     year = {2002},
     language = {en},
     url = {http://dml.mathdoc.fr/item/hal-01261698}
}

Naciri, Hanane; Rideau, Laurence. Interactive layout and handling of mathematical formulas in structured documents. HAL, Tome 2002 (2002) no. 0, . http://gdmltest.u-ga.fr/item/hal-01261698/