[reply to this post]
I know a lot of the history of Axiom (having had many talks about it with James Davenport over the last 6 months), NAG, Maple, etc.
What about if, as result of those talks, you (both?) write a comparative review about the main design ideas of either system and their impact on past and future development?
I would further suggest including the issue of types and properties. For instance, concrete examples where one of the approaches, weak vs strong typed (or typed vs typeless, depending on the author), proved much better than the other.
Also, pro and cons of the Maple package approach for exporting/rebinding operators compared to the Axiom domain export approach.
And properties, that were added late to Maple, but their equivalent "provisos" were not added to Axiom (ref1, ref2).