Application of automated deduction to the search for single axioms for exponent groups
Conference
·
OSTI ID:10150745
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 reasoning.
- Research Organization:
- Argonne National Lab., IL (United States)
- Sponsoring Organization:
- USDOE, Washington, DC (United States)
- DOE Contract Number:
- W-31109-ENG-38
- OSTI ID:
- 10150745
- Report Number(s):
- ANL/CP--75803; CONF-9207101--1; ON: DE92015271
- Country of Publication:
- United States
- Language:
- English
Similar Records
Application of automated deduction to the search for single axioms for exponent groups
A Short Sheffer axiom for Boolean algebra.
Conquering the meredith single axiom.
Conference
·
Mon Feb 10 23:00:00 EST 1992
·
OSTI ID:5062126
A Short Sheffer axiom for Boolean algebra.
Technical Report
·
Fri Jun 30 00:00:00 EDT 2000
·
OSTI ID:764209
Conquering the meredith single axiom.
Journal Article
·
Sun Dec 31 23:00:00 EST 2000
· J. Automat. Reason.
·
OSTI ID:942933