Automatic Generation of Some Results in Finite Algebra

Fujita, Masayuki; Slaney, John K.; Bennett, Frank

Automatic Generation of Some Results in Finite Algebra

Masayuki Fujita, John K. Slaney, Frank Bennett

Download BibTeX Cite

Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence. Automated Reasoning. 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.

Masayuki Fujita, John K. Slaney, and Frank Bennett. 1993. Automatic Generation of Some Results in Finite Algebra. In Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, IJCAI-93. IJCAI, 52–58. https://ijcai.org/proceedings/1993/8

@inproceedings{ijcai1993p8,
  title     = {Automatic Generation of Some Results in Finite Algebra},
  author    = {Fujita, Masayuki and Slaney, John K. and Bennett, Frank},
  booktitle = {Proceedings of the Thirteenth International Joint Conference on
               Artificial Intelligence, {IJCAI-93}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Ruzena Bajcsy},
  pages     = {52--58},
  year      = {1993},
  note      = {Automated Reasoning},
  url       = {https://ijcai.org/proceedings/1993/8},
}

TY  - CPAPER
TI  - Automatic Generation of Some Results in Finite Algebra
AU  - Fujita, Masayuki
AU  - Slaney, John K.
AU  - Bennett, Frank
T2  - Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, IJCAI-93
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1993
SP  - 52
EP  - 58
UR  - https://ijcai.org/proceedings/1993/8
ER  -