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 metadatas

Cited literature [11 references]  Display  Hide  Download

https://hal.inria.fr/hal-01261698
Contributor : Coordination Episciences Iam <>
Submitted on : Monday, January 25, 2016 - 5:11:41 PM
Last modification on : Wednesday, October 30, 2019 - 4:34:07 PM
Long-term archiving on: Tuesday, April 26, 2016 - 11:32:14 AM

File

arima00105.pdf
Publisher files allowed on an open archive

Identifiers

  • HAL Id : hal-01261698, version 1

Collections

Citation

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

Share

Metrics

Record views

173

Files downloads

713