Library Home || Full Table of Contents || Library Help
|Research on applications of automated deduction to problems in abstract algebra and algebraic geometry, algorithms and strategies for searching for proofs and for counterexamples, high-performance implementation of automated deduction algorithms, and the QED Project. Site includes McCune's CV, Recent Projects (The Robbins Problem, CADE-14, Automated Deduction in Equational Logic and Cubic Curves (a monograph by W. McCune and R. Padmanabhan), Applications of automated deduction to abstract algebra, Otter theorem prover, MACE (Models and Counterexamples), EQP (a new equational theorem prover), Prototype software (including Son of BirdBrain), Web and Java projects, and papers (some online).|
|Resource Types:||Articles, Documents/Sketches/Galleries, General Software Miscellaneous, Web Interactive/Java|
|Math Topics:||Modern Algebra, Algebraic Geometry, Computer Science|
© 1994- The Math Forum at NCTM. All rights reserved.