The sixth Algorithmic Number Theory Symposium was held at the University of Vermont, in Burlington, from 13-18 June 2004. The organization was a joint e?ort of number theorists from around the world. There were four invited talks at ANTS VI, by Dan Bernstein of the Univ- sity of Illinois at Chicago, Kiran Kedlaya of MIT, Alice Silverberg of Ohio State University, and Mark Watkins of Pennsylvania State University. Thirty cont- buted talks were presented, and a poster session was held. This volume contains the written versions of the contributed talks and three of the four invited talks. (Not included is the talk by Dan Bernstein.) ANTS in Burlington is the sixth in a series that began with ANTS I in 1994 at Cornell University, Ithaca, New York, USA and continued at UniversiteB- deaux I, Bordeaux, France (1996), Reed College, Portland, Oregon, USA (1998), the University of Leiden, Leiden, The Netherlands (2000), and the University of Sydney, Sydney, Australia (2002). The proceedings have been published as volumes 877, 1122, 1423, 1838, and 2369 of Springer-Verlag's Lecture Notes in Computer Science series. The organizers of the 2004 ANTS conference express their special gratitude and thanks to John Cannon and Joe Buhler for invaluable behind-the-scenes advice."

This volume presents an authoritative, up-to-date review of analytic number theory. It contains outstanding contributions from leading international figures in this field. Core topics discussed include the theory of zeta functions, spectral theory of automorphic forms, classical problems in additive number theory such as the Goldbach conjecture, and diophantine approximations and equations. This will be a valuable book for graduates and researchers working in number theory.

Now in paperback, this classic book is addressed to all lovers of number theory. On the one hand, it gives a comprehensive introduction to constructive algebraic number theory, and is therefore especially suited as a textbook for a course on that subject. On the other hand many parts go beyond an introduction and make the user familiar with recent research in the field. New methods which have been developed for experimental number theoreticians are included along with new and important results. Both computer scientists interested in higher arithmetic and those teaching algebraic number theory will find the book of value.

This book provides an introduction to some aspects of the analytic theory of automorphic forms on G=SL2(R) or the upper-half plane X, with respect to a discrete subgroup ^D*G of G of finite covolume. The point of view is inspired by the theory of infinite dimensional unitary representations of G; this is introduced in the last sections, making this connection explicit. The topics treated include the construction of fundamental domains, the notion of automorphic form on ^D*G\G and its relationship with the classical automorphic forms on X, Poincaré series, constant terms, cusp forms, finite dimensionality of the space of automorphic forms of a given type, compactness of certain convolution operators, Eisenstein series, unitary representations of G, and the spectral decomposition of L2(^D*G/G). The main prerequisites are some results in functional analysis (reviewed, with references) and some familiarity with the elementary theory of Lie groups and Lie algebras.

The 13 chapters of this book centre around the proof of Theorem 1 of Faltings' paper "Diophantine approximation on abelian varieties," Ann. Math.133 (1991) and together give an approach to the proof that is accessible to Ph.D-level students in number theory and algebraic geometry. Each chapter is based on an instructional lecture given by its author ata special conference for graduate students, on the topic of Faltings' paper.

In this stimulating book, Elliott demonstrates a method and a motivating philosophy that combine to cohere a large part of analytic number theory, including the hitherto nebulous study of arithmetic functions. Besides its application, the book also illustrates a way of thinking mathematically: The author weaves historical background into the narrative, while variant proofs illustrate obstructions, false steps and the development of insight in a manner reminiscent of Euler. He demonstrates how to formulate theorems as well as how to construct their proofs. Elementary notions from functional analysis, Fourier analysis, functional equations, and stability in mechanics are controlled by a geometric view and synthesized to provide an arithmetical analogue of classical harmonic analysis that is powerful enough to establish arithmetic propositions previously beyond reach. Connections with other branches of analysis are illustrated by over 250 exercises, topically arranged.

This volume comprises the proceedings of the 1995 Cardiff symposium on sieve methods, exponential sums, and their applications in number theory. Included are contributions from many leading international figures in this area which encompasses the main branches of analytic number theory. In particular, many of the papers reflect the interaction between the different fields of sieve theory, Dirichlet series (including the Riemann Zeta-function), and exponential sums, whilst displaying the subtle interplay between the additive and multiplicative aspects of the subjects. The fundamental problems discussed include recent work on Waring's problem, primes in arithmetical progressions, Goldbach numbers in short intervals, the ABC conjecture, and the moments of the Riemann Zeta-function.

