---
title: "Automatic Generation of Some Results in Finite Algebra"
authors:
  - "Masayuki Fujita"
  - "John K. Slaney"
  - "Frank Bennett"
doi: ""
url: "https://ijcai.org/proceedings/1993/8"
pdf: "https://ijcai.org/proceedings/1993/0008.pdf"
venue: "Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence"
year: 1993
pages: "52-58"
track: "Automated Reasoning"
keywords:
---

# Automatic Generation of Some Results in Finite Algebra

Masayuki Fujita, John K. Slaney, Frank Bennett

*Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence*, pages 52-58.

## Abstract

This is a report of the application of the Model Generation Theorem Prover developed at ICOT to problems in the theory of finite quasigroups. Several of the problems were previously open. In this paper, we discuss our theorem proving methods, related to those of the existing provers SATCHMO (Manthey, Bry) and OTTER (McCune), and note how parallel processing on the ICOT Parallel Inference Machines was used to obtain high speeds. We then present and discuss our machine-aided investigation of seven problems concerning the existence of types of quasigroup.