This is the first graduate textbook on the algorithmic aspects of real algebraic geometry. The main ideas and techniques presented form a coherent and rich body of knowledge. Mathematicians will find relevant information about the algorithmic aspects. Researchers in computer science and engineering will find the required mathematical background. Being self-contained the book is accessible to graduate students and even, for invaluable parts of it, to undergraduate students. This second edition contains several recent results on discriminants of symmetric matrices and other relevant topics.

This book examines holomorphic Morse inequalities and the asymptotic expansion of the Bergman kernel on manifolds by using the heat kernel. It opens perspectives on several active areas of research in complex, Kahler and symplectic geometry. A large number of applications are also included, such as an analytic proof of Kodaira's embedding theorem, a solution of the Grauert-Riemenschneider and Shiffman conjectures, compactification of complete Kahler manifolds of pinched negative curvature, Berezin-Toeplitz quantization, weak Lefschetz theorems, and asymptotics of the Ray-Singer analytic torsion.

From the reviews: "This volume... consists of two papers. The first, written by V.V. Shokurov, is devoted to the theory of Riemann surfaces and algebraic curves. It is an excellent overview of the theory of relations between Riemann surfaces and their models - complex algebraic curves in complex projective spaces. ... The second paper, written by V.I. Danilov, discusses algebraic varieties and schemes. ... I can recommend the book as a very good introduction to the basic algebraic geometry." "European Mathematical Society" "Newsletter, 1996"
..". To sum up, this book helps to learn algebraic geometry in a short time, its concrete style is enjoyable for students and reveals the beauty of mathematics." Acta Scientiarum Mathematicarum

This second edition is a corrected and extended version of the first. It is a textbook for students, as well as a reference book for the working mathematician, on cohomological topics in number theory. In all it is a virtually complete treatment of a vast array of central topics in algebraic number theory. New material is introduced here on duality theorems for unramified and tamely ramified extensions as well as a careful analysis of 2-extensions of real number fields.

This book is the first collection of lipid-membrane research conducted by leading mechanicians and experts in continuum mechanics. It brings the overall intellectual framework afforded by modern continuum mechanics to bear on a host of challenging problems in lipid membrane physics. These include unique and authoritative treatments of differential geometry, shape elasticity, surface flow and diffusion, interleaf membrane friction, phase transitions, electroelasticity and flexoelectricity, and computational modelling.

This collection of 18 research papers, dedicated to Pierre Lelong, describes the state of the art on representative problems of complex analysis and geometry. The book opens with an exposition of the achievements of Pierre Lelong on plurisubharmonic functions, closed positive currents, and their further study by other mathematicians. Moreover, a list of eleven open problems is given. All other contributions contain new results related, for example, to the following items: - Capacities, product of positive currents, L2 extension theorems, Bergman kernels and metrics, new properties of convex domains of finite type - Non-compact boundaries of Levi-flat hypersurfaces of C2, compact boundary problems as application of compactly supported measures orthogonal to polynomials, Hartogs' theorem on some open subsets of a projective manifold, Malgrange vanishing theorem with support conditions - Embeddings for 3-dimensional CR-manifolds, geometrization of hypoellipticity, stationary complex curves and complete integrability - Regular polynomial mappings of Ck in complex dynamics, a direct proof of the density of repulsive cycles in the Julia set. The book is aimed at researchers and advanced graduate students in complex and real analysis, algebraic geometry and number theory.

Mathematical algorithms are a fundamental component of Computer Aided Design and Manufacturing (CAD/CAM) systems. This book provides a bridge between algebraic geometry and geometric modelling algorithms, formulated within a computer science framework. Apart from the algebraic geometry topics covered, the entire book is based on the unifying concept of using algebraic techniques - properly specialized to solve geometric problems - to seriously improve accuracy, robustness and efficiency of CAD-systems. It provides new approaches as well as industrial applications to deform surfaces when animating virtual characters, to automatically compare images of handwritten signatures and to improve control of NC machines. This book further introduces a noteworthy representation based on 2D contours, which is essential to model the metal sheet in industrial processes. It additionally reviews applications of numerical algebraic geometry to differential equations systems with multiple solutions and bifurcations. Future Vision and Trends on Shapes, Geometry and Algebra is aimed specialists in the area of mathematics and computer science on the one hand and on the other hand at those who want to become familiar with the practical application of algebraic geometry and geometric modelling such as students, researchers and doctorates.

This book collects the proceedings of the Algebra, Geometry and Mathematical Physics Conference, held at the University of Haute Alsace, France, October 2011. Organized in the four areas of algebra, geometry, dynamical symmetries and conservation laws and mathematical physics and applications, the book covers deformation theory and quantization; Hom-algebras and n-ary algebraic structures; Hopf algebra, integrable systems and related math structures; jet theory and Weil bundles; Lie theory and applications; non-commutative and Lie algebra and more.