This book constitutes the refereed proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2003, held in Rome, Italy in September 2003. The 20 revised full papers presented were carefully reviewed and selected for inclusion in the book. All current issues surrounding the mechanization of logical reasoning with tableaux and similar methods are addressed in the context of a broad variety of logic calculi.

Since their discovery hundreds of years ago, people have been fascinated by the wondrous properties of Fibonacci numbers. Being of mathematical significance in their own right, Fibonacci numbers have had an impact on areas like art and architecture, and their traces can be found in nature and even the behavior of the stock market. Starting with the basic properties of Fibonacci numbers, the present book explores their relevance in number theory, the theory of continued fractions, geometry and approximation theory. Rather than giving a complete account of the subject, a few chosen examples are treated exhaustively. They not only reveal the bearing of Fibonacci numbers on mathematics, but also provide very readable marvels of mathematical reasoning. This book is the translation of the 6th Russian edition (the first edition appeared in the early fifties and became a standard source of information on the subject).

The theory of sets of multiples, a subject which lies at the intersection of analytic and probabilistic number theory, has seen much development since the publication of 'Sequences' by Halberstam and Roth nearly thirty years ago. The area is rich in problems, many of them still unsolved or arising from current work. The author sets out to give a coherent, essentially self-contained account of the existing theory and at the same time to bring the reader to the frontiers of research. One of the fascinations of the theory is the variety of methods applicable to it, which include Fourier analysis, group theory, high and ultra-low moments, probability and elementary inequalities, as well as several branches of number theory. This Tract is the first devoted to the subject, and will be of value to number theorists, whether they be research workers or graduate students.

The invention of ideals by Dedekind in the 1870s was well ahead of its time, and proved to be the genesis of what today we would call algebraic number theory. His memoir 'Sur la Theorie des Nombres Entiers Algebriques' first appeared in instalments in the 'Bulletin des sciences mathematiques' in 1877. This is a translation of that work by John Stillwell, who also adds a detailed introduction that gives the historical background as well as outlining the mathematical obstructions that Dedekind was striving to overcome. Dedekind's memoir gives a candid account of his development of an elegant theory as well as providing blow-by-blow comments as he wrestled with the many difficulties encountered en route. A must for all number theorists.

Yearning for the Impossible: The Surprising Truth of Mathematics, Second Edition explores the history of mathematics from the perspective of the creative tension between common sense and the "impossible" as the author follows the discovery or invention of new concepts that have marked mathematical progress. The author puts these creations into a broader context involving related "impossibilities" from art, literature, philosophy, and physics. This new edition contains many new exercises and commentaries, clearly discussing a wide range of challenging subjects.

This book constitutes the refereed proceedings of the 5th International Algorithmic Number Theory Symposium, ANTS-V, held in Sydney, Australia, in July 2002.The 34 revised full papers presented together with 5 invited papers have gone through a thorough round of reviewing, selection and revision. The papers are organized in topical sections on number theory, arithmetic geometry, elliptic curves and CM, point counting, cryptography, function fields, discrete logarithms and factoring, Groebner bases, and complexity.

The number theoretic properties of curves of genus 2 are attracting increasing attention. This book provides new insights into this subject; much of the material here is entirely new, and none has appeared in book form before. Included is an explicit treatment of the Jacobian, which throws new light onto the geometry of the Kummer surface. The Mordell-Weil group can then be determined for many curves, and in many non-trivial cases all rational points can be found. The results exemplify the power of computer algebra in diophantine contexts, but computer expertise is not assumed in the main text. Number theorists, algebraic geometers and workers in related areas will find that this book offers unique insights into the arithmetic of curves of genus 2.

