Skip to Main content Skip to Navigation
New interface
Journal articles

Interactive layout and handling of mathematical formulas in structured documents

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

Cited literature [11 references]  Display  Hide  Download

https://hal.inria.fr/hal-01261698
Contributor : Coordination Episciences Iam Connect in order to contact the contributor
Submitted on : Monday, January 25, 2016 - 5:11:41 PM
Last modification on : Wednesday, August 31, 2022 - 12:14:23 PM
Long-term archiving on: : Tuesday, April 26, 2016 - 11:32:14 AM

File

arima00105.pdf
Publisher files allowed on an open archive

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

64

Files downloads

800