GNU TeXmacs is a free 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, graphics, mathematics, interactive contents, etc.). The rendering engine uses high-quality typesetting algorithms so as to produce professionally looking documents, which can either be printed out or presented from a laptop.

Mathemagix is a free computer algebra system under development. It consists of the following ingredients:

The Mathemagix language

Mathemagix provides a new high level language which is imperative, strongly typed, with overloading and parametrized types. Mathemagix can be used as an “extension language”, i.e. it is easy to embed into other applications and to extend with existing libraries written in C or C++. An interesting feature is that this extension mechanism supports template types. A compiler is under develop, which should be able to generate fast code (comparable to the speed of C or C++).

The Mathemagix packages

Standard libraries are available for algebraic computation (large numbers, polynomials, power series, matrices, etc. based on FFT and other fast algorithms) for exact and approximate computations. This should make Mathemagix particularly suitable as a bridge between symbolic computation and numerical analysis.

These packages, which are currently written in C++, are connected to the interpreter (and later to the compiler), but can also be used independently as standalone libraries. Separate documentation for each of the packages is also available.

Graphical front-ends

The program can be used within GNU TeXmacs as a primary interface but also provides the user with a usual ascii shell mode and a convenient advanced programmer interface.

The program is also connected to the algebraic-geometric modeler Axel as a tool for visualisation and geometric computation.