Interfacing Mathemagix with C++


We give a detailed description of the interface between the Mathemagix language and C++. In particular, we describe the mechanism which allows us to import a C++ template library (which only permits static instantiation) as a fully generic Mathemagix template library.

Occasion: ISSAC 2013, Boston, June 27, 2013

Coauthor: Grégoire Lecerf

Documents: slideshow, TeXmacs source