Machine-Assisted Proof

Abstract

In recent decades, several promising new ways to use computers to assist in mathematical research have emerged. Each of these types of tools has already found niche applications in different areas of mathematics, but what is particularly intriguing is the possibility of combining these tools together, with one tool counteracting the weaknesses of another.