The Greek astronomer and geometrician Apollonius of Perga (c.262-c.190 BCE) produced pioneering written work on conic sections in which he demonstrated mathematically the generation of curves and their fundamental properties. His innovative terminology gave us the terms 'ellipse', 'hyperbola' and 'parabola'. The Danish scholar Johan Ludvig Heiberg (1854-1928), a professor of classical philology at the University of Copenhagen, prepared important editions of works by Euclid, Archimedes and Ptolemy, among others. Published between 1891 and 1893, this two-volume work contains the definitive Greek text of the first four books of Apollonius' treatise together with a facing-page Latin translation. (The fifth, sixth and seventh books survive only in Arabic translation, while the eighth is lost entirely.) Volume 1 contains the first three books, with the editor's introductory matter in Latin.

The Greek astronomer and geometrician Apollonius of Perga (c.262-c.190 BCE) produced pioneering written work on conic sections in which he demonstrated mathematically the generation of curves and their fundamental properties. His innovative terminology gave us the terms 'ellipse', 'hyperbola' and 'parabola'. The Danish scholar Johan Ludvig Heiberg (1854-1928), a professor of classical philology at the University of Copenhagen, prepared important editions of works by Euclid, Archimedes and Ptolemy, among others. Published between 1891 and 1893, this two-volume work contains the definitive Greek text of the first four books of Apollonius' treatise together with a facing-page Latin translation. (The fifth, sixth and seventh books survive only in Arabic translation, while the eighth is lost entirely.) Volume 2 contains the fourth book in addition to other Greek fragments and ancient commentaries, notably that of Eutocius, as well as the editor's Latin prolegomena comparing the various manuscript sources.

Topos Theory is an important branch of mathematical logic of interest to theoretical computer scientists, logicians and philosophers who study the foundations of mathematics, and to those working in differential geometry and continuum physics. This compendium contains material that was previously available only in specialist journals. This is likely to become the standard reference work for all those interested in the subject.

Topos Theory is an important branch of mathematical logic of interest to theoretical computer scientists, logicians and philosophers who study the foundations of mathematics, and to those working in differential geometry and continuum physics. This compendium contains material that was previously available only in specialist journals. This is likely to become the standard reference work for all those interested in the subject.

Although not so well known today, Book 4 of Pappus Collection is one of the most important and influential mathematical texts from antiquity. The mathematical vignettes form a portrait of mathematics during the Hellenistic "Golden Age," illustrating central problems for example, squaring the circle; doubling the cube; and trisecting an angle varying solution strategies, and the different mathematical styles within ancient geometry.

This volume provides an English translation of Collection 4, in full, for the first time, including: a new edition of the Greek text, based on a fresh transcription from the main manuscript and offering an alternative to Hultsch 's standard edition, notes to facilitate understanding of the steps in the mathematical argument, a commentary highlighting aspects of the work that have so far been neglected, and supporting the reconstruction of a coherent plan and vision within the work, bibliographical references for further study.

Torsors, also known as principal bundles or principal homogeneous spaces, are ubiquitous in mathematics. The purpose of this book is to present expository lecture notes and cutting-edge research papers on the theory and applications of torsors and etale homotopy, all written from different perspectives by leading experts. Part one of the book contains lecture notes on recent uses of torsors in geometric invariant theory and representation theory, plus an introduction to the etale homotopy theory of Artin and Mazur. Part two of the book features a milestone paper on the etale homotopy approach to the arithmetic of rational points. Furthermore, the reader will find a collection of research articles on algebraic groups and homogeneous spaces, rational and K3 surfaces, geometric invariant theory, rational points, descent and the Brauer-Manin obstruction. Together, these give a state-of-the-art view of a broad area at the crossroads of number theory and algebraic geometry.

As senior wrangler in 1854, Edward John Routh (1831-1907) was the man who beat James Clerk Maxwell in the Cambridge mathematics tripos. He went on to become a highly successful coach in mathematics at Cambridge, producing a total of twenty-seven senior wranglers during his career - an unrivalled achievement. In addition to his considerable teaching commitments, Routh was also a very able and productive researcher who contributed to the foundations of control theory and to the modern treatment of mechanics. First published in one volume in 1860, this textbook helped disseminate Routh's investigations into stability. This revised fifth edition was published in two volumes between 1891 and 1892. The second part develops the extensive coverage of dynamics, providing formulae and examples throughout. While the growth of modern physics and mathematics may have forced out the problem-based mechanics of Routh's textbooks from the undergraduate syllabus, the utility and importance of his work is undiminished.

