Since the appearance of the authors' first volume on elliptic curve cryptography in 1999 there has been tremendous progress in the field. In some topics, particularly point counting, the progress has been spectacular. Other topics such as the Weil and Tate pairings have been applied in new and important ways to cryptographic protocols that hold great promise. Notions such as provable security, side channel analysis and the Weil descent technique have also grown in importance. This second volume addresses these advances and brings the reader up to date. Prominent contributors to the research...

Together, Sets and Proofs and its sister volume Models and Computability will provide readers with a comprehensive guide to the current state of mathematical logic. All the authors are leaders in their fields and are drawn from the invited speakers at "Logic Colloquium "97" (the major international meeting of the Association of Symbolic Logic). It is expected that the breadth and timeliness of these two volumes will prove an invaluable and unique resource for specialists, postgraduate researchers, and the informed and interested nonspecialist.

Together, Models and Computability and its sister volume Sets and Proofs provide readers with a comprehensive guide to the current state of mathematical logic. All the authors are leaders in their fields and are drawn from the invited speakers at "Logic Colloquium '97" (the major international meeting of the Association of Symbolic Logic). It is expected that the breadth and timeliness of these two volumes will prove an invaluable and unique resource for specialists, post-graduate researchers, and the informed and interested nonspecialist.

Galois theory is a central part of algebra, dealing with symmetries between solutions of algebraic equations in one variable. This collection of papers brings together articles from some of the world's leading experts in this field. Topics center around the Inverse Galois Problem, comprising the full range of methods and approaches in this area, making this an invaluable resource for all those whose research involves Galois theory.

This book is a conference proceedings based on the 1996 Durham Symposium on "Galois representations in arithmetic algebraic geometry." The title was interpreted loosely and the symposium covered recent developments on the interface between algebraic number theory and arithmetic algebraic geometry. The book reflects this and contains a mixture of articles. Some are expositions of subjects that have received substantial recent attention: Erez on geometric trends in Galois module theory; Mazur on rational points on curves and varieties; Moonen on Shimura varieties in mixed characteristics; Rubin...

This book focuses on the representation theory of q-Schur algebras and connections with the representation theory of Hecke algebras and quantum general linear groups. The aim is to present, from a unified point of view, quantum analogs of certain results known already in the classical case. The approach is largely homological, based on Kempf's vanishing theorem for quantum groups and the quasi-hereditary structure of the q-Schur algebras. Beginning with an introductory chapter dealing with the relationship between the ordinary general linear groups and their quantum analogies, the text goes...

This book is the outcome of the 1996 Warwick Algebraic Geometry EuroConference, containing seventeen survey and research articles selected from the most outstanding contemporary research topics in algebraic geometry. Several of the articles are expository: among these a beautiful short exposition by Paranjape of the new and very simple approach to the resolution of singularities; a detailed essay by Ito and Nakamura on the ubiquitous A, D, E classification, centered around simple surface singularities; a discussion by Morrison of the new special Lagrangian approach to giving geometric...

This volume presents articles from four outstanding researchers who work at the cusp of analysis and logic. The emphasis is on active research topics; many results are presented that have not been published before and open problems are formulated. Considerable effort has been made by the authors to make their articles accessible to mathematicians new to the area

In the past few years elliptic curve cryptography has moved from a fringe activity to a major system in the commercial world. This timely work summarizes knowledge gathered at Hewlett-Packard over a number of years and explains the mathematics behind practical implementations of elliptic curve systems. Since the mathematics is advanced, a high barrier to entry exists for individuals and companies new to this technology. Hence, this book will be invaluable not only to mathematicians but also to engineers and computer scientists who want to actually implement such systems.

Singularity theory draws on many other areas of mathematics and, in turn, contributes to many areas both within and outside mathematics, including differential and algebraic geometry, knot theory, differential equations, bifurcation theory, Hamiltonian mechanics, optics, robotics and computer vision. This volume consists of two dozen articles from some of the best known figures in singularity theory, and it presents an up-to-date survey of research in this area.