Hanane Naciri ; Laurence Rideau - Affichage et manipulation interactive de formules mathématiques dans les documents structurés

arima:1832 - Revue Africaine de Recherche en Informatique et Mathématiques Appliquées, 5 septembre 2002, Volume 1, 2002 - https://doi.org/10.46298/arima.1832
Affichage et manipulation interactive de formules mathématiques dans les documents structurésArticle

Auteurs : Hanane Naciri 1; Laurence Rideau 1

  • 1 Software and mathematics

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.


Volume : Volume 1, 2002
Publié le : 5 septembre 2002
Soumis le : 4 mars 2002
Mots-clés : 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]

Statistiques de consultation

Cette page a été consultée 204 fois.
Le PDF de cet article a été téléchargé 569 fois.