Automatic Generation of Some Results in Finite Algebra
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.
Cite
Text
Fujita et al. "Automatic Generation of Some Results in Finite Algebra." International Joint Conference on Artificial Intelligence, 1993.Markdown
[Fujita et al. "Automatic Generation of Some Results in Finite Algebra." International Joint Conference on Artificial Intelligence, 1993.](https://mlanthology.org/ijcai/1993/fujita1993ijcai-automatic/)BibTeX
@inproceedings{fujita1993ijcai-automatic,
title = {{Automatic Generation of Some Results in Finite Algebra}},
author = {Fujita, Masayuki and Slaney, John K. and Bennett, Frank},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1993},
pages = {52-59},
url = {https://mlanthology.org/ijcai/1993/fujita1993ijcai-automatic/}
}