Since their invention in the late seventies, public key cryptosystems have become an indispensable asset in establishing private and secure electronic communication, and this need, given the tremendous growth of the Internet, is likely to continue growing. Elliptic curve cryptosystems represent the state of the art for such systems. Elliptic Curves and Their Applications to Cryptography: An Introduction provides a comprehensive and self-contained introduction to elliptic curves and how they are employed to secure public key cryptosystems. Even though the elegant mathematical theory underlying cryptosystems is considerably more involved than for other systems, this text requires the reader to have only an elementary knowledge of basic algebra. The text nevertheless leads to problems at the forefront of current research, featuring chapters on point counting algorithms and security issues. The Adopted unifying approach treats with equal care elliptic curves over fields of even characteristic, which are especially suited for hardware implementations, and curves over fields of odd characteristic, which have traditionally received more attention. Elliptic Curves and Their Applications: An Introduction has been used successfully for teaching advanced undergraduate courses. It will be of greatest interest to mathematicians, computer scientists, and engineers who are curious about elliptic curve cryptography in practice, without losing the beauty of the underlying mathematics.

The Foundations of Geometry and the Non-Euclidean Plane is a self-contained text for junior, senior, and first-year graduate courses. Historical material is interwoven with a rigorous ruler- and protractor axiomatic development of the Euclidean and hyperbolic planes. Additional topics include the classical axiomatic systems of Euclid and Hilbert, axiom systems for three and four dimensional absolute geometry, and Pieri's system based on rigid motions. Models, such as Taxicab Geometry, are used extensively to illustrate theory.

Ten years after publication of the popular first edition of this volume, the index theorem continues to stand as a central result of modern mathematics-one of the most important foci for the interaction of topology, geometry, and analysis. Retaining its concise presentation but offering streamlined analyses and expanded coverage of important examples and applications, Elliptic Operators, Topology, and Asymptotic Methods, Second Edition introduces the ideas surrounding the heat equation proof of the Atiyah-Singer index theorem. The author builds towards proof of the Lefschetz formula and the full index theorem with four chapters of geometry, five chapters of analysis, and four chapters of topology. The topics addressed include Hodge theory, Weyl's theorem on the distribution of the eigenvalues of the Laplacian, the asymptotic expansion for the heat kernel, and the index theorem for Dirac-type operators using Getzler's direct method. As a "dessert," the final two chapters offer discussion of Witten's analytic approach to the Morse inequalities and the L2-index theorem of Atiyah for Galois coverings. The text assumes some background in differential geometry and functional analysis. With the partial differential equation theory developed within the text and the exercises in each chapter, Elliptic Operators, Topology, and Asymptotic Methods becomes the ideal vehicle for self-study or coursework. Mathematicians, researchers, and physicists working with index theory or supersymmetry will find it a concise but wide-ranging introduction to this important and intriguing field.

The book constructs explicitly the fundamental solution of the sub-Laplacian operator for a family of model domains in Cn+1. This type of domain is a good point-wise model for a Cauchy-Rieman (CR) manifold with diagonalizable Levi form. Qualitative results for such operators have been studied extensively, but exact formulas are difficult to derive. Exact formulas are closely related to the underlying geometry and lead to equations of classical types such as hypergeometric equations and Whittaker's equations.

Symplectic geometry is the geometry underlying Hamiltonian dynamics, and symplectic mappings arise as time-1-maps of Hamiltonian flows. The spectacular rigidity phenomena for symplectic mappings discovered in the last two decades show that certain things cannot be done by a symplectic mapping. For instance, Gromov's famous "non-squeezing'' theorem states that one cannot map a ball into a thinner cylinder by a symplectic embedding. The aim of this book is to show that certain other things can be done by symplectic mappings. This is achieved by various elementary and explicit symplectic embedding constructions, such as "folding," "wrapping'', and "lifting''. These constructions are carried out in detail and are used to solve some specific symplectic embedding problems. The exposition is self-contained and addressed to students and researchers interested in geometry or dynamics.

The aim of this book is to throw light on various facets of geometry through development of four geometrical themes.

