Computer Theorem Proving in Mathematics