Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Web Pages Associated with Papers of William McCune

Web Pages Associated with Papers of William McCune

Many of my recent papers have associated Web pages containing additional data such as input files, detailed proofs, and supporting theorems.

The following links lead to those pages.

Automated Deduction in Equational Logic and Cubic Curves, a monograph by W. McCune and R. Padmanabhan.
Single Identities for Lattice Theory and for Weakly Associative Lattices, by W. McCune and R. Padmanabhan.
Computer and Human Reasoning: Single Implicative Axioms for Groups and for Abelian Groups, by W. McCune and A.D. Sands.
33 Basic Test Problems: A Practical Evaluation of Some Paramodulation Strategies, by W. McCune.
Solution of the Robbins Problem, by W. McCune.
Automatic Proofs and Counterexamples for Some Ortholattice Identities, by W. McCune.
Uniqueness of Steiner Laws on Cubic Curves, by R. Padmanabhan and W. McCune.
Single Axioms for Boolean Algebra, by W. McCune.
Short Single Axioms for Boolean Algebra, by W. McCune, R. Veroff, B. Fitelson, K. Harris, A. Feist, L. Wos.
Yet Another Single Law for Lattices, by W. McCune, R. Padmanabhan, R. Veroff.
Short Equational Bases for Ortholattices, by W. McCune, R. Padmanabhan, M. A. Rose, R. Veroff.