Presentation of the Mathemagix system.

Occasions: seminar at INRIA Sophia Antipolis, 2007

Documents: slideshow, TeXmacs source