In his first book, Philosophy of Arithmetic, Edmund Husserl provides a carefully worked out account of number as a categorial or formal feature of the objective world, and of arithmetic as a symbolic technique for mastering the infinite field of numbers for knowledge. It is a realist account of numbers and number relations that interweaves them into the basic structure of the universe and into our knowledge of reality. It provides an answer to the question of how arithmetic applies to reality, and gives an account of how, in general, formalized systems of symbols work in providing access to the world. The "appendices" to this book provide some of Husserl's subsequent discussions of how formalisms work, involving David Hilbert's program of completeness for arithmetic. "Completeness" is integrated into Husserl's own problematic of the "imaginary," and allows him to move beyond the analysis of "representations" in his understanding of the logic of mathematics.
Husserl's work here provides an alternative model of what "conceptual analysis" should be - minus the "linguistic turn," but inclusive of language and linguistic meaning. In the process, he provides case after case of "Phenomenological Analysis" - fortunately unencumbered by that title - of the convincing type that made Husserl's life and thought a fountainhead of much of the most important philosophical work of the twentieth Century in Europe. Many Husserlian themes to be developed at length in later writings first emerge here: Abstraction, internal time consciousness, polythetic acts, acts of higher order ('founded' acts), Gestalt qualities and their role in knowledge, formalization (as opposed to generalization), essence analysis, and so forth.
This volume is a window on a period of rich and illuminating philosophical activity that has been rendered generally inaccessible by the supposed "revolution" attributed to "Analytic Philosophy" so-called. Careful exposition and critique is given to every serious alternative account of number and number relations available at the time. Husserl's extensive and trenchant criticisms of Gottlob Frege's theory of number and arithmetic reach far beyond those most commonly referred to in the literature on their views.

Dieses zweibAndige Werk handelt von Mathematik und ihrer Geschichte. Die sorgfAltige Analyse dessen, was die Alten bewiesen - meist sehr viel mehr, als sie ahnten -, fA1/4hrt zu einem besseren VerstAndnis der Geschichte und zu einer guten Motivation und einem ebenfalls besseren VerstAndnis heutiger Mathematik.
Der zweite Band beginnt mit der groAen Arbeit von Lagrange von 1770/71, die spAter Galois inspirierte. Um sie zu verstehen, benAtigt man den Begriff der Resultanten von Polynomen. Dieser wird bereitgestellt, zusammen mit Algorithmen zu ihrer Berechnung, die aus dem 20. Jahrhundert stammen. Zentral sind dann Arbeiten von Steinitz und Galois. FA1/4r diese wird transfiniten Methoden und Gruppen sowie der Geschichte beider Themen entsprechender Raum gewidmet. Viel gesagt wird auch A1/4ber die Kreisteilungspolynome. Um die Transzendenz von Pi zu beweisen, werden schlieAlich auch noch topologische Methoden behandelt.

The C.I.M.E. session in Diophantine Approximation, held in Cetraro (Italy) June 28 - July 6, 2000 focused on height theory, linear independence and transcendence in group varieties, Baker's method, approximations to algebraic numbers and applications to polynomial-exponential diophantine equations and to diophantine theory of linear recurrences. Very fine lectures by D. Masser, Y. Nesterenko, H.-P. Schlickewei, W.M. Schmidt and M. Walsschmidt have resulted giving a good overview of these topics, and describing central results, both classical and recent, emphasizing the new methods and ideas of the proofs rather than the details. They are addressed to a wide audience and do not require any prior specific knowledge.

Around 1994 R. Borcherds discovered a new type of meromorphic modular form on the orthogonal group $O(2,n)$. These "Borcherds products" have infinite product expansions analogous to the Dedekind eta-function. They arise as multiplicative liftings of elliptic modular forms on $(SL)_2(R)$. The fact that the zeros and poles of Borcherds products are explicitly given in terms of Heegner divisors makes them interesting for geometric and arithmetic applications. In the present text the Borcherds' construction is extended to Maass wave forms and is used to study the Chern classes of Heegner divisors. A converse theorem for the lifting is proved.

Cohomology of Drinfeld Modular Varieties aims to provide an introduction to both the subject of the title and the Langlands correspondence for function fields. These varieties are the analogs for function fields of Shimura varieties over number fields. This present volume is devoted to the geometry of these varieties and to the local harmonic analysis needed to compute their cohomology. To keep the presentation as accessible as possible, the author considers the simpler case of function rather than number fields; nevertheless, many important features can still be illustrated. It will be welcomed by workers in number theory and representation theory.

