The origami introduced in this book is based on simple techniques. Some were previously known by origami artists and some were discovered by the author. Curved-Folding Origami Design shows a way to explore new area of origami composed of curved folds. Each technique is introduced in a step-by-step fashion, followed by some beautiful artwork examples. A commentary explaining the theory behind the technique is placed at the end of each chapter. Features Explains the techniques for designing curved-folding origami in seven chapters Contains many illustrations and photos (over 140 figures), with simple instructions Contains photos of 24 beautiful origami artworks, as well as their crease patterns Some basic theories behind the techniques are introduced

The study of geodesic flows on homogenous spaces is an area of research that has yielded some fascinating developments. This book, first published in 2000, focuses on many of these, and one of its highlights is an elementary and complete proof (due to Margulis and Dani) of Oppenheim's conjecture. Also included here: an exposition of Ratner's work on Raghunathan's conjectures; a complete proof of the Howe-Moore vanishing theorem for general semisimple Lie groups; a new treatment of Mautner's result on the geodesic flow of a Riemannian symmetric space; Mozes' result about mixing of all orders and the asymptotic distribution of lattice points in the hyperbolic plane; Ledrappier's example of a mixing action which is not a mixing of all orders. The treatment is as self-contained and elementary as possible. It should appeal to graduate students and researchers interested in dynamical systems, harmonic analysis, differential geometry, Lie theory and number theory.

Focusing on the manipulation and representation of geometrical objects, this book explores the application of geometry to computer graphics and computer-aided design (CAD). Over 300 exercises are included, some new to this edition, and many of which encourage the reader to implement the techniques and algorithms discussed through the use of a computer package with graphing and computer algebra capabilities. A dedicated website also offers further resources and useful links.

This book investigates the high degree of symmetry that lies hidden in integrable systems. To that end, differential equations arising from classical mechanics, such as the KdV equation and the KP equations, are used here by the authors to introduce the notion of an infinite dimensional transformation group acting on spaces of integrable systems. Chapters discuss the work of M. Sato on the algebraic structure of completely integrable systems, together with developments of these ideas in the work of M. Kashiwara. The text should be accessible to anyone with a knowledge of differential and integral calculus and elementary complex analysis, and it will be a valuable resource to both novice and expert alike.

Polyhedra have cropped up in many different guises throughout recorded history. Recently, polyhedra and their symmetries have been cast in a new light by combinatorics and group theory. This unique text comprehensively documents the many and varied ways that polyhedra have come to the fore throughout the development of mathematics. The author strikes a balance between covering the historical development of the theory surrounding polyhedra and rigorous treatment of the mathematics involved. Attractively illustrated--including 16 color plates--Polyhedra elucidates ideas that have proven difficult to grasp. Mathematicians, as well as historians of mathematics, will find this book fascinating.

This book is the first volume in a two-volume set, which will provide the complete proof of classification of two important classes of geometries, closely related to each other: Petersen and tilde geometries. There is an infinite family of tilde geometries associated with nonsplit extensions of symplectic groups over a field of two elements. Besides that there are twelve exceptional Petersen and tilde geometries. These exceptional geometries are related to sporadic simple groups, including the famous Monster group and this volume gives a construction for each of the Petersen and tilde geometries that provides an independent existence proof for the corresponding automorphism group. Important applications of Petersen and tilde geometries are considered, including the so-called Y-presentations for the Monster and related groups, and a complete identification of Y-groups is given. This is an essential purchase for researchers in finite group theory, finite geometries and algebraic combinatorics.

In 19 articles presented by leading experts in the field of geometric modelling the state-of-the-art on representing, modeling, and analyzing curves, surfaces as well as other 3-dimensional geometry is given. The range of applications include CAD/CAM-systems, computer graphics, scientific visualization, virtual reality, simulation and medical imaging. The content of this book is based on selected lectures given at a workshop held at IBFI Schloss Dagstuhl, Germany. Topics treated are: - curve and surface modelling - non-manifold modelling in CAD - multiresolution analysis of complex geometric models - surface reconstruction - variational design - computational geometry of curves and surfaces - 3D meshing - geometric modelling for scientific visualization - geometric models for biomedical applications

