Eric Knuth

Papers:
141 How Does Example Use Influence Conjecturing and Proving?