 |
 |
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.1832Affichage et manipulation interactive de formules mathématiques dans les documents structurésArticle
- 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.
Source : HAL:hal-01261698v1
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 245 fois.
Le PDF de cet article a été téléchargé 631 fois.