New variational methods by Aubry, Mather, and Mane, discovered in the last twenty years, gave deep insight into the dynamics of convex Lagrangian systems. This book shows how this Principle of Least Action appears in a variety of settings (billiards, length spectrum, Hofer geometry, modern symplectic geometry). Thus, topics from modern dynamical systems and modern symplectic geometry are linked in a new and sometimes surprising way. The central object is Mather 's minimal action functional. The level is for graduate students onwards, but also for researchers in any of the subjects touched in the book.

Algebraic projective geometry, with its multilinear relations and its embedding into Grassmann-Cayley algebra, has become the basic representation of multiple view geometry, resulting in deep insights into the algebraic structure of geometric relations, as well as in efficient and versatile algorithms for computer vision and image analysis.

This book provides a coherent integration of algebraic projective geometry and spatial reasoning under uncertainty with applications in computer vision. Beyond systematically introducing the theoretical foundations from geometry and statistics and clear rules for performing geometric reasoning under uncertainty, the author provides a collection of detailed algorithms.

The book addresses researchers and advanced students interested in algebraic projective geometry for image analysis, in statistical representation of objects and transformations, or in generic tools for testing and estimating within the context of geometric multiple-view analysis.

Convex geometry is at once simple and amazingly rich. While the classical results go back many decades, during that previous to this book's publication in 1999, the integral geometry of convex bodies had undergone a dramatic revitalization, brought about by the introduction of methods, results and, most importantly, new viewpoints, from probability theory, harmonic analysis and the geometry of finite-dimensional normed spaces. This book is a collection of research and expository articles on convex geometry and probability, suitable for researchers and graduate students in several branches of mathematics coming under the broad heading of 'Geometric Functional Analysis'. It continues the Israel GAFA Seminar series, which is widely recognized as the most useful research source in the area. The collection reflects the work done at the program in Convex Geometry and Geometric Analysis that took place at MSRI in 1996.

There has been a resurgence of interest in classical invariant theory driven by several factors: new theoretical developments; a revival of computational methods coupled with powerful new computer algebra packages; and a wealth of new applications, ranging from number theory to geometry, physics to computer vision. This book provides readers with a self-contained introduction to the classical theory as well as modern developments and applications. The text concentrates on the study of binary forms (polynomials) in characteristic zero, and uses analytical as well as algebraic tools to study and classify invariants, symmetry, equivalence and canonical forms. A variety of innovations make this text of interest even to veterans of the subject; these include the use of differential operators and the transform approach to the symbolic method, extension of results to arbitrary functions, graphical methods for computing identities and Hilbert bases, complete systems of rationally and functionally independent covariants, introduction of Lie group and Lie algebra methods, as well as a new geometrical theory of moving frames and applications. Aimed at advanced undergraduate and graduate students the book includes many exercises and historical details, complete proofs of the fundamental theorems, and a lively and provocative exposition.

In recent years, geometry has played a lesser role in undergraduate courses than it has ever done. Nevertheless, it still plays a leading role in mathematics at a higher level. Its central role in the history of mathematics has never been disputed. It is important, therefore, to introduce some geometry into university syllabuses. There are several ways of doing this, it can be incorporated into existing courses that are primarily devoted to other topics, it can be taught at a first year level or it can be taught in higher level courses devoted to differential geometry or to more classical topics. These notes are intended to fill a rather obvious gap in the literature. It treats the classical topics of Euclidean, projective and hyperbolic geometry but uses the material commonly taught to undergraduates: linear algebra, group theory, metric spaces and complex analysis. The notes are based on a course whose aim was two fold, firstly, to introduce the students to some geometry and secondly to deepen their understanding of topics that they have already met. What is required from the earlier material is a familiarity with the main ideas, specific topics that are used are usually redone.

Finite element methods have become essential design tools for managing the complex structures and devices needed in modern microwave technology. Long the preferred techniques of both researchers and engineers, their migration from research lab to routine industrial use has been accelerated by hardware and software improvements. The last decade has seen the widespread availability of good commercial finite element programs for an extensive range of applications. Finite Element Software for Microwave Engineering provides the first comprehensive overview of this burgeoning field. With its unique focus on current and future industrial applications rather than on mathematical methodology, this book is an invaluable complement to the existing literature on finite element methods. Directed to practicing engineers and researchers, the book describes user experience with current software, shows how existing programs can be used to solve problems not foreseen by their designers, and attempts to predict which methods may appear in the commercial products of tomorrow.