The first theme is about the ellipse, the shape of the shadow east by a circle. The next, a natural continuation of the first, is a study of all three types of conic sections, the ellipse, the parabola and the hyperbola.

The third theme is about certain properties of geometrical figures related to the problem of finding the largest area that can be enclosed by a curve of given length. This problem is called the isoperimetric problem. In itself, this topic contains motivation for major parts of the curriculum in mathematics at college level and sets the stage for more advanced mathematical subjects such as functions of several variables and the calculus of variations. Here, three types of conic section are discussed briefly.

The emergence of non-Euclidean geometries in the beginning of the nineteenth century represents one of the dramatic episodes in the history of mathematics. In the last theme the non-Euclidean geometry in the Poincare disc model of the hyperbolic plane is developed.

Mathematical Visualization is a young new discipline. It offers efficient visualization tools to the classical subjects of mathematics, and applies mathematical techniques to problems in computer graphics and scientific visualization. Originally, it started in the interdisciplinary area of differential geometry, numerical mathematics, and computer graphics. In recent years, the methods developed have found important applications.
The current volume is the quintessence of an international workshop in September 1997 in Berlin, focusing on recent developments in this emerging area. Experts present selected research work on new algorithms for visualization problems, describe the application and experiments in geometry, and develop new numerical or computer graphical techniques.

This book is an exposition of "Singular Semi-Riemannian Geometry"- the study of a smooth manifold furnished with a degenerate (singular) metric tensor of arbitrary signature. The main topic of interest is those cases where the metric tensor is assumed to be nondegenerate. In the literature, manifolds with degenerate metric tensors have been studied extrinsically as degenerate submanifolds of semi Riemannian manifolds. One major aspect of this book is first to study the intrinsic structure of a manifold with a degenerate metric tensor and then to study it extrinsically by considering it as a degenerate submanifold of a semi-Riemannian manifold. This book is divided into three parts. Part I deals with singular semi Riemannian manifolds in four chapters. In Chapter I, the linear algebra of indefinite real inner product spaces is reviewed. In general, properties of certain geometric tensor fields are obtained purely from the algebraic point of view without referring to their geometric origin. Chapter II is devoted to a review of covariant derivative operators in real vector bundles. Chapter III is the main part of this book where, intrinsically, the Koszul connection is introduced and its curvature identities are obtained. In Chapter IV, an application of Chapter III is made to degenerate submanifolds of semi-Riemannian manifolds and Gauss, Codazzi and Ricci equations are obtained. Part II deals with singular Kahler manifolds in four chapters parallel to Part I."

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.

gentle introduction to the subject, leading the reader to understand the notion of what is important in topology with regard to geometry. Divided into three sections - The line and the plane, Metric spaces and Topological spaces -, the book eases the move into higher levels of abstraction. Students are thereby informally assisted in learning new ideas while remaining on familiar territory. The authors do not assume previous knowledge of axiomatic approach or set theory. Similarly, they have restricted the mathematical vocabulary in the book so as to avoid overwhelming the reader, and the concept of convergence is employed to allow students to focus on a central theme while moving to a natural understanding of the notion of topology. The pace of the book is relaxed with gradual acceleration: the first nine sections form a balanced course in metric spaces for undergraduates while also containing ample material for a two-semester graduate course. Finally, the book illustrates the many connections between topology and other subjects, such as analysis and set theory, via the inclusion of "Extras" at the end of each chapter presenting a brief foray outside topology.

The articles in this volume are an outgrowth of a colloquium "Systemes Integrables et Feuilletages," which was held in honor of the sixtieth birthday of Pierre Molino.
The topics cover the broad range of mathematical areas which were of keen interest to Molino, namely, integral systems and more generally symplectic geometry and Poisson structures, foliations and Lie transverse structures, transitive structures, and classification problems.
Contributors to the volume include: Y. Benoist, G. Cairns, V. Cavalier, H. Flaschka, E. Ghys, A. Haefliger, B. Jessup, A. Lichnerowicz, G. Meigniez, I. Moerdijk, J. Pitkethly, T. Ratiu, J. Turiel, I. Vaisman, and P. Vanhaechke.

