Vers un compilateur pour Mathemagix
[ Homepage | Publications | Talks | TeXmacs | Mathemagix ]

Abstract

Progress report on the Mathemagix compiler.

Occasions: ANR Gecko meeting, Sophia Antibes, November 19, 2007

Documents: slideshow, TeXmacs source