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

Abstract

Presentation of the Mathemagix system.

Occasions: seminar at INRIA Sophia Antipolis, 2007

Documents: slideshow, TeXmacs source