Drexel dragonThe Math ForumDonate to the Math Forum

The Math Forum Internet Mathematics Library

Automated Deduction

Library Home || Full Table of Contents || Suggest a Link || 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- Drexel University. All rights reserved.
The Math Forum is a research and educational enterprise of the Goodwin College of Professional Studies.The Math Forum is a research and educational enterprise of the Drexel University School of Education.