You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
This book presents multiprecision algorithms used in number theory and elsewhere, such as extrapolation, numerical integration, numerical summation (including multiple zeta values and the Riemann-Siegel formula), evaluation and speed of convergence of continued fractions, Euler products and Euler sums, inverse Mellin transforms, and complex L L-functions. For each task, many algorithms are presented, such as Gaussian and doubly-exponential integration, Euler-MacLaurin, Abel-Plana, Lagrange, and Monien summation. Each algorithm is given in detail, together with a complete implementation in the free Pari/GP system. These implementations serve both to make even more precise the inner workings of the algorithms, and to gently introduce advanced features of the Pari/GP language. This book will be appreciated by anyone interested in number theory, specifically in practical implementations, computer experiments and numerical algorithms that can be scaled to produce thousands of digits of accuracy.
This book discusses advances in maximal function methods related to Poincaré and Sobolev inequalities, pointwise estimates and approximation for Sobolev functions, Hardy's inequalities, and partial differential equations. Capacities are needed for fine properties of Sobolev functions and characterization of Sobolev spaces with zero boundary values. The authors consider several uniform quantitative conditions that are self-improving, such as Hardy's inequalities, capacity density conditions, and reverse Hölder inequalities. They also study Muckenhoupt weight properties of distance functions and combine these with weighted norm inequalities; notions of dimension are then used to characterize density conditions and to give sufficient and necessary conditions for Hardy's inequalities. At the end of the book, the theory of weak solutions to the p p-Laplace equation and the use of maximal function techniques is this context are discussed. The book is directed to researchers and graduate students interested in applications of geometric and harmonic analysis in Sobolev spaces and partial differential equations.
This book is an introduction to residuated structures, viewed as a common thread binding together algebra and logic. The framework includes well-studied structures from classical abstract algebra such as lattice-ordered groups and ideals of rings, as well as structures serving as algebraic semantics for substructural and other non-classical logics. Crucially, classes of these structures are studied both algebraically, yielding a rich structure theory along the lines of Conrad's program for lattice-ordered groups, and algorithmically, via analytic sequent or hypersequent calculi. These perspectives are related using a natural notion of equivalence for consequence relations that provides a bridge offering benefits to both sides. Algorithmic methods are used to establish properties like decidability, amalgamation, and generation by subclasses, while new insights into logical systems are obtained by studying associated classes of structures. The book is designed to serve the purposes of novices and experts alike. The first three chapters provide a gentle introduction to the subject, while subsequent chapters provide a state-of-the-art account of recent developments in the field.
Includes up-to-date material on recent developments and topics of significant interest, such as elliptic functions and the new primality test Selects material from both the algebraic and analytic disciplines, presenting several different proofs of a single result to illustrate the differing viewpoints and give good insight
Hopf algebras have been shown to play a natural role in studying questions of integral module structure in extensions of local or global fields. This book surveys the state of the art in Hopf-Galois theory and Hopf-Galois module theory and can be viewed as a sequel to the first author's book, Taming Wild Extensions: Hopf Algebras and Local Galois Module Theory, which was published in 2000. The book is divided into two parts. Part I is more algebraic and focuses on Hopf-Galois structures on Galois field extensions, as well as the connection between this topic and the theory of skew braces. Part II is more number theoretical and studies the application of Hopf algebras to questions of integral module structure in extensions of local or global fields. Graduate students and researchers with a general background in graduate-level algebra, algebraic number theory, and some familiarity with Hopf algebras will appreciate the overview of the current state of this exciting area and the suggestions for numerous avenues for further research and investigation.
This book is the tenth in a series of volumes whose aim is to provide a complete proof of the classification theorem for the finite simple groups based on a fairly short and clearly enumerated set of background results. Specifically, this book completes our identification of the simple groups of bicharacteristic type begun in the ninth volume of the series (see SURV/40.9). This is a fascinating set of simple groups which have properties in common with matrix groups (or, more generally, groups of Lie type) defined both over fields of characteristic 2 and over fields of characteristic 3. This set includes 11 of the celebrated 26 sporadic simple groups along with several of their large simple subgroups. Together with SURV/40.9, this volume provides the first unified treatment of this class of simple groups.
After two decades of research and development, elliptic curve cryptography now has widespread exposure and acceptance. Industry, banking, and government standards are in place to facilitate extensive deployment of this efficient public-key mechanism. Anchored by a comprehensive treatment of the practical aspects of elliptic curve cryptography (ECC), this guide explains the basic mathematics, describes state-of-the-art implementation methods, and presents standardized protocols for public-key encryption, digital signatures, and key establishment. In addition, the book addresses some issues that arise in software and hardware implementation, as well as side-channel attacks and countermeasures....
This book takes readers on a thrilling tour of some of the most important and powerful areas of contemporary numerical mathematics. The tour is organized along the 10 problems of the SIAM 100-Digit Challenge, a contest posed by Nick Trefethen of Oxford University in the January/February 2002 issue of SIAM News. The complete story of the contest as well as a lively interview with Nick Trefethen are also included. The authors, members of teams that solved all 10 problems, show in detail multiple approaches for solving each problem, ranging from elementary to sophisticated, from brute-force to schemes that can be scaled to provide thousands of digits of accuracy and that can solve even larger related problems. The authors touch on virtually every major technique of modern numerical analysis: matrix computation, iterative linear methods, limit extrapolation and convergence acceleration, numerical quadrature, contour integration, discretization of PDEs, global optimization, Monte Carlo and evolutionary algorithms, error control, interval and high-precision arithmetic, and many more.
This book will be published Open Access with a Creative Commons Attribution 4.0 International License (CC BY 4.0). The eBook can be downloaded electronically for free. This volume contains the proceedings of the LuCaNT (LMFDB, Computation, and Number Theory) conference held from July 10–14, 2023, at the Institute for Computational and Experimental Research in Mathematics (ICERM), Providence, Rhode Island and affiliated with Brown University. This conference provided an opportunity for researchers, scholars, and practitioners to exchange ideas, share advances, and collaborate in the fields of computation, mathematical databases, number theory, and arithmetic geometry. The papers that appear in this volume record recent advances in these areas, with special focus on the LMFDB (the L-Functions and Modular Forms Database), an online resource for mathematical objects arising in the Langlands program and the connections between them.
Understanding the behavior of basic sampling techniques and intrinsic geometric attributes of data is an invaluable skill that is in high demand for both graduate students and researchers in mathematics, machine learning, and theoretical computer science. The last ten years have seen significant progress in this area, with many open problems having been resolved during this time. These include optimal lower bounds for epsilon-nets for many geometric set systems, the use of shallow-cell complexity to unify proofs, simpler and more efficient algorithms, and the use of epsilon-approximations for construction of coresets, to name a few. This book presents a thorough treatment of these probabilistic, combinatorial, and geometric methods, as well as their combinatorial and algorithmic applications. It also revisits classical results, but with new and more elegant proofs. While mathematical maturity will certainly help in appreciating the ideas presented here, only a basic familiarity with discrete mathematics, probability, and combinatorics is required to understand the material.