## Discoveries and Experiments in the Automation of Mathematical Reasoning (2002)

by
Benjamin Price Shults

Citations: | 1 - 0 self |

### BibTeX

@MISC{Shults02discoveriesand,

author = {Benjamin Price Shults},

title = {Discoveries and Experiments in the Automation of Mathematical Reasoning},

year = {2002}

}

### OpenURL

### Abstract