The book provides an introduction of very recent results about the tensors and mainly focuses on the authors' work and perspective. A systematic description about how to extend the numerical linear algebra to the numerical multi-linear algebra is also delivered in this book. The authors design the neural network model for the computation of the rank-one approximation of real tensors, a normalization algorithm to convert some nonnegative tensors to plane stochastic tensors and a probabilistic algorithm for locating a positive diagonal in a nonnegative tensors, adaptive randomized algorithms for computing the approximate tensor decompositions, and the QR type method for computing U-eigenpairs of complex tensors. This book could be used for the Graduate course, such as Introduction to Tensor. Researchers may also find it helpful as a reference in tensor research.

This collection of contributions originates from the well-established conference series "Fractal Geometry and Stochastics" which brings together researchers from different fields using concepts and methods from fractal geometry. Carefully selected papers from keynote and invited speakers are included, both discussing exciting new trends and results and giving a gentle introduction to some recent developments. The topics covered include Assouad dimensions and their connection to analysis, multifractal properties of functions and measures, renewal theorems in dynamics, dimensions and topology of random discrete structures, self-similar trees, p-hyperbolicity, phase transitions from continuous to discrete scale invariance, scaling limits of stochastic processes, stemi-stable distributions and fractional differential equations, and diffusion limited aggregation. Representing a rich source of ideas and a good starting point for more advanced topics in fractal geometry, the volume will appeal to both established experts and newcomers.

The purpose of this book is to present the classical analytic function theory of several variables as a standard subject in a course of mathematics after learning the elementary materials (sets, general topology, algebra, one complex variable). This includes the essential parts of Grauert-Remmert's two volumes, GL227(236) (Theory of Stein spaces) and GL265 (Coherent analytic sheaves) with a lowering of the level for novice graduate students (here, Grauert's direct image theorem is limited to the case of finite maps).The core of the theory is "Oka's Coherence", found and proved by Kiyoshi Oka. It is indispensable, not only in the study of complex analysis and complex geometry, but also in a large area of modern mathematics. In this book, just after an introductory chapter on holomorphic functions (Chap. 1), we prove Oka's First Coherence Theorem for holomorphic functions in Chap. 2. This defines a unique character of the book compared with other books on this subject, in which the notion of coherence appears much later.The present book, consisting of nine chapters, gives complete treatments of the following items: Coherence of sheaves of holomorphic functions (Chap. 2); Oka-Cartan's Fundamental Theorem (Chap. 4); Coherence of ideal sheaves of complex analytic subsets (Chap. 6); Coherence of the normalization sheaves of complex spaces (Chap. 6); Grauert's Finiteness Theorem (Chaps. 7, 8); Oka's Theorem for Riemann domains (Chap. 8). The theories of sheaf cohomology and domains of holomorphy are also presented (Chaps. 3, 5). Chapter 6 deals with the theory of complex analytic subsets. Chapter 8 is devoted to the applications of formerly obtained results, proving Cartan-Serre's Theorem and Kodaira's Embedding Theorem. In Chap. 9, we discuss the historical development of "Coherence".It is difficult to find a book at this level that treats all of the above subjects in a completely self-contained manner. In the present volume, a number of classical proofs are improved and simplified, so that the contents are easily accessible for beginning graduate students.

Differential and complex geometry are two central areas of mathematics with a long and intertwined history. This book, the first to provide a unified historical perspective of both subjects, explores their origins and developments from the sixteenth to the twentieth century. Providing a detailed examination of the seminal contributions to differential and complex geometry up to the twentieth-century embedding theorems, this monograph includes valuable excerpts from the original documents, including works of Descartes, Fermat, Newton, Euler, Huygens, Gauss, Riemann, Abel, and Nash. Suitable for beginning graduate students interested in differential, algebraic or complex geometry, this book will also appeal to more experienced readers.

