Every technique described in this publication has been used in one of three contexts:
NathanielThurston has also found ways to apply these these mathematical proof-finding techniques to a variety of difficult problems outside mathematics. Such applications are outside the scope of this publication, as are techniques which have not been found to be useful in one of these three contexts.