Output details

Classification Results in Quasigroup and Loop Theory via a Combination of Automated Reasoning Tools

<11>Work on computer creativity combining machine learning and automated reasoning to generate novel qualitative classification theorems in abstract algebra. Automated reasoning has rarely impact on main stream mathematics, if it does it is to aid in or verify proofs of already known or proposed theorems. This is the first time novel theorems were discovered and contributed by an automaton and have been published in a regular mathematics journal. Also for the first time up to fourteen different, heterogeneous reasoning systems had been combined to generate and verify results. Combining reasoning systems has since become a main stream topic of research.