Math-in-the-Middle

[email protected] Tue, 18 Dec 2018 02:49:12 +0100

Newsgroups	gmane.comp.mathematics.axiom.general
Message-ID	<20181218024912.Horde.Ud-rBzxUstUNRb4z76aOUbU@webmail.in-berlin.de>

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