Articles on TeXmacs

Besides the integrated documentation, the manual [6], and the book “The Jolly Writer” [13], there are several papers on TeXmacs that may be worthwhile to read:



Ph. Audebaud and L. Rideau. Texmacs as authoring tool for formal developments. Electr. Notes Theor. Comput. Sci.Volume, 103:27–48, 2004.


A. G. Grozin. TeXmacs interfaces to Maxima, MuPAD and Reduce. In V. P. Gerdt, editor, Proc. Int. Workshop Computer algebra and its application to physics, number 11-2001-279 in JINR E5, page 149. Dubna, June 2001. Arxiv cs.SC/0107036.


A. G. Grozin. TeXmacs-Maxima interface. Arxiv cs.SC/0506226, June 2005.


A. G. Grozin. TeXmacs-Reduce interface. CoRR, abs/1204.3020, 2012.


M. Gubinelli, J. van der Hoeven, F. Poulain, and D. Raux. GNU TeXmacs: towards a scientific office suite. In Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, pages 562–569. 2014.


J. van der Hoeven. GNU TeXmacs User Manual. 1998. Available from


J. van der Hoeven. GNU TeXmacs: a free, structured, wysiwyg and technical text editor. In Daniel Filipo, editor, Le document au XXI-ième siècle, volume 39–40, pages 39–50. Metz, 14–17 mai 2001. Actes du congrès GUTenberg.


J. van der Hoeven. GNU TeXmacs. In Sung-il Pae and H. Park, editors, Proc. ASCM, pages 252–254. Seoul, Korea, December 2005. KIAS.


J. van der Hoeven. GNU TeXmacs. In Wolfram Decker, Mike Dewar, Erich Kaltofen, and Stephen Watt, editors, Challenges in Symbolic Computation Software, number 06271 in Dagstuhl Seminar Proceedings. Dagstuhl, Germany, 2006. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany.


J. van der Hoeven. GNU TeXmacs: a scientific editing platform., 2006.


J. van der Hoeven. Towards semantic mathematical editing. JSC, 71:1–46, 2015.


J. van der Hoeven. Mathematical font art. In Gert-Martin Greuel, Thorsten Koch, Peter Paule, and Andrew Sommese, editors, Mathematical Software – ICMS 2016: 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings, pages 522–529. Cham, 2016. Springer International Publishing.


J. van der Hoeven. The Jolly Writer. Your Guide to GNU TeXmacs. Scypress, 2020.


J. van der Hoeven, A. Grozin, M. Gubinelli, G. Lecerf, F. Poulain, and D. Raux. GNU TeXmacs: a scientific editing platform. ACM Commun. Comput. Algebra, 47(1/2):59–61, 2013.


J. van der Hoeven, G. Lecerf, and D. Raux. Preserving syntactic correctness while editing mathematical formulas. In I. Kotsireas and E. Martínez-Moro, editors, Proc. Applications of Computer Algebra 2015, volume 198 of Springer Proceedings in Mathematics and Statistics, pages 459–471. Cham, 2015. Springer.


J. van der Hoeven and F. Poulain. Conservative conversion between LaTeX and TeXmacs. Technical Report, HAL, 2014.


L. Mamane and H. Geuvers. A document-oriented Coq plugin for TeXmacs. In Mathematical User-Interfaces Workshop 2006. St Anne's Manor, Workingham, UK, 2006.


N. Ratier. TeXmacs quick-start guide., 2005.


A. Seidl. TeXmacs in 60 minutes., 2003.