Details for Section 6.2
We provide
here
a simplified but functional C++ program that performs the computer search used in the proof in Section 6.2 of
the paper
. There is also a
ReadMe
file with some more program specific details.
Radical paper page
|
home