GNU TeXmacs

GNU TeXmacs est un logiciel libre pour la composition de documents scientifiques.

Si ce bandeau n'est plus pertinent, retirez-le. Cliquez ici pour en savoir plus.

Cet article ne s'appuie pas, ou pas assez, sur des sources secondaires ou tertiaires (février 2013).

Créateur Joris van der Hoeven (en)

Développé par Projet GNU^[1]

Dernière version 2.1.5 (le 12 mars 2026,
il y a 58 jours)

Dépôt svn.savannah.gnu.org/viewvc/texmacs

Faits en bref Créateur, Développé par ...

GNU TeXmacs

Description de cette image, également commentée ci-après

Logiciel libre pour la composition de documents scientifiques

Informations
Créateur	Joris van der Hoeven (en)
Développé par	Projet GNU^[1]
Dernière version	2.1.5 (le 12 mars 2026, il y a 58 jours)
Dépôt	svn.savannah.gnu.org/viewvc/texmacs
Écrit en	C++ et Scheme
Système d'exploitation	GNU/Linux, BSD, macOS et Microsoft Windows
Environnement	Multiplate-forme
Formats lus	GNU TeXmacs document (d) et GNU TeXmacs Scheme (d)
Formats écrits	GNU TeXmacs document (d) et GNU TeXmacs Scheme (d)
Langues	Multilingue
Type	Éditeur de texte
Licence	GNU GPL v3
Documentation	www.texmacs.org/tmweb/help/book.en.html
Site web	(en) Site officiel

Fermer

Le logiciel propose le support des formules mathématiques, des figures, d'un mode présentation, d'une correction orthographique, d'une gestion de révisions, d'une gestion des références bibliographiques, etc.

Origine

Le logiciel GNU TeXmacs a été conçu et écrit par Joris van der Hoeven. Le système s'inspire de LaTeX pour la séparation fond/forme et la structuration du contenu, et de Emacs pour son extensibilité. Un des objectifs majeurs de TeXmacs est de promouvoir le développement de logiciels libres pour et par les scientifiques^[2]^,^[3].

TeXmacs est un logiciel indépendant de TeX ou LaTeX. Il utilise ses propres algorithmes de typographie^[4].

Fonctionnalités

Un traitement de texte structuré

TeXmacs est un éditeur structuré séparant le contenu et sa 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 si elle est « 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.

TeXmacs propose

des styles de documents prédéfinis (article, livre, séminaire, etc.) ;
des styles inspirés des styles d'éditeurs scientifiques (Elsevier, Springer, AMS, etc.).

Typographie mathématique

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. Un grand nombre de symboles est accessible à partir de raccourcis claviers^[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 avec des outils externes de calcul symbolique et algébrique. TeXmacs dispose d'un outil de vérification sémantique des équations lui permettant de mettre automatiquement en relief une équation potentiellement erronée^[6].

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^[7].

Extensibilité

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

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)))))

Interopérabilité

Import/export

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.

Outils externes

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.

Historique des versions

Davantage d’informations Version, Date de sortie ...

Version	Date de sortie	Principaux changements
2.1.2	25 mai 2022
2.1.1	18 décembre 2021	Création de divers thèmes d'interface. Prise en charge améliorée de la haute résolution sous Linux et Windows. Progression sur la version Qt5. Base de données de polices mise à jour pour les polices Linux/Mac/Window préinstallées récentes.
2.1	23 juin 2021	L'interface est désormais basée sur Qt (ce qui a permis de développer des versions natives pour Linux, MacOS et Windows). Évolution vers une suite bureautique scientifique : mode de présentation intégré, éditeur de dessins, contrôle de version, outil de bibliographie, etc. Meilleur support de la microtypographie et d'une grande variété de polices. Les convertisseurs pour LaTeX et HTML ont été perfectionnés Support natif pour Pdf.
1.99.6	21 décembre 2017	Nouveau saut de page avec un meilleur support des objets flottants et des notes de bas de page. Génération PDF améliorée basée sur Hummus. Quelques nouveaux algorithmes de micro typographie : accents mathématiques, scripts, etc. Support amélioré des polices TeX Gyre. Corrections de bugs diverses.
1.99.4	18 décembre 2015	Les changements les plus importants sont : Beaucoup d'améliorations de l'interface utilisateur. Améliorations variées de la composition du texte (formules mathématiques, règles de ponctuation pour les autres langues que l'anglais, support de nouvelles polices, espacement entre les caractères, etc.) Support expérimental de la gestion intégrée de la bibliographie. Améliorations de l'import/export LateX. Amélioraytion du mode présentation. Support de Croation et Greek. Etc. etc.
1.0.7.17	10 juillet 2012	Génération automatique de la documentation des fichiers Scheme. Amélioration diverses de l'import LaTeX et de la prise en compte des différents codage des caractères.
1.0.7.16	10 juillet 2012	support amélioré du logiciel de calcul formel Reduce (en) ; support rudimentaire de svn ; améliorations de la conversion depuis ou vers des documents LaTeX ; interface expérimentale pour Inkscape ; support expérimental de macros graphiques ;
1.0.7.15	17 mars 2012	corrections de bogues, première ébauche d'un tableur et de quelques composants d'interface graphique ; mode d'édition spécial pour la documentation ;
1.0.7.14	19 octobre 2011	nouvel ensemble d'icônes en environnement Qt ;
1.0.7.13	18 septembre 2011	corrections de bogues dont le support des images sous Qt ; module d'extension dédié au logiciel de calcul formel FriCAS ;
1.0.7.12	8 septembre 2011	interface graphique Qt (interface utilisateur par défaut) ;
1.0.7	16 octobre 2008	cette version est livrée avec une implémentation expérimentale de l'interface graphique en Qt.
1.0.6	6 février 2006	support MathML ; amélioration de la conversion de documents en fichiers HTML et LaTeX ; nouveaux modules d'extension pour Maple et Mathematica ; ajout d'animations simples ; démarrage plus rapide ; ébauche d'une documentation de l'API Scheme ;