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

Hanane Naciri 1 Laurence Rideau
1 LEMME - Software and mathematics
CRISAM - Inria Sophia Antipolis - Méditerranée
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.
Document type :
Reports
Complete list of metadatas

Cited literature [26 references]  Display  Hide  Download

https://hal.inria.fr/inria-00072486
Contributor : Rapport de Recherche Inria <>
Submitted on : Wednesday, May 24, 2006 - 10:06:10 AM
Last modification on : Saturday, January 27, 2018 - 1:31:24 AM
Long-term archiving on: Sunday, April 4, 2010 - 11:09:59 PM

Identifiers

  • HAL Id : inria-00072486, version 1

Collections

Citation

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

Share

Metrics

Record views

217

Files downloads

707