×

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

6 van der Hoeven, Joris
2 Autexier, Serge
2 Benzmüller, Christoph Ewald
2 Lecerf, Grégoire
2 Raux, Denis
2 Siekmann, Jörg H.
2 Wagner, Marc Oliver
1 Billingsley, William
1 Dietrich, Dominik
1 Dixon, Lucas
1 Fiedler, Armin
1 Fleuriot, Jacques D.
1 Gubinelli, Massimiliano
1 Kamareddine, Fairouz D.
1 Minimair, Manfred
1 Monagan, Michael B.
1 Neumann, Thomas
1 Peeters, Kasper
1 Poulain, François
1 Robinson, Peter
1 Schulz, Ewaryst
1 Weinzierl, Stefan
1 Wells, Joe B.
all top 5

Cited in 6 Serials

2 Computer Physics Communications
2 Journal of Applied Logic
2 ACM Communications in Computer Algebra
1 Journal of Symbolic Computation
1 Journal of Automated Reasoning
1 Applicable Algebra in Engineering, Communication and Computing
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)

Citations by Year