Hello, I found this paper recently:
Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach https://arxiv.org/abs/1603.06424Interesting, but axiom was only mentioned once there, more or less as a sidenote.
Pan _______________________________________________ Axiom-math mailing list [email protected] https://lists.nongnu.org/mailman/listinfo/axiom-math
