“…Theorem provers built on top of computer algebra systems: These include Analytica, Theorema, RedLog, and logical extensions to the Axiom system [35,33,36,37,38] . [34,44,45,46,47,48,49,50]. The example given above, bridging Isabelle and Maple, is an example of an approach from this category.…”