Single Axioms for Odd Exponent Groups (1995)

Cached

Download Links

by Joan Hart , Kenneth Kunen
Venue:J. Automated Reasoning
Citations:14 - 6 self

Active Bibliography

SINGLE AXIOMS: WITH AND WITHOUT COMPUTERS – William Mccune
44 Otter: The CADE-13 Competition Incarnations – William McCune, Larry Wos - 1997
Single Implicative Axioms for Groups and for Abelian Groups – W. Mccune, A. D. Sands - 1996
1 Automated Equational Deduction with Otter – William Mccune, R. Padmanabhan - 1995
3 Computer and Human Reasoning: Single Implicative Axioms for Groups and for Abelian Groups – W. Mccune, A. D. Sands - 1996
A shortest single axiom with neutral element for commutative Moufang loops of exponent 3 – Nick C. Fiala
7 The Shortest Single Axioms for Groups of Exponent 4 – Kenneth Kunen - 1993
100 The TPTP Problem Library – Christian B. Suttner, Geoff Sutcliffe - 1999
9 Single Identities for Ternary Boolean Algebras – R. Padmanabhan, W. Mccune - 1993
8 Application of Automated Deduction to the Search for Single Axioms for Exponent Groups – William Mccune, Larry Wos - 1995
1 Planning Equivalence Proofs – Lassaad Cheikhrouhou, Volker Sorge, Fachbereich Informatik - 1998
Computational Discovery in Pure Mathematics – Simon Colton
1 The History and Concept of Mathematical Proof – Steven G. Krantz - 2007
5 Automatic construction and verification of isotopy invariants – Volker Sorge, Andreas Meier, Roy McCasland, Simon Colton - 2006
20 Automatic generation of classification theorems for finite algebras – Simon Colton, Andreas Meier, Volker Sorge, Roy Mccasland - 2004
1 The Flowering of Automated Reasoning – Larry Wos - 2001
2 The Semantics of Answer Literals – Kenneth Kunen - 1996
11 Single Identities for Lattice Theory and for Weakly Associative Lattices – W. Mccune, R. Padmanabhan - 1995
21 Short Single Axioms for Boolean Algebra – William Mccune, Robert Veroff, Branden Fitelson, Kenneth Harris, Andrew Feist, Larry Wos - 2002