The development of geometry from Euclid to Euler to Lobachevsky, Bolyai, Gauss, and Riemann is a story that is often broken into parts axiomatic geometry, non-Euclidean geometry, and differential geometry. This poses a problem for undergraduates: Which part is geometry? What is the big picture to which these parts belong? In this introduction to differential geometry, the parts are united with all of their interrelations, motivated by the history of the parallel postulate. Beginning with the ancient sources, the author first explores synthetic methods in Euclidean and non-Euclidean geometry and then introduces differential geometry in its classical formulation, leading to the modern formulation on manifolds such as space-time. The presentation is enlivened by historical diversions such as Hugyens's clock and the mathematics of cartography. The intertwined approaches will help undergraduates understand the role of elementary ideas in the more general, differential setting. This thoroughly revised second edition includes numerous new exercises and a new solution key. New topics include Clairaut's relation for geodesics, Euclid's geometry of space, further properties of cycloids and map projections, and the use of transformations such as the reflections of the Beltrami disk.

This volume presents a collection of results related to the BSD conjecture, based on the first two India-China conferences on this topic. It provides an overview of the conjecture and a few special cases where the conjecture is proved. The broad theme of the two conferences was "Theoretical and Computational Aspects of the Birch and Swinnerton-Dyer Conjecture". The first was held at Beijing International Centre for Mathematical Research (BICMR) in December 2014 and the second was held at the International Centre for Theoretical Sciences (ICTS), Bangalore, India in December 2016. Providing a broad overview of the subject, the book is a valuable resource for young researchers wishing to work in this area. The articles have an extensive list of references to enable diligent researchers to gain an idea of the current state of art on this conjecture.

This book provides a comprehensive, in-depth overview of elementary mathematics as explored in Mathematical Olympiads around the world. It expands on topics usually encountered in high school and could even be used as preparation for a first-semester undergraduate course. This second volume covers Plane Geometry, Trigonometry, Space Geometry, Vectors in the Plane, Solids and much more. As part of a collection, the book differs from other publications in this field by not being a mere selection of questions or a set of tips and tricks that applies to specific problems. It starts from the most basic theoretical principles, without being either too general or too axiomatic. Examples and problems are discussed only if they are helpful as applications of the theory. Propositions are proved in detail and subsequently applied to Olympic problems or to other problems at the Olympic level. The book also explores some of the hardest problems presented at National and International Mathematics Olympiads, as well as many essential theorems related to the content. An extensive Appendix offering hints on or full solutions for all difficult problems rounds out the book.

One service mathematics has rendered the 'Et moi, ..., si j'avait su comment en revenir, je n'y serais point aile.' human race. It has put common sense back Jules Verne where it belongs, on the topmost shelf next to the dusty canister labelled 'discarded n- sense'. The series is divergent; therefore we may be able to do something with it. Eric T. Bell O. Heaviside Matht"natics is a tool for thought. A highly necessary tool in a world where both feedback and non linearities abound. Similarly, all kinds of parts of mathematics seNe as tools for other parts and for other sciences. Applying a simple rewriting rule to the quote on the right above one finds such statements as: 'One service topology has rendered mathematical physics .. .'; 'One service logic has rendered com puter science .. .'; 'One service category theory has rendered mathematics .. .'. All arguably true. And all statements obtainable this way form part of the raison d'etre of this series."

The present volume provides a fascinating overview of geometrical ideas and perceptions from the earliest cultures to the mathematical and artistic concepts of the 20th century. It is the English translation of the 3rd edition of the well-received German book "5000 Jahre Geometrie," in which geometry is presented as a chain of developments in cultural history and their interaction with architecture, the visual arts, philosophy, science and engineering. Geometry originated in the ancient cultures along the Indus and Nile Rivers and in Mesopotamia, experiencing its first "Golden Age" in Ancient Greece. Inspired by the Greek mathematics, a new germ of geometry blossomed in the Islamic civilizations. Through the Oriental influence on Spain, this knowledge later spread to Western Europe. Here, as part of the medieval Quadrivium, the understanding of geometry was deepened, leading to a revival during the Renaissance. Together with parallel achievements in India, China, Japan and the ancient American cultures, the European approaches formed the ideas and branches of geometry we know in the modern age: coordinate methods, analytical geometry, descriptive and projective geometry in the 17th an 18th centuries, axiom systems, geometry as a theory with multiple structures and geometry in computer sciences in the 19th and 20th centuries. Each chapter of the book starts with a table of key historical and cultural dates and ends with a summary of essential contents of geometr y in the respective era. Compelling examples invite the reader to further explore the problems of geometry in ancient and modern times. The book will appeal to mathematicians interested in Geometry and to all readers with an interest in cultural history. From letters to the authors for the German language edition I hope it gets a translation, as there is no comparable work. Prof. J. Grattan-Guinness (Middlesex University London) "Five Thousand Years of Geometry" - I think it is the most handsome book I have ever seen from Springer and the inclusion of so many color plates really improves its appearance dramatically! Prof. J.W. Dauben (City University of New York) An excellent book in every respect. The authors have successfully combined the history of geometry with the general development of culture and history. ... The graphic design is also excellent. Prof. Z. Nadenik (Czech Technical University in Prague)

