Skip to main content
News
Research
Computational Physical Simulation
Data and Decision Sciences
Motivating Applications and Software
Scalable Computing
Focus Areas
Conferences and Workshops
Organization
Departments
Staff Pages
Projects
Software
Publications
Awards
Careers
CSRI Summer Programs
Search
Publications
Publications
/
Presentation
Prove-It: A Powerful Theorem Prover
Witzel, Wayne W.
Abstract not provided.