The papers explore the interplay between research in contemporary mathematics and physics concerned with generalizations of the main structures of Lie theory aimed at quantization and discrete and non-commutative extensions of differential calculus and geometry, non-associative structures, actions of groups and semi-groups, non-commutative dynamics, non-commutative geometry and applications in physics and beyond.

The book benefits a broad audience of researchers and advanced students.

Recent advances in both the theory and implementation of computational algebraic geometry have led to new, striking applications to a variety of fields of research. The articles in this volume highlight a range of these applications and provide introductory material for topics covered in the IMA workshops on "Optimization and Control" and "Applications in Biology, Dynamics, and Statistics" held during the IMA year on Applications of Algebraic Geometry. The articles related to optimization and control focus on burgeoning use of semidefinite programming and moment matrix techniques in computational real algebraic geometry. The new direction towards a systematic study of non-commutative real algebraic geometry is well represented in the volume. Other articles provide an overview of the way computational algebra is useful for analysis of contingency tables, reconstruction of phylogenetic trees, and in systems biology. The contributions collected in this volume are accessible to non-experts, self-contained and informative; they quickly move towards cutting edge research in these areas, and provide a wealth of open problems for future research.

Meyer's Geometry and Its Applications, Second Edition, combines traditional geometry with current ideas to present a modern approach that is grounded in real-world applications. It balances the deductive approach with discovery learning, and introduces axiomatic, Euclidean geometry, non-Euclidean geometry, and transformational geometry. The text integrates applications and examples throughout and includes historical notes in many chapters.
The Second Edition of Geometry and Its Applications is a significant text for any college or university that focuses on geometry's usefulness in other disciplines. It is especially appropriate for engineering and science majors, as well as future mathematics teachers.
* Realistic applications integrated throughout the text, including (but not limited to):
- Symmetries of artistic patterns
- Physics
- Robotics
- Computer vision
- Computer graphics
- Stability of architectural structures
- Molecular biology
- Medicine
- Pattern recognition
* Historical notes included in many chapters
* Instructor's Manual with solutions available for all adopters of the text

Manifolds fall naturally into two classes depending on whether they can be fitted with a distance measuring function or not. The former, metrisable manifolds, and especially compact manifolds, have been intensively studied by topologists for over a century, whereas the latter, non-metrisable manifolds, are much more abundant but have a more modest history, having become of increasing interest only over the past 40 years or so. The first book on this topic, this book ranges from criteria for metrisability, dynamics on non-metrisable manifolds, Nyikos's Bagpipe Theorem and whether perfectly normal manifolds are metrisable to structures on manifolds, especially the abundance of exotic differential structures and the dearth of foliations on the long plane. A rigid foliation of the Euclidean plane is described. This book is intended for graduate students and mathematicians who are curious about manifolds beyond the metrisability wall, and especially the use of Set Theory as a tool.

This text on geometry is devoted to various central geometrical topics including: graphs of functions, transformations, (non-)Euclidean geometries, curves and surfaces as well as their applications in a variety of disciplines. This book presents elementary methods for analytical modeling and demonstrates the potential for symbolic computational tools to support the development of analytical solutions. The author systematically examines several powerful tools of MATLAB (R) including 2D and 3D animation of geometric images with shadows and colors and transformations using matrices. With over 150 stimulating exercises and problems, this text integrates traditional differential and non-Euclidean geometries with more current computer systems in a practical and user-friendly format. This text is an excellent classroom resource or self-study reference for undergraduate students in a variety of disciplines.

The aim of this handbook is to create, for the first time, a systematic account of the field of spatial logic. The book comprises a general introduction, followed by fourteen chapters by invited authors. Each chapter provides a self-contained overview of its topic, describing the principal results obtained to date, explaining the methods used to obtain them, and listing the most important open problems. Jointly, these contributions constitute a comprehensive survey of this rapidly expanding subject.

With contributions by leading experts in geometric analysis, this volume is documenting the material presented in the John H. Barrett Memorial Lectures held at the University of Tennessee, Knoxville, on May 29 - June 1, 2018. The central topic of the 2018 lectures was mean curvature flow, and the material in this volume covers all recent developments in this vibrant area that combines partial differential equations with differential geometry.

This book gives senior undergraduate and beginning graduate students and researchers in computer vision, applied mathematics, computer graphics, and robotics a self-contained introduction to the geometry of 3D vision; that is the reconstruction of 3D models of objects from a collection of 2D images. Following a brief introduction, Part I provides background materials for the rest of the book. The two fundamental transformations, namely rigid body motion and perspective projection are introduced and image formation and feature extraction discussed. Part II covers the classic theory of two view geometry based on the so-called epipolar constraint. Part III shows that a more proper tool for studying the geometry of multiple views is the so- called rank considtion on the multiple view matrix. Part IV develops practical reconstruction algorithms step by step as well as discusses possible extensions of the theory. Exercises are provided at the end of each chapter. Software for examples and algorithms are available on the author's website.

This collection of survey lectures in mathematics traces the career of Beno Eckmann, whose work ranges across a broad spectrum of mathematical concepts from topology through homological algebra to group theory. One of our most influential living mathematicians, Eckmann has been associated for nearly his entire professional life with the Swiss Federal Technical University (ETH) at Zurich, as student, lecturer, professor, and professor emeritus.

