Drexel dragonThe Math Forum

The Math Forum Internet Mathematics Library

Automated Deduction

Library Home || Full Table of Contents || Library Help

Visit this site: http://www.mcs.anl.gov/home/mccune/

Author:William McCune
Description: 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).

Levels: College, Research
Languages: English
Resource Types: Articles, Documents/Sketches/Galleries, General Software Miscellaneous, Web Interactive/Java
Math Topics: Modern Algebra, Algebraic Geometry, Computer Science

[Privacy Policy] [Terms of Use]

Home || The Math Library || Quick Reference || Search || Help

© 1994- The Math Forum at NCTM. All rights reserved.