Among the intuitively appealing aspects of graph theory is its close connection to drawings and geometry. The development of computer technology has become a source of motivation to reconsider these connections, in particular geometric graphs are emerging as a new subfield of graph theory. Arrangements of points and lines are the objects for many challenging problems and surprising solutions in combinatorial geometry. The book is a collection of beautiful and partly very recent results from the intersection of geometry, graph theory and combinatorics.

This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Automated Deduction in Geometry, ADG 2002, held at Hagenberg Castle, Austria in September 2002.

The 13 revised full papers presented were carefully selected during two rounds of reviewing and improvement. Among the issues addressed are theoretical and methodological topics, such as the resolution of singularities, algebraic geometry and computer algebra; various geometric theorem proving systems are explored; and applications of automated deduction in geometry are demonstrated in fields like computer-aided design and robotics.

The Morse-Sard theorem is a rather subtle result and the interplay between the high-order analytic structure of the mappings involved and their geometry rarely becomes apparent. The main reason is that the classical Morse-Sard theorem is basically qualitative. This volume gives a proof and also an "explanation" of the quantitative Morse-Sard theorem and related results, beginning with the study of polynomial (or tame) mappings. The quantitative questions, answered by a combination of the methods of real semialgebraic and tame geometry and integral geometry, turn out to be nontrivial and highly productive. The important advantage of this approach is that it allows the separation of the role of high differentiability and that of algebraic geometry in a smooth setting: all the geometrically relevant phenomena appear already for polynomial mappings. The geometric properties obtained are "stable with respect to approximation," and can be imposed on smooth functions via polynomial approximation.

Since it was ?rst organized in 1997, the Japan Conference on Discrete and C- putational Geometry (JCDCG) continues to attract an international audience. The ?rst ?ve conferences of the series were held in Tokyo, the sixth in Manila, Philippines. This volume consists of the refereed papers presented at the seventh conference, JCDCG 2002, held in Tokai University, Tokyo, December 6-9, 2002. An eighth conference is planned to be held in Bandung, Indonesia. The proceedings of JCDCG 1998 and JCDCG 2000 were published by Springer-Verlag as part of the series Lecture Notes in Computer Science: LNCS volumes 1763 and 2098, respectively. The proceedings of JCDCG 2001 were also published by Springer-Verlag as a special issue of the journal Graphs and C- binatorics, Vol. 18, No. 4, 2002. The organizers are grateful to Tokai University for sponsoring the conf- ence. They wish to thank all the people who contributed to the success of the conference, in particular, Chie Nara, who headed the conference secretariat, and the principal speakers: Takao Asano, David Avis, Greg N. Frederickson, Ferran Hurtado, Joseph O'Rourke, J anos Pach, Rom Pinchasi, and Jorge Urrutia."

This text takes a practical, step-by-step approach to algebraic curves and surface interpolation motivated by the understanding of the many practical applications in engineering analysis, approximation, and curve plotting problems. Because of its usefulness for computing, the algebraic approach is the main theme, but a brief discussion of the synthetic approach is also presented as a way of gaining additional insight before proceeding with the algebraic manipulation. The authors start with simple interpolation, including splines, and extend this in an intuitive fashion to the production of conic sections. They then introduce projective co-ordinates as tools for dealing with higher order curves and singular points. They present many applications and concrete examples, including parabolic interpolation, geometric approximation, and the numerical solution of trajectory problems. In the final chapter they apply the basic theory to the construction of finite element basis functions and surface interpolants over non-regular shapes.

The new edition of this non-mathematical review of catastrophe theory contains updated results and many new or expanded topics including delayed loss of stability, shock waves, and interior scattering. Three new sections offer the history of singularity and its applications from da Vinci to today, a discussion of perestroika in terms of the theory of metamorphosis, and a list of 93 problems touching on most of the subject matter in the book.

Spaces of holomorphic functions have been a prominent theme in analysis since early in the twentieth century. Of interest to complex analysts, functional analysts, operator theorists, and systems theorists, their study is now flourishing. This volume, an outgrowth of a 1995 program at the Mathematical Sciences Research Institute, contains expository articles by program participants describing the present state of the art. Here researchers and graduate students will encounter Hardy spaces, Bergman spaces, Dirichlet spaces, Hankel and Toeplitz operators, and a sampling of the role these objects play in modern analysis.

