03372nam0 22005053i 450 VAN0026916620260630111359.812N978146124542184926120020240103d1989 |0itac50 baengUS|||| |||||i e bcrBinary Quadratic FormsClassical Theory and Modern ComputationsDuncan A. BuellNew YorkSpringer-Verlag1989x, 248 p.ill.24 cmThe first coherent exposition of the theory of binary quadratic forms was given by Gauss in the Disqnisitiones Arithmeticae. During the nine­ teenth century, as the theory of ideals and the rudiments of algebraic number theory were developed, it became clear that this theory of bi­ nary quadratic forms, so elementary and computationally explicit, was indeed just a special case of a much more elega,nt and abstract theory which, unfortunately, is not computationally explicit. In recent years the original theory has been laid aside. Gauss's proofs, which involved brute force computations that can be done in what is essentially a two­ dimensional vector space, have been dropped in favor of n-dimensional arguments which prove the general theorems of algebraic number the­ ory. In consequence, this elegant, yet pleasantly simple, theory has been neglected even as some of its results have become extremely useful in certain computations. I find this neglect unfortunate, because binary quadraticforms have two distinct attractions. First, the subject involves explicit computa­ tion and many of the computer programs can be quite simple. The use of computers in experimenting with examples is both meaningful and enjoyable; one can actually discover interesting results by com­ puting examples, noticing patterns in the "data," and then proving that the patterns result from the conclusion of some provable theorem.11-XXNumber theory [MSC 2020]VANC019688MF11E12Quadratic forms over global rings and fields [MSC 2020]VANC021971MF11E16General binary quadratic forms [MSC 2020]VANC021794MF11R11Quadratic extensions [MSC 2020]VANC021760MF11R23Iwasawa theory [MSC 2020]VANC021761MF12-XXField theory and polynomials [MSC 2020]VANC019746MFAlgebraKW:KArithmeticKW:KCalculusKW:KCombinatoricsKW:KEquationsKW:KFiniteKW:KNumber theoryKW:KProofsKW:KUSNew YorkVANL000011BuellDuncan A.VANV0201731082027Springer <editore>VANV108073650ITSOL20261002RICAhttps://doi.org/10.1007/978-1-4612-4542-1E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN00269166BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08DLOAD e-book 7938 08eMF7938 20240202 Binary Quadratic Forms3656263UNICAMPANIA