We classified communication and cooperation mechanisms for such environments and believe that the lack of a general framework is one reason why nowadays prototypes of interfaces failed to reach their objectives. Another reason is that computer algebra systems (CAS) still behave like black boxes.
We implemented several interfaces between theorem provers and CAS to demonstrate the benefits and to define future directions in the design of heterogeneous mathematical environments.