New Approaches to Circle Packing into the Square is devoted to the most recent results on the densest packing of equal circles in a square. In the last few decades, many articles have considered this question, which has been an object of interest since it is a hard challenge both in discrete geometry and in mathematical programming. The authors have studied this geometrical optimization problem for a long time, and they developed several new algorithms to solve it. The book completely covers the investigations on this topic.

This book represents a collection of invited papers by outstanding mathematicians in algebra, algebraic geometry, and number theory dedicated to Vladimir Drinfeld. Original research articles reflect the range of Drinfeld's work, and his profound contributions to the Langlands program, quantum groups, and mathematical physics are paid particular attention. These ten original articles by prominent mathematicians, dedicated to Drinfeld on the occasion of his 50th birthday, broadly reflect the range of Drinfeld's own interests in algebra, algebraic geometry, and number theory.

The 12 lectures presented in Representation Theories and Algebraic Geometry focus on the very rich and powerful interplay between algebraic geometry and the representation theories of various modern mathematical structures, such as reductive groups, quantum groups, Hecke algebras, restricted Lie algebras, and their companions. This interplay has been extensively exploited during recent years, resulting in great progress in these representation theories. Conversely, a great stimulus has been given to the development of such geometric theories as D-modules, perverse sheafs and equivariant intersection cohomology. The range of topics covered is wide, from equivariant Chow groups, decomposition classes and Schubert varieties, multiplicity free actions, convolution algebras, standard monomial theory, and canonical bases, to annihilators of quantum Verma modules, modular representation theory of Lie algebras and combinatorics of representation categories of Harish-Chandra modules.

The aim of this book is to describe the underlying principles of algebraic geometry, some of its important developments in the twentieth century, and some of the problems that occupy its practitioners today. It is intended for the working or the aspiring mathematician who is unfamiliar with algebraic geometry but wishes to gain an appreciation of its foundations and its goals with a minimum of prerequisites. Few algebraic prerequisites are presumed beyond a basic course in linear algebra.

This second edition, divided into fourteen chapters, presents a comprehensive treatment of contact and symplectic manifolds from the Riemannian point of view. The monograph examines the basic ideas in detail and provides many illustrative examples for the reader.

"Riemannian Geometry of Contact and Symplectic Manifolds, Second Edition" provides new material in most chapters, but a particular emphasis remains on contact manifolds. Researchers, mathematicians, and graduate students in contact and symplectic manifold theory and in Riemannian geometry will benefit from this work. A basic course in Riemannian geometry is a prerequisite.

Causal relations, and with them the underlying null cone or conformal structure, form a basic ingredient in all general analytical studies of asymptotically flat space-time. The present book reviews these aspects from the analytical, geometrical and numerical points of view. Care has been taken to present the material in a way that will also be accessible to postgraduate students and nonspecialist reseachers from related fields.

In the 1970s Hirzebruch and Zagier produced elliptic modular forms with coefficients in the homology of a Hilbert modular surface. They then computed the Fourier coefficients of these forms in terms of period integrals and L-functions. In this book the authors take an alternate approach to these theorems and generalize them to the setting of Hilbert modular varieties of arbitrary dimension. The approach is conceptual and uses tools that were not available to Hirzebruch and Zagier, including intersection homology theory, properties of modular cycles, and base change. Automorphic vector bundles, Hecke operators and Fourier coefficients of modular forms are presented both in the classical and adelic settings. The book should provide a foundation for approaching similar questions for other locally symmetric spaces.

The volume consists of invited refereed research papers. The contributions cover a wide spectrum in algebraic geometry, from motives theory to numerical algebraic geometry and are mainly focused on higher dimensional varieties and Minimal Model Program and surfaces of general type. A part of the articles grew out a Conference in memory of Paolo Francia (1951-2000) held in Genova in September 2001 with about 70 participants.

Despite the fact that Maple V has become one of the most popular computer algebra systems on the market, surprisingly few users realize its potential in the field of scientific visualization. The purpose of this book is to equip the reader with a variety of graphics tools needed on the voyage of discovery into the complex and often beautiful world of curves and surfaces. A comprehensive treatment of Maple's graphics commands and structures is combined with an introduction to the main aspects of visual perception. Top priority is given to the use of light, color, perspective, and geometric transformations. Numerous examples, accompanied by pictures (many in color), cover all aspects of Maple graphics. The examples can be easily customized to suit the individual needs of the reader. The approach is context independent, and as such will appeal to students, educators, and researchers in a broad spectrum of scientific disciplines. For the general user at any level of experience, this book can serve as a comprehensive reference manual. For the beginner, it offers a user- friendly elementary introduction to the subject, with mathematical requirements kept to a minimum. For those interested in advanced mathematical visualization, it explains how to maximize Maple's graphical capabilities. In particular, this book shows how to turn Maple into an excellent modeling tool capable of generating elaborate surfaces that conventional modelers cannot produce. These surfaces can be exported to an external ray tracer (e.g. POV-ray) for sophisticated photo-realistic rendering. All of the Maple code segments which are presented in the book, as well as high-resolution pictures showing alternative renderingsof some of the book's color plates, are included on the accompanying DOS diskette.