This volume has grown out of lectures given by Professor Pfister over many years. The emphasis here is placed on results about quadratic forms that give rise to interconnections between number theory, algebra, algebraic geometry and topology. Topics discussed include Hilbert's 17th problem, the Tsen-Lang theory of quasi algebraically closed fields, the level of topological spaces and systems of quadratic forms over arbitrary fields. Whenever possible proofs are short and elegant, and the author's aim was to make this book as self-contained as possible. This is a gem of a book bringing together thirty years' worth of results that are certain to interest anyone whose research touches on quadratic forms.

This book represents the refereed proceedings of the Fourth International Conference on Monte Carlo and Quasi-Monte Carlo Methods in Scientific Computing which was held at Hong Kong Baptist University in 2000. An important feature are invited surveys of the state-of-the-art in key areas such as multidimensional numerical integration, low-discrepancy point sets, random number generation, and applications of Monte Carlo and quasi-Monte Carlo methods. These proceedings include also carefully selected contributed papers on all aspects of Monte Carlo and quasi-Monte Carlo methods. The reader will be informed about current research in this very active field.

It isn't that they can't see the solution. It is Approach your problems from the right end and begin with the answers. Then one day, that they can't see the problem. perhaps you will find the final question. O. K. Chesterton. The Scandal of Father 'The Hermit Clad in Crane Feathers' in R. Brown 'The point of a Pin'. van Oulik's The Chinese Maze Murders. Growing specialization and diversification have brought a host of monographs and textbooks on increasingly specialized topics. However, the "tree" of knowledge of mathematics and related fields does not grow only by putting forth new branches. It also happens, quite often in fact, that branches which were thought to be completely disparate are suddenly seen to be related. Further, the kind and level of sophistication of mathematics applied in various sciences has changed drastically in recent years: measure theory is used (non trivially) in regional and theoretical economics; algebraic geometry interacts with physics; the Minkowsky lemma, coding theory and the structure of water meet one another in packing and covering theory; quantum fields, crystal defects and mathematical programming profit from homotopy theory; Lie algebras are relevant to filtering; and prediction and electrical engineering can use Stein spaces. And in addition to this there are such new emerging subdisciplines as "experimental mathematics," "CFD," "completely integrable systems," "chaos, synergetics and large-scale order," which are almost impossible to fit into the existing classification schemes. They draw upon widely different sections of mathematics."

Growing specialization and diversification have brought a host of monographs and textbooks on increasingly specialized topics. However, the "tree" of knowledge of mathematics and related fields does not' grow only by putting forth new branches. It also happens, quite often in fact, that branches which were thought to be completely disparate are suddenly seen to be related. Further, the kind and level of sophistication of mathematics applied in various sciences has changed drastically in recent years: measure theory is used (non-trivially) in regional and theoretical economics; algebraic geometry interacts with physics; the Minkowsky lemma, coding theory arid the struc ture of water meet one another in packing and covering theory; quantum fields, crystal defects and mathematical programming profit from homotopy theory; lie algebras are relevant to filtering; and prediction and electrical engineering can use Stein spaces. And in addition to this there are such new emerging subdisciplines as "completely integrable systems," "chaos, synergetics and large-5cale order," which are almost impossible to fit into the existing classification schemes. They draw upon widely different sections of mathematics. This program, Mathematics and Its Applications, is devoted to such (new) interrelations as exampla gratia: - a central concept which plays an important role in several different mathe matical and/or scientific specialized areas; - new applications of the results and ideas from one area of scientific en deavor into another; - influences which the results, problems and concepts of one field of enquiry have and have had on the development of another."

This is the fourteenth annual volume arising from the Seminaire de Theorie des Nombres de Paris. As with previous volumes the whole spectrum of number theory is discussed, with many contributions from some of the world's leading figures. The very latest research developments are covered and much of the work presented here will not be found elsewhere. Also included are surveys that will serve to guide the reader through the extensive published literature. This will be a necessary addition to the libraries of all workers in number theory.

There is now a large body of theory concerning algebraic varieties over finite fields, and many conjectures exist in this area that are of great interest to researchers in number theory and algebraic geometry. This book is concerned with the arithmetic of diagonal hypersurfaces over finite fields, with special focus on the Tate conjecture and the Lichtenbaum-Milne formula for the central value of the L-function. It combines theoretical and numerical work, and includes tables of Picard numbers. Although this book is aimed at experts, the authors have included some background material to help non-specialists gain access to the results.