The importance of mathematics competitions has been widely recognized for three reasons: they help to develop imaginative capacity and thinking skills whose value far transcends mathematics; they constitute the most effective way of discovering and nurturing mathematical talent; and they provide a means to combat the prevalent false image of mathematics held by high school students, as either a fearsomely difficult or a dull and uncreative subject. This book provides a comprehensive training resource for competitions from local and provincial to national Olympiad level, containing hundreds of diagrams, and graced by many light-hearted cartoons. It features a large collection of what mathematicians call "beautiful" problems - non-routine, provocative, fascinating, and challenging problems, often with elegant solutions. It features careful, systematic exposition of a selection of the most important topics encountered in mathematics competitions, assuming little prior knowledge. Geometry, trigonometry, mathematical induction, inequalities, Diophantine equations, number theory, sequences and series, the binomial theorem, and combinatorics - are all developed in a gentle but lively manner, liberally illustrated with examples, and consistently motivated by attractive "appetiser" problems, whose solution appears after the relevant theory has been expounded.
Each chapter is presented as a "toolchest" of instruments designed for cracking the problems collected at the end of the chapter. Other topics, such as algebra, co-ordinate geometry, functional equations and probability, are introduced and elucidated in the posing and solving of the large collection of miscellaneous problems in thefinal toolchest.
An unusual feature of this book is the attention paid throughout to the history of mathematics - the origins of the ideas, the terminology and some of the problems, and the celebration of mathematics as a multicultural, cooperative human achievement.
As a bonus the aspiring "mathlete" may encounter, in the most enjoyable way possible, many of the topics that form the core of the standard school curriculum.

This book provides a quick access to computational tools for algebraic geometry, the mathematical discipline which handles solution sets of polynomial equations. Originating from a number of intense one week schools taught by the authors, the text is designed so as to provide a step by step introduction which enables the reader to get started with his own computational experiments right away. The authors present the basic concepts and ideas in a compact way.

The relation between mathematics and physics has a long history, in which the role of number theory and of other more abstract parts of mathematics has recently become more prominent.

More than ten years after a first meeting in 1989 between number theorists and physicists at the Centre de Physique des Houches, a second 2-week event focused on the broader interface of number theory, geometry, and physics.

This book is the result of that exciting meeting, and collects, in 2 volumes, extended versions of the lecture courses, followed by shorter texts on special topics, of eminent mathematicians and physicists.

The present volume has three parts: Random matrices, Zeta functions, Dynamical systems.

The companion volume is subtitled: On Conformal Field Theories, Discrete Groups and Renormalization and will be published in 2006 (Springer, 3-540-30307-3).

Geometric Modeling and Algebraic Geometry, though closely related, are traditionally represented by two almost disjoint scientific communities. Both fields deal with objects defined by algebraic equations, but the objects are studied in different ways. In 12 chapters written by leading experts, this book presents recent results which rely on the interaction of both fields. Some of these results have been obtained from a major European project in geometric modeling.

Growing transportation costs and tight delivery schedules mean that good located decisions are more crucial than ever in the success or failure of industrial and puplic projects. The development of realistic location models is an essential phase in every locational decision process. Especially when dealing with geometric representations of continuous (planar) location model problems, the goegraphical reality must be incorporated. This text develops the mathematical implications of barriers to the geometrical and analytical characteristics of continuous location problems. Besides their relevance in the application of location theoretic results, location problems with barriers are also very interesting from a mathematical point of view. The nonconvexity of distance measures in the presence of barriers leads to nonconvex optimization problems. Most of the classical methods in continuous location theory rely heaily on the convexity of the objective function and will thus fail in this context. On the other hand, general methods in global optimization capable of treating nonconvex problems ignore the geometric charateristics of the location problems considered. Theoretic as well as algorithmic approaches are utilized to overcome the described difficulties for the solution of location problems with barriers. Depending on the barrier shapes, the underlying distance measure, and type of objective function, different concepts are conceived to handle the nonconvexity of the problem. This book will appeal to those working in operations research and management science and mathematicians interested in optimization theory and its applications.

This volume contains selected papers authored by speakers and participants of the 2013 Arbeitstagung, held at the Max Planck Institute for Mathematics in Bonn, Germany, from May 22-28. The 2013 meeting (and this resulting proceedings) was dedicated to the memory of Friedrich Hirzebruch, who passed away on May 27, 2012. Hirzebruch organized the first Arbeitstagung in 1957 with a unique concept that would become its most distinctive feature: the program was not determined beforehand by the organizers, but during the meeting by all participants in an open discussion. This ensured that the talks would be on the latest developments in mathematics and that many important results were presented at the conference for the first time. Written by leading mathematicians, the papers in this volume cover various topics from algebraic geometry, topology, analysis, operator theory, and representation theory and display the breadth and depth of pure mathematics that has always been characteristic of the Arbeitstagung.