5740 - Affichage et manipulation interactive de formules mathématiques dans les documents structurés

Description bibliographique

Auteur :

Naciri, Hanane (INRIA. Institut national de recherche en informatique et en automatique. France) ; Rideau, Laurence (INRIA. Institut national de recherche en informatique et en automatique. France)

Éditeur :

INRIA. Institut national de recherche en informatique et en automatique. France

Ressource AUF

Page source :

Arima, revue africaine de la recherche en informatique et mathématiques appliquées, vol. 1, http://www-direction.inria.fr/international/arima/index.html

Langue :

français

ISSN :

ISSN 1638-5713

Date de publication :

2002

Description du contenu

Spécialité :

Sciences exactes - Mathématiques - Mathématiques appliquées
Electronique, informatique et télécommunications - Logiciels - Graphisme, infographie

Mots clés :

formule mathématique ; outil de formatage ; MathML ; édition structurée ; document numérique ; interaction homme machine ; affichage interactif ; interface graphique

Table des matières :

1. Introduction
2. Affichage et manipulation d'objets structurés
3. Format d'échange de données : MathML
4. Application : développement d'interfaces graphiques
5. Conclusion
6. Bibliographie

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.(résumé d'auteur)

Accès à la ressource

Format :

PDF
Taille du fichier : entre 500 ko et 1 Mo

URL de référence :

http://www-direction.inria.fr/international/arima/001/00105.html

Autres URLs :

http://www-direction.inria.fr/international/arima/001/pdf/arima00105.pdf

Notice mise en ligne le 02/06/2005