TeXmacs

GNU TeXmacs is a free wysiwyw (what you see is what you want) editing platform with special features for scientists. The software aims to provide a unified and user friendly framework for editing structured documents with different types of content: text, mathematics, graphics, interactive content. TeXmacs can also be used as an interface to many external systems for computer algebra, numerical analysis, and statistics. New presentation styles can be written by the user and new features can be added to the editor using Scheme. (Source: http://freecode.com/)


References in zbMATH (referenced in 13 articles , 1 standard article )

Showing results 1 to 13 of 13.
Sorted by year (citations)

  1. Minimair, Manfred: Collaborative computer algebra (2017)
  2. van der Hoeven, Joris; Lecerf, Grégoire; Raux, Denis: Preserving syntactic correctness while editing mathematical formulas (2017)
  3. van der Hoeven, Joris: Towards semantic mathematical editing (2015)
  4. van der Hoeven, Joris; Grozin, Andrey; Gubinelli, Massimiliano; Lecerf, Grégoire; Poulain, François; Raux, Denis: GNU TEXmacs: a scientific editing platform (2013) ioport
  5. Dietrich, Dominik; Schulz, Ewaryst; Wagner, Marc: Authoring verified documents by interactive proof construction and verification in text-editors (2008)
  6. Kamareddine, Fairouz; Wells, J. B.: Computerizing mathematical text with MathLang (2008)
  7. Autexier, Serge; Fiedler, Armin; Neumann, Thomas; Wagner, Marc: Supporting user-defined notations when integrating scientific text-editors with proof assistance systems (2007)
  8. Billingsley, William; Robinson, Peter: Student proof exercises using MathsTiles and Isabelle/HOL in an intelligent book (2007)
  9. Peeters, Kasper: Cadabra: a field-theory motivated symbolic computer algebra system (2007)
  10. Dixon, Lucas; Fleuriot, Jacques: A proof-centric approach to mathematical assistants (2006)
  11. Siekmann, Jörg; Benzmüller, Christoph; Autexier, Serge: Computer supported mathematics with $\Omega$MEGA (2006)
  12. Siekmann, Jörg; Benzmüller, Christoph: $\Omega$MEGA: Computer supported mathematics (2004)
  13. Weinzierl, Stefan: Gtybalt-a free computer algebra system (2004)