GNU TeXmacs, A free, structured, wysiwyg and technical text editor

  title={GNU TeXmacs, A free, structured, wysiwyg and technical text editor},
  author={Joris van der Hoeven},
The introductions of popular books on TEX and especially L TEX usually start with a celebration of the benefits of structured documents and generic markup. In this context, LTEX is often compared to wysiwyg (what you see is what you get) text editors, which are claimed to concentrate only on visual design and not logical design. See for instance section 1.5 of Lamport’s book on LTEX for some widely accepted reasons why not to use wysiwyg editors. In the past decade the empirical observation… 
GNU TeXmacs
In this demonstration, it is planned to show briefly how to edit mathematical texts with TeXmacs, how to use computer algebra systems, and how to add interfaces with new systems in a very efficient way.
Towards semantic mathematical editing
The syntax corrector that the paper has implemented enables us to upgrade existing documents and test the authors' parsing grammar on various books and papers from different sources, and a detailed analysis of these experiments is provided.
PATE ’ 07 Status Report on the Tight Integration of a Scientific Text-Editor and a Proof Assistance System
In order to foster the use of proof assistance systems, we int egrated the proof assistance system ΩMEGA with the standard scientific text-editor T EXMACS. We aim at a document-centric approach to
OMDoc - An Open Markup Format for Mathematical Documents [version 1.2]
  • M. Kohlhase
  • Computer Science
    Lecture Notes in Computer Science
  • 2006
In contrast to the OMDoc format, this report is a total re-write, it closes many documentation gaps, clarifies various remaining issues and adds a multitude of new examples.
GNU TEX macs Joris
Currently, in the fields of mathematics, physics and computer science, people use different tools for each task. For instance, mathematical texts are usually written with TEX/LTEX, computations are
Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors
An efficient hybrid parsing technique is presented that is able to deal with the scalability problem resulting from modifying or extending notation dynamically and manage partially or fully verified documents together with its justifications and notational information centrally in a mathematics repository using an extension of OMDoc.
PlatOmega: A Mediator between Text-Editors and Proof Assistance Systems
A generic mediator, called [email protected], between text-editors and proof assistants is presented, which automatically generates the corresponding formal representation for a proof assistant, in this case @Wmega.
PLATΩ : A Mediator between Text-Editors and Proof Assistance Systems
We present a generic mediator, called PlatΩ, between text-editors and proof assistants. PlatΩ aims at integrated support for the development, publication, formalization, and verification of
Preserving Syntactic Correctness While Editing Mathematical Formulas
The design of a new experimental mathematical editing mode which preserves the syntactic correctness of formulas during the editing process (i.e. all formulas can be parsed using a suitable, sufficiently rich grammar) is presented.
Integrating Proof Assistants as Reasoning and Verication Tools into a Scientic WYSIWYG Editor
An existing scientic WYSIWYG text editor is proposed which supports the preparation of mathematical publications in high quality typesetting and integrate a mathematical proof assistance system to support proof development and validation.