Math´ematiqueset web Braise D´emonstration
Braise, web et math´ematiques
Fran¸coisDagorn
IFSIC / Universit´ede Rennes 1
Novembre 2008
Fran¸cois Dagorn Braise, web et math´ematiques Math´ematiqueset web Probl`eme Braise Des traducteurs D´emonstration TeX4ht Probl`eme
Les documents existent et sont r´edig´es en LATEX Pour publier sur le web, il faut produire des documents HTML XHTML + MathML XHTML + jsMath PDF ...
Fran¸cois Dagorn Braise, web et math´ematiques Math´ematiqueset web Probl`eme Braise Des traducteurs D´emonstration TeX4ht Des traducteurs
Des outils de conversion existent car LATEX est un langage structur´eassez proche d’un langage `abalise : Example
\begin{itemize}
- \item bla bla ......
- bla bla ...... \item bla bla ......
- bla bla ...... \end{itemize}
Fran¸cois Dagorn Braise, web et math´ematiques Math´ematiqueset web Probl`eme Braise Des traducteurs D´emonstration TeX4ht Deux types de traducteurs
On trouve deux types de traducteurs : code sp´ecifique qui analyse le texte source et effectue des traductions cabl´ees (LaTeX2HTML, HEVEA, ...) ; instrumentalisation de LATEX pour le d´evier de son fonctionnement naturel (TeX4ht, lXir).
Fran¸cois Dagorn Braise, web et math´ematiques Math´ematiqueset web Probl`eme Braise Des traducteurs D´emonstration TeX4ht TeX4ht
Tex4ht est connu depuis 1998 : Eitan Gurari Ohio State University http://www.cse.ohio-state.edu/∼gurari/TeX4ht/mn.html
Fran¸cois Dagorn Braise, web et math´ematiques Math´ematiqueset web Probl`eme Braise Des traducteurs D´emonstration TeX4ht Comment fonctionne TeX4ht
Une compilation LATEX s’effectue de la mani`ere suivante : latex → tex → dvi → pdf Example 1 A x en LTEX→ \frac{1}{x} 1 x en TEX→ {1 \over x}
LATEX→ TEX: \def\frac #1#2 {#1 \over #2} (dans un fichier de definition) LATEX→ MathML : \def\frac #1#2 {
Fran¸cois Dagorn Braise, web et math´ematiques Math´ematiqueset web Probl`eme Braise Des traducteurs D´emonstration TeX4ht Les avantages de TeX4ht
Le moteur ne change pas, c’est LATEX qui effectue l’analyse du texte source ; Il suffit de r´e´ecrireles d´efinitions et leurs traductions.
Fran¸cois Dagorn Braise, web et math´ematiques Math´ematiqueset web Probl`eme Braise Des traducteurs D´emonstration TeX4ht Une traduction avec TeX4ht
Fran¸cois Dagorn Braise, web et math´ematiques Math´ematiqueset web Probl`eme Braise Des traducteurs D´emonstration TeX4ht
TeX4ht ouvre LATEX
HTML ou XHTML avec images PNG pour les expressions math´ematiques XHTML + MathML XHTML + JSMath OpenDocument (+ MathML) DocBook (+ MathML) Text Encoding Initiative (TEI)
Fran¸cois Dagorn Braise, web et math´ematiques Les principes de Braise Math´ematiqueset web LATEX comme format pivot Braise L’interface ´etudiant D´emonstration L’interface enseignant Les ingr´edients Les principes de Braise
enseignants en math´ematiques → LATEX cr´eation d’une chaˆıne´editoriale d´edi´ee `ala production d’exercices de math´ematiques → XML LATEX comme format pivot → tex4ht
Fran¸cois Dagorn Braise, web et math´ematiques Les principes de Braise Math´ematiqueset web LATEX comme format pivot Braise L’interface ´etudiant D´emonstration L’interface enseignant Les ingr´edients La base d’exercices
Fran¸cois Dagorn Braise, web et math´ematiques Les principes de Braise Math´ematiqueset web LATEX comme format pivot Braise L’interface ´etudiant D´emonstration L’interface enseignant Les ingr´edients atomisation d’un exercice
Les atomes d’un exercice (´enonc´e, titre, `aretenir, aides, ...) sont traduits s´epar´ement (par tex4ht) dans les dialectes retenus : HTML + images PNG XHTML + MathML DocBook + images PNG (PraticeUC d’Unisciel) DocBook + MathML Le r´esultatde la traduction est stock´edans un r´epertoire et sert de base de donn´eespour l’interface ´etudiant (la face visible de Braise).
Fran¸cois Dagorn Braise, web et math´ematiques Les principes de Braise Math´ematiqueset web LATEX comme format pivot Braise L’interface ´etudiant D´emonstration L’interface enseignant Les ingr´edients Exploitation de la traduction
enonce.tex → enonce.html (version HTML) enonce.tex → enonce.xml (version XHTML + MathML)
Example $enonce =∼ s/(.*)
(.*)< \body>(.*)/$2/Fran¸cois Dagorn Braise, web et math´ematiques Les principes de Braise Math´ematiqueset web LATEX comme format pivot Braise L’interface ´etudiant D´emonstration L’interface enseignant Les ingr´edients Le r´epertoire de la traduction
Fran¸cois Dagorn Braise, web et math´ematiques Les principes de Braise Math´ematiqueset web LATEX comme format pivot Braise L’interface ´etudiant D´emonstration L’interface enseignant Les ingr´edients L’acc`es`aun exercice
requˆete d’un navigateur ⇓ s´election d’un exercice dans la base (parse Exos.xml) ⇓ constitution d’un flux XML contenant tout ce qui doit ˆetre montr´e (on picore les bouts d’exercices au format d´esir´e,les navigateurs MathML sont automatiquement d´etect´es). ⇓ XSLT ⇓ navigateur
Fran¸cois Dagorn Braise, web et math´ematiques Les principes de Braise Math´ematiqueset web LATEX comme format pivot Braise L’interface ´etudiant D´emonstration L’interface enseignant Les ingr´edients Mettre `ajour un exercice
mettre `ajour la structure Exos.xml (interface web d´edi´ee) ; traduire l’exercice modifi´e; produire un document PDF comprenant tous les exercices d’un chapitre.
Fran¸cois Dagorn Braise, web et math´ematiques Les principes de Braise Math´ematiqueset web LATEX comme format pivot Braise L’interface ´etudiant D´emonstration L’interface enseignant Les ingr´edients Les ingr´edients
LATEX tex4ht libxslt (du projet Gnome) Perl
Fran¸cois Dagorn Braise, web et math´ematiques Math´ematiqueset web Braise D´emonstration
Fran¸cois Dagorn Braise, web et math´ematiques