This book gives an analysis of Hertz's posthumously published Principles of Mechanics in its philosophical, physical and mathematical context. In a period of heated debates about the true foundation of physical sciences, Hertz's book was conceived and highly regarded as an original and rigorous foundation for a mechanistic research program. Insisting that a law-like account of nature would require hypothetical unobservables, Hertz viewed physical theories as (mental) images of the world rather than the true design behind the phenomena. This paved the way for the modern conception of a model. Rejecting the concept of force as a coherent basic notion of physics he built his mechanics on hidden masses (the ether) and rigid connections, and formulated it as a new differential geometric language. Recently many philosophers have studied Hertz's image theory and historians of physics have discussed his forceless mechanics. The present book shows how these aspects, as well as the hitherto overlooked mathematical aspects, form an integrated whole which is closely connected to the mechanistic world view of the time and which is a natural continuation of Hertz's earlier research on electromagnetism. Therefore it is also a case study of the strong interactions between philosophy, physics and mathematics. Moreover, the book presents an analysis of the genesis of many of the central elements of Hertz's mechanics based on his manuscripts and drafts. Hertz's research program was cut short by the advent of relativity theory but its image theory influenced many philosophers as well as some physicists and mathematicians and its geometric form had a lasting influence on advanced expositions of mechanics.

This book is a monograph on unitals embedded in ?nite projective planes. Unitals are an interesting structure found in square order projective planes, and numerous research articles constructing and discussing these structures have appeared in print. More importantly, there still are many open pr- lems, and this remains a fruitful area for Ph.D. dissertations. Unitals play an important role in ?nite geometry as well as in related areas of mathematics. For example, unitals play a parallel role to Baer s- planes when considering extreme values for the size of a blocking set in a square order projective plane (see Section 2.3). Moreover, unitals meet the upper bound for the number of absolute points of any polarity in a square order projective plane (see Section 1.5). From an applications point of view, the linear codes arising from unitals have excellent technical properties (see 2 Section 6.4). The automorphism group of the classical unitalH =H(2, q ) is 2-transitive on the points ofH, and so unitals are of interest in group theory. In the ?eld of algebraic geometry over ?nite ?elds, H is a maximal curve that contains the largest number of F -rational points with respect to its genus, 2 q as established by the Hasse-Weil boun

* Provides an elegant introduction to the geometric concepts that are important to applications in robotics

* Includes significant state-of-the art material that reflects important advances, connecting robotics back to mathematical fundamentals in group theory and geometry

* An invaluable reference that serves a wide audience of grad students and researchers in mechanical engineering, computer science, and applied mathematics

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.

This reference work deals with important topics in general topology and their role in functional analysis and axiomatic set theory, for graduate students and researchers working in topology, functional analysis, set theory and probability theory. It provides a guide to recent research findings, with three contributions by Arhangel'skii and Choban.

The series is aimed specifically at publishing peer reviewed reviews and contributions presented at workshops and conferences. Each volume is associated with a particular conference, symposium or workshop. These events cover various topics within pure and applied mathematics and provide up-to-date coverage of new developments, methods and applications.

This is the second edition of this best selling problem book for students, now containing over 400 completely solved exercises on differentiable manifolds, Lie theory, fibre bundles and Riemannian manifolds. The exercises go from elementary computations to rather sophisticated tools. Many of the definitions and theorems used throughout are explained in the first section of each chapter where they appear. A 56-page collection of formulae is included which can be useful as an aide-memoire, even for teachers and researchers on those topics. In this 2nd edition: * 76 new problems * a section devoted to a generalization of Gauss' Lemma * a short novel section dealing with some properties of the energy of Hopf vector fields * an expanded collection of formulae and tables * an extended bibliography Audience This book will be useful to advanced undergraduate and graduate students of mathematics, theoretical physics and some branches of engineering with a rudimentary knowledge of linear and multilinear algebra.

This book considers signal processing and physical modeling meth ods for sound synthesis. Such methods are useful for example in mu sic synthesizers, computer sound cards, and computer games. Physical modeling synthesis has been commercialized for the first time about 10 years ago. Recently, it has been one of the most active research topics in musical acoustics and computer music. The authors of this book, Dr. Lutz Trautmann and Dr. Rudolf Rabenstein, are active researchers and inventors in the field of sound synthesis. Together they have developed a new synthesis technique, called the functional transformation method, which can be used for pro ducing musical sound in real time. Before this book, they have published over 20 papers on the topic in journals and conference proceedings. In this excellent textbook, the results are combined in a single volume. I believe that this will be considered an important step forward for the whole community."

