TeXmacs
swMATH ID: | 5355 |
Software Authors: | Van Der Hoeven, J. |
Description: | 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. |
Homepage: | http://www.texmacs.org/ |
Programming Languages: | C++, Scheme |
Keywords: | Internet; Web; Browsers; Office/Business; Office Suites; Scientific/Engineering; Mathematics; Visualization; Software Development; Documentation; Terminals; Text Editors; Emacs; Word Processors; Text Processing; fonts; Markup; HTML/XHTML; TeX/LaTeX |
Related Software: | Isabelle/HOL; Coq; Isabelle; Mizar; Lambda-Clam; Nuprl; Isar; TPS; GAP; LaTeX; OMDoc; Automath; MAYA; HOL; ML; Centaur; CtCoq; SageMath; Maple; Matita |
Cited in: | 16 Documents |
Standard Articles
2 Publications describing the Software, including 1 Publication in zbMATH | Year |
---|---|
GNU TeX\(_{\mathrm{MACS}}\) towards a scientific office suite. Zbl 1434.68632 Gubinelli, Massimiliano; van der Hoeven, Joris; Poulain, François; Raux, Denis |
2014
|
GNU TEXmacs: a scientific editing platform van der Hoeven, Joris; Grozin, Andrey; Gubinelli, Massimiliano; Lecerf, Grégoire; Poulain, François; Raux, Denis |
2013
|
all
top 5
Cited by 23 Authors
all
top 5
Cited in 6 Serials
all
top 5
Cited in 6 Fields
16 | Computer science (68-XX) |
2 | Field theory and polynomials (12-XX) |
1 | Number theory (11-XX) |
1 | Special functions (33-XX) |
1 | Numerical analysis (65-XX) |
1 | Quantum theory (81-XX) |