Box 5
Container
Contains 5 Results:
Other Papers on Conjecture, 1974
File — Box: 5, Folder: 1
Scope and Content
From the Collection:
The John Koch Papers collection consists of publications, punch cards, code, program output, and personal notes. The publications consist of his thesis, his published solutions to the problem, publications about his solutions, and publications that were used in the problem-solving process. The punch cards consist of Koch’s programs used to solve the conjecture. The code is the print out of the code represented in the punch cards. The output contains all of the program tests Koch used in the...
Dates:
Other: 1974
Bernhart’s Papers, 1975
File — Box: 5, Folder: 2
Scope and Content
From the Collection:
The John Koch Papers collection consists of publications, punch cards, code, program output, and personal notes. The publications consist of his thesis, his published solutions to the problem, publications about his solutions, and publications that were used in the problem-solving process. The punch cards consist of Koch’s programs used to solve the conjecture. The code is the print out of the code represented in the punch cards. The output contains all of the program tests Koch used in the...
Dates:
Other: 1975
Copies of Published Work, undated
File — Box: 5, Folder: 3
Scope and Content
From the Collection:
The John Koch Papers collection consists of publications, punch cards, code, program output, and personal notes. The publications consist of his thesis, his published solutions to the problem, publications about his solutions, and publications that were used in the problem-solving process. The punch cards consist of Koch’s programs used to solve the conjecture. The code is the print out of the code represented in the punch cards. The output contains all of the program tests Koch used in the...
Dates:
Other: undated
Kenneth Appel’s Obituary, 2013
File — Box: 5, Folder: 4
Scope and Content
From the Collection:
The John Koch Papers collection consists of publications, punch cards, code, program output, and personal notes. The publications consist of his thesis, his published solutions to the problem, publications about his solutions, and publications that were used in the problem-solving process. The punch cards consist of Koch’s programs used to solve the conjecture. The code is the print out of the code represented in the punch cards. The output contains all of the program tests Koch used in the...
Dates:
Other: 2013
Test Case Papers, 1975
File — Box: 5, Folder: 5
Scope and Content
From the Collection:
The John Koch Papers collection consists of publications, punch cards, code, program output, and personal notes. The publications consist of his thesis, his published solutions to the problem, publications about his solutions, and publications that were used in the problem-solving process. The punch cards consist of Koch’s programs used to solve the conjecture. The code is the print out of the code represented in the punch cards. The output contains all of the program tests Koch used in the...
Dates:
Other: 1975