Interactive layout and handling of mathematical formulas in structured documents - Inria - Institut national de recherche en sciences et technologies du numérique
Article Dans Une Revue Revue Africaine de Recherche en Informatique et Mathématiques Appliquées Année : 2002

Interactive layout and handling of mathematical formulas in structured documents

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

Laurence Rideau
  • Fonction : Auteur
  • PersonId : 832430

Résumé

Tools dedicated to mathematics need to display formulas and to interact with them. In this paper, we present a summary of existing tools, then we describe FIGUE, an incremental two dimensional layout engine, developed at INRIA, to get a specialized toolbox for building customized editors and graphical user interfaces. Finally we give an exemple of interface using FIGUE to develop mathematical proofs on computer.
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.
Fichier principal
Vignette du fichier
arima00105.pdf (651.95 Ko) Télécharger le fichier
Origine Fichiers éditeurs autorisés sur une archive ouverte
Loading...

Dates et versions

hal-01261698 , version 1 (25-01-2016)

Identifiants

Citer

Hanane Naciri, Laurence Rideau. Interactive layout and handling of mathematical formulas in structured documents. Revue Africaine de Recherche en Informatique et Mathématiques Appliquées, 2002, Volume 1, 2002, pp.95-125. ⟨10.46298/arima.1832⟩. ⟨hal-01261698⟩

Collections

INRIA INRIA2
78 Consultations
1314 Téléchargements

Altmetric

Partager

More