Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica - View it on GitHub