Rigid (analytic) spaces were invented to describe degenerations, reductions, and moduli of algebraic curves and abelian varieties. This work, a revised and greatly expanded new English edition of an earlier French text by the same authors, presents important new developments and applications of the theory of rigid analytic spaces to abelian varieties, "points of rigid spaces," etale cohomology, Drinfeld modular curves, and Monsky-Washnitzer cohomology. The exposition is concise, self-contained, rich in examples and exercises, and will serve as an excellent graduate-level text for the classroom or for self-study.

Geometry of Derivation with Applications is the fifth work in a longstanding series of books on combinatorial geometry (Subplane Covered Nets, Foundations of Translation Planes, Handbook of Finite Translation Planes, and Combinatorics of Spreads and Parallelisms). Like its predecessors, this book will primarily deal with connections to the theory of derivable nets and translation planes in both the finite and infinite cases. Translation planes over non-commutative skewfields have not traditionally had a significant representation in incidence geometry, and derivable nets over skewfields have only been marginally understood. Both are deeply examined in this volume, while ideas of non-commutative algebra are also described in detail, with all the necessary background given a geometric treatment. The book builds upon over twenty years of work concerning combinatorial geometry, charted across four previous books and is suitable as a reference text for graduate students and researchers. It contains a variety of new ideas and generalizations of established work in finite affine geometry and is replete with examples and applications.

The book provides a comprehensive introduction and a novel mathematical foundation of the field of information geometry with complete proofs and detailed background material on measure theory, Riemannian geometry and Banach space theory. Parametrised measure models are defined as fundamental geometric objects, which can be both finite or infinite dimensional. Based on these models, canonical tensor fields are introduced and further studied, including the Fisher metric and the Amari-Chentsov tensor, and embeddings of statistical manifolds are investigated. This novel foundation then leads to application highlights, such as generalizations and extensions of the classical uniqueness result of Chentsov or the Cramer-Rao inequality. Additionally, several new application fields of information geometry are highlighted, for instance hierarchical and graphical models, complexity theory, population genetics, or Markov Chain Monte Carlo. The book will be of interest to mathematicians who are interested in geometry, information theory, or the foundations of statistics, to statisticians as well as to scientists interested in the mathematical foundations of complex systems.

This monograph, for the first time in book form, considers the large structure of metric spaces as captured by bornologies: families of subsets that contain the singletons, that are stable under finite unions, and that are stable under taking subsets of its members. The largest bornology is the power set of the space and the smallest is the bornology of its finite subsets. Between these lie (among others) the metrically bounded subsets, the relatively compact subsets, the totally bounded subsets, and the Bourbaki bounded subsets. Classes of functions are intimately connected to various bornologies; e.g., (1) a function is locally Lipschitz if and only if its restriction to each relatively compact subset is Lipschitz; (2) a subset is Bourbaki bounded if and only if each uniformly continuous function on the space is bounded when restricted to the subset. A great deal of attention is given to the variational notions of strong uniform continuity and strong uniform convergence with respect to the members of a bornology, leading to the bornology of UC-subsets and UC-spaces. Spaces on which its uniformly continuous real-valued functions are stable under pointwise product are characterized in terms of the coincidence of the Bourbaki bounded subsets with a usually larger bornology. Special attention is given to Lipschitz and locally Lipschitz functions. For example, uniformly dense subclasses of locally Lipschitz functions within the real-valued continuous functions, Cauchy continuous functions, and uniformly continuous functions are presented. It is shown very generally that a function between metric spaces has a particular metric property if and only if whenever it is followed in a composition by a real-valued Lipschitz function, the composition has the property. Bornological convergence of nets of closed subsets, having Attouch-Wets convergence as a prototype, is considered in detail. Topologies of uniform convergence for continuous linear operators between normed spaces is explained in terms of the bornological convergence of their graphs. Finally, the idea of a bornological extension of a topological space is presented, and all regular extensions can be so realized.

