The type inference and coercion facilities in the scratchpad II interpreter
SIGPLAN '87 Papers of the Symposium on Interpreters and interpretive techniques
Mathematica: a system for doing mathematics by computer (2nd ed.)
Mathematica: a system for doing mathematics by computer (2nd ed.)
AXIOM: the scientific computation system
AXIOM: the scientific computation system
A first report on the A# compiler
ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
The MAGMA algebra system I: the user language
Journal of Symbolic Computation - Special issue on computational algebra and number theory: proceedings of the first MAGMA conference
The C++ Programming Language
MODLISP -- an introduction (invited)
EUROSAM '79 Proceedings of the International Symposiumon on Symbolic and Algebraic Computation
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
Proceedings of the ACM SIGPLAN symposium on Very high level languages
FORMAC an experimental formula manipulation Compiler
ACM '64 Proceedings of the 1964 19th ACM national conference
A comparative study of language support for generic programming
OOPSLA '03 Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications
A language for computational algebra
ACM SIGPLAN Notices
Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
MPFR: A multiple-precision binary floating-point library with correct rounding
ACM Transactions on Mathematical Software (TOMS)
FGb: a library for computing Gröbner bases
ICMS'10 Proceedings of the Third international congress conference on Mathematical software
Fast library for number theory: an introduction
ICMS'10 Proceedings of the Third international congress conference on Mathematical software
Editorial: Macsyma: A personal history
Journal of Symbolic Computation
Mathemagix: the quest of modularity and efficiency for symbolic and certified numeric computation?
ACM Communications in Computer Algebra
| Hi-index | 0.00 |
In this paper, 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.