Math-in-the-Middle

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view
|

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


_______________________________________________
Axiom-math mailing list
[hidden email]
https://lists.nongnu.org/mailman/listinfo/axiom-math