(en) Higher Arithmetic: An Algorithmic Introduction to Number Theory, American Mathematical Society, 2008 (ISBN9780821844397). Une prolongation du travail d'Edwards commencé dans Essays in Constructive Mathematics. Ce livre offre la matière habituellement enseignée, au niveau du baccalauréat américain, en théorie des nombres[6], mais selon une approche constructiviste qui se concentre sur des algorithmes pour résoudre des problèmes plutôt que d'offrir des démonstrations d'existence de solutions[6],[7]. Cependant, au contraire de plusieurs autres ouvrages sur la théorie algorithmique des nombres, l'auteur n'analyse pas l'efficacité des algorithmes en termes de temps d'exécution[7].
(en) Essays in Constructive Mathematics, Springer-Verlag, 2005 (ISBN0-387-21978-1). Le but premier de cet ouvrage est de démontrer que des mathématiques de haut niveau, telles la théorie des formes quadratiques binaires et le théorème de Riemann-Roch, peuvent être manipulées à l'intérieur d'un cadre constructiviste[8],[9].
(en) Linear Algebra, Birkhäuser, 1995
(en) Divisor Theory, Birkhäuser, 1990 (ISBN0-8176-3448-7). Les diviseurs algébriques ont été introduits par Kronecker comme alternative à la théorie des idéaux[10]. Edwards, lors de son acception du Whiteman Prize, a affirmé que ce livre complète le travail de Kronecker en offrant « une exposition systématique et cohérente de la théorie des diviseurs que Kronecker lui-même n'est jamais parvenu à compléter[5]. »
(en) Fermat's Last Theorem: A Genetic Introduction to Algebraic Number Theory, Springer-Verlag, « GTM », 50, 1977 (ISBN0-387-90230-9). Republié avec corrections, 1996 (ISBN9780387950020). Traduit en russe par V. L. Kalinin et A. I. Skopin chez Mir, Moscou, 1980. Ce livre sur le dernier théorème de Fermat présente l'origine du théorème et les développements qui ont suivi. Il a été écrit quelques années avant que Andrew Wiles ne démontre la conjecture et offre une perspective sur les recherches l'entourant, tel le travail d'Ernst Kummer qui a eu recours aux nombres p-adiques et à la théorie des idéaux pour démontrer la conjecture si l'exposant est un nombre premier régulier[13],[14].
↑(en) Bonnie Schulman, « Read This! The MAA Online book review column : Essays in Constructive Mathematics
by Harold M. Edwards », MAA Online, Mathematical Association of America, (lire en ligne).
↑Critique par Edward J. Barbeau, Mathematical Reviews, 2005.
↑Critique par D. Ştefănescu, Mathematical Reviews, 1993.
↑Critique de B. Heinrich Matzat, Mathematical Reviews, 1987.