This book is the result of many years of research in Non-Euclidean Geometries and Geometry of Lie groups, as well as teaching at Moscow State University (1947- 1949), Azerbaijan State University (Baku) (1950-1955), Kolomna Pedagogical Col lege (1955-1970), Moscow Pedagogical University (1971-1990), and Pennsylvania State University (1990-1995). My first books on Non-Euclidean Geometries and Geometry of Lie groups were written in Russian and published in Moscow: Non-Euclidean Geometries (1955) [Ro1] , Multidimensional Spaces (1966) [Ro2] , and Non-Euclidean Spaces (1969) [Ro3]. In [Ro1] I considered non-Euclidean geometries in the broad sense, as geometry of simple Lie groups, since classical non-Euclidean geometries, hyperbolic and elliptic, are geometries of simple Lie groups of classes Bn and D , and geometries of complex n and quaternionic Hermitian elliptic and hyperbolic spaces are geometries of simple Lie groups of classes An and en. [Ro1] contains an exposition of the geometry of classical real non-Euclidean spaces and their interpretations as hyperspheres with identified antipodal points in Euclidean or pseudo-Euclidean spaces, and in projective and conformal spaces. Numerous interpretations of various spaces different from our usual space allow us, like stereoscopic vision, to see many traits of these spaces absent in the usual space.

This volume brings together recent, original research and survey articles by leading experts in several fields that include singularity theory, algebraic geometry and commutative algebra. The motivation for this collection comes from the wide-ranging research of the distinguished mathematician, Antonio Campillo, in these and related fields. Besides his influence in the mathematical community stemming from his research, Campillo has also endeavored to promote mathematics and mathematicians' networking everywhere, especially in Spain, Latin America and Europe. Because of his impressive achievements throughout his career, we dedicate this book to Campillo in honor of his 65th birthday. Researchers and students from the world-wide, and in particular Latin American and European, communities in singularities, algebraic geometry, commutative algebra, coding theory, and other fields covered in the volume, will have interest in this book.

Stochastic geometry deals with models for random geometric structures. Its early beginnings are found in playful geometric probability questions, and it has vigorously developed during recent decades, when an increasing number of real-world applications in various sciences required solid mathematical foundations. Integral geometry studies geometric mean values with respect to invariant measures and is, therefore, the appropriate tool for the investigation of random geometric structures that exhibit invariance under translations or motions. Stochastic and Integral Geometry provides the mathematically oriented reader with a rigorous and detailed introduction to the basic stationary models used in stochastic geometry random sets, point processes, random mosaics and to the integral geometry that is needed for their investigation. The interplay between both disciplines is demonstrated by various fundamental results. A chapter on selected problems about geometric probabilities and an outlook to non-stationary models are included, and much additional information is given in the section notes."

A new combinatorial foundation of the two concepts, based on a consideration of deep and classical results of homotopy theory, and an axiomatic characterization of the assumptions under which results in this field hold. Includes numerous explicit examples and applications in various fields of topology and algebra.

This book focuses on complex geometry and covers highly active topics centered around geometric problems in several complex variables and complex dynamics, written by some of the world's leading experts in their respective fields. This book features research and expository contributions from the 2013 Abel Symposium, held at the Norwegian University of Science and Technology Trondheim on July 2-5, 2013. The purpose of the symposium was to present the state of the art on the topics, and to discuss future research directions.

Thisseries is devoted to the publication of monographs, lecture resp. seminar notes, and other materials arising from programs of the OSU Mathemaical Research Institute. This includes proceedings of conferences or workshops held at the Institute, and other mathematical writings.

In September 1997, the Working Week on Resolution of Singularities was held at Obergurgl in the Tyrolean Alps. Its objective was to manifest the state of the art in the field and to formulate major questions for future research. The four courses given during this week were written up by the speakers and make up part I of this volume. They are complemented in part II by fifteen selected contributions on specific topics and resolution theories. The volume is intended to provide a broad and accessible introduction to resolution of singularities leading the reader directly to concrete research problems.