This proceedings volume includes papers presented at DGCI 2003 in Naples, Italy, November 19-21, 2003. DGCI 2003 was the 11th conference in a series of internationalconferencesonDiscreteGeometryforComputerImagery.Thec- ference was organized by the Italian Institute for Philosophical Studies, Naples and the Institute of Cybernetics "E. Caianiello," National Research Council of Italy, Pozzuoli (Naples). DGCI 2003 was sponsored by the International Asso- ation for Pattern Recognition (IAPR). ThisisthesecondtimetheconferencetookplaceoutsideFrance.Thenumber ofresearchersactiveinthe?eldofdiscretegeometryandcomputerimageryis- creasing. Both these factors contribute to the increased international recognition of the conference. The DGCI conferences attract more and more academic and research institutions in di?erent countries. In fact, 68 papers were submitted to DGCI2003.Thecontributionsfocusondiscretegeometryandtopology, surfaces and volumes, morphology, shape representation, and shape analysis. After ca- ful reviewing by an international board of reviewers, 23 papers were selected for oral presentation and 26 for poster presentation. All contributions were sch- uled in plenary sessions. In addition, the program was enriched by three l- tures, presented by internationally well-known invited speakers: Isabelle Bloch (EcoleNationaleSup erieuredesT el ecommunications, France), LonginJanLa- cki(TempleUniversity, USA), andRalphKopperman(CityCollegeofNewYork, USA). In 2002, a technical committee of the IAPR, TC18, was established with the intention to promote interactions and collaboration between researchers wo- ing on discrete geometry. The ?rst TC18 meeting was planned to be held in conjunction with DGCI 2003, to allow the members to discuss the activity of the technical committee. The outcome from this meeting will help the ongoing research and communication for researchers active within the ?eld during the 18 months between the conferences."

Manifolds are the central geometric objects in modern mathematics. An attempt to understand the nature of manifolds leads to many interesting questions. One of the most obvious questions is the following. Let M and N be manifolds: how can we decide whether M and N are ho- topy equivalent or homeomorphic or di?eomorphic (if the manifolds are smooth)? The prototype of a beautiful answer is given by the Poincar e Conjecture. If n N is S, the n-dimensional sphere, and M is an arbitrary closed manifold, then n it is easy to decide whether M is homotopy equivalent to S . Thisisthecaseif and only if M is simply connected (assumingn> 1, the case n = 1 is trivial since 1 every closed connected 1-dimensional manifold is di?eomorphic toS ) and has the n homology of S . The PoincareConjecture states that this is also su?cient for the n existenceof ahomeomorphism fromM toS . For n = 2this followsfromthewe- known classi?cation of surfaces. Forn> 4 this was proved by Smale and Newman in the 1960s, Freedman solved the case in n = 4 in 1982 and recently Perelman announced a proof for n = 3, but this proof has still to be checked thoroughly by the experts. In the smooth category it is not true that manifolds homotopy n equivalent to S are di?eomorphic. The ?rst examples were published by Milnor in 1956 and together with Kervaire he analyzed the situation systematically in the 1960s."

Kodaira is a Fields Medal Prize Winner. (In the absence of a Nobel prize in mathematics, they are regarded as the highest professional honour a mathematician can attain.)

Kodaira is an honorary member of the London Mathematical Society.

Affordable softcover edition of 1986 classic

This work on the foundations of Euclidean geometry aims to present the subject from the point of view of mathematics at the end of the 20th century, taking advantage of all the developments since the appearance of Hilbert's classic work. Here real affine space is characterized by a small number of axioms involving points and line segments making the treatment self-contained and thorough, many results being established under weaker hypotheses than usual. The treatment should be accessible for final year undergraduates and graduate students, and can also serve as an introduction to other areas of mathematics such as matroids and antimatroids, combinatorial convexity, the theory of polytopes, projective geometry and functional analysis.

The exposition studies projective models of K3 surfaces whose hyperplane sections are non-Clifford general curves. These models are contained in rational normal scrolls. The exposition supplements standard descriptions of models of general K3 surfaces in projective spaces of low dimension, and leads to a classification of K3 surfaces in projective spaces of dimension at most 10. The authors bring further the ideas in Saint-Donat's classical article from 1974, lifting results from canonical curves to K3 surfaces and incorporating much of the Brill-Noether theory of curves and theory of syzygies developed in the mean time.