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