The Applications of Computer Algebra (ACA) conference covers a wide range of topics from Coding Theory to Differential Algebra to Quantam Computing, focusing on the interactions of these and other areas with the discipline of Computer Algebra. This volume provides the latest developments in the field as well as its applications in various domains, including communications, modelling, and theoretical physics. The book will appeal to researchers and professors of computer algebra, applied mathematics, and computer science, as well as to engineers and computer scientists engaged in research and development.

The outcome of a close collaboration between mathematicians and mathematical physicists, these Lecture Notes present the foundations of A. Connes noncommutative geometry, as well as its applications in particular to the field of theoretical particle physics. The coherent and systematic approach makes this book useful for experienced researchers and postgraduate students alike.

Schubert varieties provide an inductive tool for studying flag varieties. This book is mainly a detailed account of a particularly interesting instance of their occurrence: namely, in relation to classical invariant theory. More precisely, it is about the connection between the first and second fundamental theorems of classical invariant theory on the one hand and standard monomial theory for Schubert varieties in certain special flag varieties on the other.

The goal of the Volume I Geometric Algebra for Computer Vision, Graphics and Neural Computing is to present a unified mathematical treatment of diverse problems in the general domain of artificial intelligence and associated fields using Clifford, or geometric, algebra.Geometric algebra provides a rich and general mathematical framework for Geometric Cybernetics in order to develop solutions, concepts and computer algorithms without losing geometric insight of the problem in question. Current mathematical subjects can be treated in an unified manner without abandoning the mathematical system of geometric algebra for instance: multilinear algebra, projective and affine geometry, calculus on manifolds, Riemann geometry, the representation of Lie algebras and Lie groups using bivector algebras and conformal geometry. By treating a wide spectrum of problems in a common language, this Volume I offers both new insights and new solutions that should be useful to scientists, and engineers working in different areas related with the development and building of intelligent machines. Each chapter is written in accessible terms accompanied by numerous examples, figures and a complementary appendix on Clifford algebras, all to clarify the theory and the crucial aspects of the application of geometric algebra to problems in graphics engineering, image processing, pattern recognition, computer vision, machine learning, neural computing and cognitive systems.

The selected contributions in this volume originated at the Sundance conference, which was devoted to discussions of current work in the area of free resolutions. The papers include new research, not otherwise published, and expositions that develop current problems likely to influence future developments in the field.

This two-part EMS volume provides a succinct summary of complex algebraic geometry, coupled with a lucid introduction to the recent work on the interactions between the classical area of the geometry of complex algebraic curves and their Jacobian varieties. An excellent companion to the older classics on the subject.

2 Triangle Groups: An Introduction 279 3 Elementary Shimura Curves 281 4 Examples of Shimura Curves 282 5 Congruence Zeta Functions 283 6 Diophantine Properties of Shimura Curves 284 7 Klein Quartic 285 8 Supersingular Points 289 Towers of Elkies 9 289 7. CRYPTOGRAPHY AND APPLICATIONS 291 1 Introduction 291 Discrete Logarithm Problem 2 291 Curves for Public-Key Cryptosystems 3 295 Hyperelliptic Curve Cryptosystems 4 297 CM-Method 5 299 6 Cryptographic Exponent 300 7 Constructive Descent 302 8 Gaudry and Harley Algorithm 306 9 Picard Jacobians 307 Drinfeld Module Based Public Key Cryptosystems 10 308 11 Drinfeld Modules and One Way Functions 308 12 Shimura's Map 309 13 Modular Jacobians of Genus 2 Curves 310 Modular Jacobian Surfaces 14 312 15 Modular Curves of Genus Two 313 16 Hecke Operators 314 8. REFERENCES 317 345 Index Xll Preface The history of counting points on curves over finite fields is very ex- tensive, starting with the work of Gauss in 1801 and continuing with the work of Artin, Schmidt, Hasse and Weil in their study of curves and the related zeta functions Zx(t), where m Zx(t) = exp (2: N t ) m m 2': 1 m with N = #X(F qm). If X is a curve of genus g, Weil's conjectures m state that L(t) Zx(t) = (1 - t)(l - qt) where L(t) = rr~!l (1 - O'.

The moduli space Mg of curves of fixed genus g - that is, the algebraic variety that parametrizes all curves of genus g - is one of the most intriguing objects of study in algebraic geometry these days. Its appeal results not only from its beautiful mathematical structure but also from recent developments in theoretical physics, in particular in conformal field theory.