To check the correctness of the result given by maple it would be nice to integrate a theory prover capability in maple or give more support to work them together.

Please Wait...