Henri Lesourd: Software demonstration: TeXmacs

Abstract: In this talk, we show the TeXmacs scientific editor, and explain why it is of interest for mathematicians. We discuss first the basics, that are equivalent to what can be found in LaTeX, except that the editor is fully wysiwyg ; in addition, the general design of TeXmacs is much more cleaner, and more modern that the one of its TeX ancestor.

Next, we show the interfacing of TeXmacs with various kinds of external tools such as CAS, graphical tools, theorem provers. Most of the time, one can work with the tool from inside TeXmacs, and directly get a nicely formatted output (e.g. the result of an algebraic calculation, a proof tree, a Postscript image, ...) that can thus be simply cut & pasted somewhere else (in a paper that is currently in preparation, for example).

Liens: TeXmacs, logiciels externes