References

 [HW71]

G. Hardy and E. Wright. An introduction to the theory of numbers. Oxford at the Clarendon Press, fourth edition, 1971.

 [Sim90]

Donald Lee Simon. Checking Number Theory Proofs in Natural Language. PhD thesis, University of Texas, Austin, 1990.

 [Sol90]

Daniel Solow. How to read and do proofs. John Wiley & Sons, 1990.

 [SSY94]

G. Sutcliffe, C. Suttner, and T. Yemenis. The TPTP problem library. In Alan Bundy, editor, Automated Deduction - CADE-12, volume 814 of Lecture Notes in Artificial Intelligence, pages 252-266. Springer Verlag, 1994.