Search
Close this search box.

Contents

Journal of Combinatorial Mathematics and Combinatorial Computing

  • Research article

Shortest Single Axioms for SQS-Skeins and Mendelsohn Ternary Quasigroups

Nick C. Fiala1, Keith M. Agre1
1St. Cloud State University St. Cloud, MN 56301
  • Published: 30/11/2010

Abstract

In this note, we exhibit shortest single axioms for SQS-skeins and Mendelsohn ternary quasigroups that were found with the aid of the automated theorem-prover Prover9 and the finite model-finder

Information
Guidelines
CP Initiatives
Follow CP
Facebook Twitter Linkedin
1970-2024 CP (Manitoba, Canada) unless otherwise stated.
Citation
Nick C. Fiala, Keith M. Agre. Shortest Single Axioms for SQS-Skeins and Mendelsohn Ternary Quasigroups[J], Journal of Combinatorial Mathematics and Combinatorial Computing, Volume 075. 233-238. DOI: .