Proving and Computing: Applying Automated Reasoning to the Verification of Symbolic Computation Systems (Invited Talk) | Publicación