Application of automated deduction to the search for single axioms for exponent groups
Description:
We present new results in axiomatic group theory obtained by using automated deduction programs. The results include single axioms, some with the identity and others without, for groups of exponents 3, 4, 5 and 7, and a general form for single axioms for groups of odd exponent. The results were obtained by using the programs in three separate ways: as a symbolic calculator, to search for proofs,and to search for couterexamples. We also touch on relations between logic programming and automated …
more
Date:
February 11, 1992
Creator:
McCune, W. & Wos, L.
Item Type:
Refine your search to only
Article
Partner:
UNT Libraries Government Documents Department