Tools for Using Automated Provers in Mathematical Theory Exploration (2004)

by F Piroi