Essays in Constructive Mathematics
Książka ta promuje konstruktywną matematykę nie poprzez jej definiowanie czy formalizowanie, ale poprzez jej praktykowanie.
Oznacza to, że jej definicje i dowody wykorzystują skończone algorytmy, a nie algorytmy, które wymagają zbadania nieskończonej liczby możliwości w celu ustalenia, czy dany warunek jest spełniony. Omawiane tematy wywodzą się z klasycznych dzieł matematyki XIX wieku - między innymi teorii równań algebraicznych Galois, teorii binarnych form kwadratowych Gaussa i twierdzenia Abla o całkach różniczek wymiernych na krzywych algebraicznych.
W przypadku twierdzenia Abela głównym algorytmem jest wielokąt Newtona, który został w pełni omówiony. Inne omówione tematy obejmują podstawowe twierdzenie algebry, faktoryzację wielomianów w algebraicznym polu liczbowym oraz twierdzenie spektralne dla macierzy symetrycznych.