In recent years geometry seems to have lost large parts of its former central position in mathematics teaching in most countries. However, new trends have begun to counteract this tendency. There is an increasing awareness that geometry plays a key role in mathematics and learning mathematics. Although geometry has been eclipsed in the mathematics curriculum, research in geometry has blossomed as new ideas have arisen from inside mathematics and other disciplines, including computer science. Due to reassessment of the role of geometry, mathematics educators and mathematicians face new challenges. In the present ICMI study, the whole spectrum of teaching and learning of geometry is analysed. Experts from all over the world took part in this study, which was conducted on the basis of recent international research, case studies, and reports on actual school practice. This book will be of particular interest to mathematics educators and mathematicians who are involved in the teaching of geometry at all educational levels, as well as to researchers in mathematics education.

This monograph is mostly devoted to the problem of the geome- trizing of Lagrangians which depend on higher order accelerations. It naturally prolongs the theme of the monograph "The Geometry of La- grange spaces: Theory and Applications", written together with M. Anastasiei and published by Kluwer Academic Publishers in 1994. The existence of Lagrangians of order k > 1 has been contemplated by mechanicists and physicists for a long time. Einstein had grasped their presence in connection with the Brownian motion. They are also present in relativistic theories based on metrics which depend on speeds and accelerations of particles or in the Hamiltonian formulation of non- linear systems given by Korteweg-de Vries equations. There resulted from here the methods to be adopted in their theoretical treatment. One is based on the variational problem involving the integral action of the Lagrangian. A second one is derived from the axioms of Analytical Mechanics involving the Poincare-Cartan forms. The geometrical methods based on the study of the geometries of higher order could invigorate the whole theory. This is the way adopted by us in defining and studying the Lagrange spaces of higher order. The problems raised by the geometrization of Lagrangians of order k > 1 investigated by many scholars: Ch. Ehresmann, P. Libermann, J. Pommaret; J.T. Synge, M. Crampin, P. Saunders; G.S. Asanov, P.Aringazin; I. Kolar, D. Krupka; M. de Leon, W. Sarlet, P. Cantrjin, H. Rund, W.M. Tulczyjew, A. Kawaguchi, K. Yano, K. Kondo, D.

na broad sense Design Science is the grammar of a language of images Irather than of words. Modern communication techniques enable us to transmit and reconstitute images without needing to know a specific verbal sequence language such as the Morse code or Hungarian. International traffic signs use international image symbols which are not specific to any particular verbal language. An image language differs from a verbal one in that the latter uses a linear string of symbols, whereas the former is multi dimensional. Architectural renderings commonly show projections onto three mutual ly perpendicular planes, or consist of cross sections at different altitudes capa ble of being stacked and representing different floor plans. Such renderings make it difficult to imagine buildings comprising ramps and other features which disguise the separation between floors, and consequently limit the cre ative process of the architect. Analogously, we tend to analyze natural struc tures as if nature had used similar stacked renderings, rather than, for instance, a system of packed spheres, with the result that we fail to perceive the system of organization determining the form of such structures. Perception is a complex process. Our senses record; they are analogous to audio or video devices. We cannot, however, claim that such devices perceive."

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.

These 25 papers from a conference held in August 1998 at Pusan National U. provide a broad overview of contemporary group theory, with a particular emphasis on geometric and topological methods. Topics covered include: deformations and rigidity, combinatorial group theory and wild metric complexes, generalized triangle groups, HNN extensions, Eilenberg-Ganea Conjecture, cyclically presented groups, Takahashi manifolds, wreath products, reduction formulae, group actions on graphs and designs, Grushko-Neumann theorem, and variations on a theme of Higman and Conder. Includes a list of the authors and participants with contact information. Conference sponsors included the Korea Science and Engineering Foundation and International Mathematical Union Commission on Development and Exchange. Lacks an index.