GNU TeXmacs

TeXmacs est un éditeur structuré, avec une forte séparation entre contenu et présentation. Ceci permet[5] :

• de concentrer l'effort de l'auteur sur la description sémantique du document plutôt que sur le rendu graphique ;
• de contextualiser le rendu de l'information (e.g. une même équation aura un aspect différent qu'elle soit « en ligne » ou « hors ligne ») ;
• de sélectionner, parcourir, ou modifier un document conformément à sa structure ;
• d'utiliser des feuilles de style pour adapter le rendu.

Pour tirer parti de cela, TeXmacs intègre des styles de documents prédéfinis (article, livre, séminaire, etc.), ainsi que des styles inspirés des styles d'éditeurs scientifiques (Elsevier, Springer, AMS, etc.).

TeXmacs permet de saisir des formules mathématiques de façon simple et efficace. Par exemple, le symbole ⇒ s'obtient en tapant la séquence =>. Des variantes s'obtiennent avec la touche tab. Ainsi, un grand nombre de symboles est accessible de façon efficace à partir de raccourcis claviers intuitifs[6].

La sémantique des équations est plus riche dans TeXmacs que dans TeX. Par exemple, les applications de fonction et les multiplications sont explicitées dans TeXmacs. Ceci permet notamment une interaction riche avec des outils externes de calcul symbolique et algébrique. Par ailleurs, TeXmacs dispose d'un outil de vérification sémantique des équations permettant de mettre automatiquement en relief une équation potentiellement erronée[7].

TeXmacs offre une interface intuitive avec différents systèmes de calcul scientifique, dont Mathemagix et Maxima. Il est possible d'exécuter des calculs en mode script, en mode "plié/déplié", en mode tableur, ainsi que via un système de références[8].

TeXmacs dispose d'un langage de macro qui permet de définir de nouvelles notations et de programmer des styles de rendu[9].

TeXmacs est lui-même dynamiquement programmable en Scheme. Par exemple, le code suivant introduit le raccourci clavier pour insérer un nouveau théorème :

Scheme] (kbd-map ("t h m" (make 'theorem)))))

TeXmacs fonctionne sur la majorité des plates-formes Unix, ainsi que sur Mac OS X et Windows. Les documents peuvent être exportés vers Postscript ou PDF. Des imports et exports sont possibles en TeX/LaTeX/BibTeX et HTML/MathML.

Une session Yacas dans TeXmacs

De nombreux outils externes sont également utilisables depuis TeXmacs. Des interfaces sont notamment disponibles pour

• des langages de programmation: CLISP, CMUCL, Python, QCL, R, Shell ;
• des systèmes de calcul algébrique et symbolique : Axiom, Giac, Macaulay 2, Mathematica, Maxima, MuPAD, PARI/GP, Reduce, Sage, Yacas ;
• des systèmes de calcul numérique : GNU Octave, Matlab, Scilab ;
• des outils pour les tracés graphiques : gnuplot, Graphviz, XYpic, Mathemagix ;
• autre : DraTeX, Eukleides, GTybalt, Lush.