Introduction to Mathemagix
[ Homepage | Publications | Talks | TeXmacs | Mathemagix ]

Abstract

We present an overview of the current state of the Mathemagix language and compiler.

Occasion: SAGA winter school, Auron, France, March, 15, 2010

Documents: slideshow, TeXmacs source