Affichage et manipulation interactive de formules mathématiques dans les documents structurés - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport Année : 2001

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

Laurence Rideau
  • Fonction : Auteur
  • PersonId : 832430

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 ce rapport, 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.
Fichier principal
Vignette du fichier
RR-4140.pdf (614.24 Ko) Télécharger le fichier
Loading...

Dates et versions

inria-00072486 , version 1 (24-05-2006)

Identifiants

  • HAL Id : inria-00072486 , version 1

Citer

Hanane Naciri, Laurence Rideau. Affichage et manipulation interactive de formules mathématiques dans les documents structurés. RR-4140, INRIA. 2001. ⟨inria-00072486⟩
120 Consultations
789 Téléchargements

Partager

Gmail Facebook X LinkedIn More