Theorem Proving and Rewriting

Selected Automated Theorem Provers

• Saturate
• Setheo
• OTTER

Automated Deduction

• TPTP (Thousands of Problems for Theorem Provers)
• Results obtained with OTTER
• Automated Reasoning at Argonne
• Current and Proposed CADE bylaws

For More Information

• Mecahanized Deduction in Germany
• Carolyn Talcott's Auomated Reasoning Tools
• Automated Mathematical Induction
• Thomas Uribe's page

Rewriting

• Papers on Rewriting Open Problems
• Rewriting Open Problems: From 4th RTA, From 5th RTA, From 6th RTA.
• Rewriting Mailing List Contributions, and a nicer list, that is not up to date.