This book presents a differential geometric method for designing nonlinear observers for multiple types of nonlinear systems, including single and multiple outputs, fully and partially observable systems, and regular and singular dynamical systems. It is an exposition of achievements in nonlinear observer normal forms. The book begins by discussing linear systems, introducing the concept of observability and observer design, and then explains the difficulty of those problems for nonlinear systems. After providing foundational information on the differential geometric method, the text shows how to use the method to address observer design problems. It presents methods for a variety of systems. The authors employ worked examples to illustrate the ideas presented. Observer Design for Nonlinear Dynamical Systems will be of interest to researchers, graduate students, and industrial professionals working with control of mechanical and dynamical systems.

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.

This edited volume presents a fascinating collection of lecture notes focusing on differential equations from two viewpoints: formal calculus (through the theory of Groebner bases) and geometry (via quiver theory). Groebner bases serve as effective models for computation in algebras of various types. Although the theory of Groebner bases was developed in the second half of the 20th century, many works on computational methods in algebra were published well before the introduction of the modern algebraic language. Since then, new algorithms have been developed and the theory itself has greatly expanded. In comparison, diagrammatic methods in representation theory are relatively new, with the quiver varieties only being introduced - with big impact - in the 1990s. Divided into two parts, the book first discusses the theory of Groebner bases in their commutative and noncommutative contexts, with a focus on algorithmic aspects and applications of Groebner bases to analysis on systems of partial differential equations, effective analysis on rings of differential operators, and homological algebra. It then introduces representations of quivers, quiver varieties and their applications to the moduli spaces of meromorphic connections on the complex projective line. While no particular reader background is assumed, the book is intended for graduate students in mathematics, engineering and related fields, as well as researchers and scholars.

In succesion to former international meetings on differential geometry held in Hungary and also as a satellite conference of ECM96, the European Mathematical Congress, a Conference on Differential Geometry took place in Budapest from July 27 to July 30, 1996. The host of the Conference was Lorand Eotvos University. The Conference had the following Programme Committee: D.V. Alekseevsky, J.J. Duistermaat, J. Eells, A. Haefliger, O. Kowalski, S. Marchifava, J. Szenthe, L. Tamassy, L. Vanhecke. The participants came mainly from Europe and their total number was 190. The programme included plenary lectures by J. Eliashberg, S. Gallot, O. Kowalski, B. Leeb, and also 135 lectures in 4 sections. The social events, an opening reception and a farewel party, presented inspiring atmosphere to create scientific contacts and also for fruitful discussions. In preparation of the Conference and during it B. Csikos and G. Moussong were constanly ready to help. The present volume contains detailed versions of lectures presented at the Conference and also a list of participants. The subjects cover a wide variety of topics in differential geometry and its applications and all of them contain essential new developments in their respective subjects. It is my pleasant duty to thank the participants who contributed to the success of the Conference, especially those who offered us their manuscripts for publication and also the referees who made several important observa tions. The preparation of the volume was managed with the assistance of E. Daroczy-Kiss."

Based on the subjects from the Clay Mathematics Institute/Mathematical Sciences Research Institute Workshop titled 'Recent Progress in Dynamics' in September and October 2004, this volume contains surveys and research articles by leading experts in several areas of dynamical systems that have experienced substantial progress. One of the major surveys is on symplectic geometry, which is closely related to classical mechanics and an exciting addition to modern geometry. The survey on local rigidity of group actions gives a broad and up-to-date account of another flourishing subject. Other papers cover hyperbolic, parabolic, and symbolic dynamics as well as ergodic theory. Students and researchers in dynamical systems, geometry, and related areas will find this book fascinating. The book also includes a fifty-page commented problem list that takes the reader beyond the areas covered by the surveys, to inspire and guide further research.