[Axiom-math] Math-in-the-Middle

[panaxiom]

Hello,

I found this paper recently:

Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach
  https://arxiv.org/abs/1603.06424


Interesting, but axiom was only mentioned once there, more or less as  
a sidenote.


Pan