Essays in Constructive Mathematics
Táto kniha podporuje konštruktívnu matematiku nie jej definovaním alebo formalizovaním, ale jej praktickým uplatňovaním. To znamená, že jej definície a dôkazy používajú konečné algoritmy, nie algoritmy, ktoré vyžadujú preskúmanie nekonečného počtu možností na určenie, či je daná podmienka splnená.
Preberané témy vychádzajú z klasických diel matematiky 19. storočia - medzi nimi Galoisova teória algebraických rovníc, Gaussova teória binárnych kvadratických foriem a Abelova veta o integráloch racionálnych diferencií na algebraických krivkách.
Hlavným algoritmom pre Abelovu vetu je Newtonov mnohouholník, ktorému je venovaná úplná pozornosť. Medzi ďalšie témy patrí základná veta algebry, faktorizácia polynómov v algebraickom číselnom poli a spektrálna veta pre symetrické matice.
