In our talk, we will give a presentation of the GNU TeXmacs program,
which can both be used for writing structured mathematical texts in
a wysiwyg way, and as an interface for other programs, such as computer
algebra systems or theorem provers. In the first part, we will show how
to write simple structured texts, mathematical formulas, macros and
style files, etc. In the second part, we will present several interfaces
with extern programs and explain how to write your own ones. Moreover,
we will briefly indicate how to extend the editor using the scripting
language Scheme.
For more information: http://www.texmacs.org.
| Back to MathUI proceedings | Proceedings last updated on Mon Sep 20 2004 |