Login / Signup
Chris Spicer
Publication Activity (10 Years)
Years Active: 2019-2019
Publications (10 Years): 1
Top Topics
Automated Theorem Proving
Information Systems
Formal Proof
Top Venues
Am. Math. Mon.
</>
Publications
</>
Carl Pomerance
,
Chris Spicer
Proof of the Sheldon Conjecture.
Am. Math. Mon.
126 (8) (2019)