This monograph considers several well-known mathematical theorems and asks the question, "Why prove it again?" while examining alternative proofs. It explores the different rationales mathematicians may have for pursuing and presenting new proofs of previously established results, as well as how they judge whether two proofs of a given result are different. While a number of books have examined alternative proofs of individual theorems, this is the first that presents comparative case studies of other methods for a variety of different theorems. The author begins by laying out the criteria for distinguishing among proofs and enumerates reasons why new proofs have, for so long, played a prominent role in mathematical practice. He then outlines various purposes that alternative proofs may serve. Each chapter that follows provides a detailed case study of alternative proofs for particular theorems, including the Pythagorean Theorem, the Fundamental Theorem of Arithmetic, Desargues' Theorem, the Prime Number Theorem, and the proof of the irreducibility of cyclotomic polynomials. Why Prove It Again? will appeal to a broad range of readers, including historians and philosophers of mathematics, students, and practicing mathematicians. Additionally, teachers will find it to be a useful source of alternative methods of presenting material to their students.

There has been an increasing interest in the statistical analysis of geometric objects and structures in many branches of science and engineering in recent years. The aim of this book is to present these statistical methods for practical use by non-mathematicians by outlining the mathematical ideas rather than concentrating on detailed proofs. The clarity of exposition ensures that the book will be a valuable resource for researchers and practitioners in many scientific disciplines who wish to use these methods in their work. In particular, the book is suited to materials scientists, geologists, environmental scientists, and biologists.

The Symbolic Universe considers the ways in which many leading mathematicians between 1890 and 1930 attempted to apply geometry to physics. It concentrates on responses to Einstein's theories of special and general relativity, but also considers the philosophical implications of these ideas.

This book examines the problem of maintenance planning and scheduling in industrial production systems. It presents two practically relevant, deterministic mathematical models: the capacitated planned maintenance problem (CPMP) and the weighted uncapacitated planned maintenance problem (WUPMP). It introduces specific optimization algorithms such as construction heuristics, Lagrangean and tabu search metaheuristics. A problem independent hybrid approach links and alternates between two Lagrangean relaxations. It also analyzes the solvability with respect to the computational complexity of several problem classes, polyhedral properties and lower bounds. Computational studies demonstrate the performance of the heuristics, lower bounds, subgradients obtained from heuristics and the quality of dual information. This unique book includes implementation details and an introduction to the necessary theory making it suitable for upper undergraduate students.

This review of literature on perspective constructions from the Renaissance through the 18th century covers 175 authors, emphasizing Peiro della Francesca, Guidobaldo del Monte, Simon Stevin, Brook Taylor, and Johann Heinrich. It treats such topics as the various methods of constructing perspective, the development of theories underlying the constructions, and the communication between mathematicians and artisans in these developments.

The featured review of the AMS describes the author’s earlier work in the field of approach spaces as, ‘A landmark in the history of general topology’. In this book, the author has expanded this study further and taken it in a new and exciting direction. The number of conceptually and technically different systems which characterize approach spaces is increased and moreover their uniform counterpart, uniform gauge spaces, is put into the picture. An extensive study of completions, both for approach spaces and for uniform gauge spaces, as well as compactifications for approach spaces is performed. A paradigm shift is created by the new concept of index analysis. Making use of the rich intrinsic quantitative information present in approach structures, a technique is developed whereby indices are defined that measure the extent to which properties hold, and theorems become inequalities involving indices; therefore vastly extending the realm of applicability of many classical results. The theory is then illustrated in such varied fields as topology, functional analysis, probability theory, hyperspace theory and domain theory. Finally a comprehensive analysis is made concerning the categorical aspects of the theory and its links with other topological categories. Index Analysis will be useful for mathematicians working in category theory, topology, probability and statistics, functional analysis, and theoretical computer science.

This book constitutes revised selected papers from the 42nd International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2016, held in Istanbul, Turkey, in June 2016. The 25 papers presented in this volume were carefully reviewed and selected from 74 submissions.The WG conferences aim to connect theory and practice by demonstrating how graph-theoretic concepts can be applied to various areas of computer science and by extracting new graph problems from applications. Their goal is to present new research results and to identify and explore directions of future research.

And God said, Let there be light; and there was light. Genesis 1,3 Light is not only the basis of our biological existence, but also an essential source of our knowledge about the physical laws of nature, ranging from the seventeenth century geometrical optics up to the twentieth century theory of general relativity and quantum electrodynamics. Folklore Don't give us numbers: give us insight! A contemporary natural scientist to a mathematician The present book is the second volume of a comprehensive introduction to themathematicalandphysicalaspectsofmodernquantum?eldtheorywhich comprehends the following six volumes: Volume I: Basics in Mathematics and Physics Volume II: Quantum Electrodynamics Volume III: Gauge Theory Volume IV: Quantum Mathematics Volume V: The Physics of the Standard Model Volume VI: Quantum Gravitation and String Theory. It is our goal to build a bridge between mathematicians and physicists based on the challenging question about the fundamental forces in * macrocosmos (the universe) and * microcosmos (the world of elementary particles). The six volumes address a broad audience of readers, including both und- graduate and graduate students, as well as experienced scientists who want to become familiar with quantum ?eld theory, which is a fascinating topic in modern mathematics and physics.

The Finnish mathematician and astronomer Anders Johan Lexell (1740-1784) was a long-time close collaborator as well as the academic successor of Leonhard Euler at the Imperial Academy of Sciences in Saint Petersburg. Lexell was initially invited by Euler from his native town of Abo (Turku) in Finland to Saint Petersburg to assist in the mathematical processing of the astronomical data of the forthcoming transit of Venus of 1769. A few years later he became an ordinary member of the Academy. This is the first-ever full-length biography devoted to Lexell and his prolific scientific output. His rich correspondence especially from his grand tour to Germany, France and England reveals him as a lucid observer of the intellectual landscape of enlightened Europe. In the skies, a comet, a minor planet and a crater on the Moon named after Lexell also perpetuate his memory.

This volume presents advances that have been made over recent decades in areas of research featuring Hardy's inequality and related topics. The inequality and its extensions and refinements are not only of intrinsic interest but are indispensable tools in many areas of mathematics and mathematical physics. Hardy inequalities on domains have a substantial role and this necessitates a detailed investigation of significant geometric properties of a domain and its boundary. Other topics covered in this volume are Hardy- Sobolev-Maz'ya inequalities; inequalities of Hardy-type involving magnetic fields; Hardy, Sobolev and Cwikel-Lieb-Rosenbljum inequalities for Pauli operators; the Rellich inequality. The Analysis and Geometry of Hardy's Inequality provides an up-to-date account of research in areas of contemporary interest and would be suitable for a graduate course in mathematics or physics. A good basic knowledge of real and complex analysis is a prerequisite.

Presenting a study of geometric action functionals (i.e., non-negative functionals on the space of unparameterized oriented rectifiable curves), this monograph focuses on the subclass of those functionals whose local action is a degenerate type of Finsler metric that may vanish in certain directions, allowing for curves with positive Euclidean length but with zero action. For such functionals, criteria are developed under which there exists a minimum action curve leading from one given set to another. Then the properties of this curve are studied, and the non-existence of minimizers is established in some settings. Applied to a geometric reformulation of the quasipotential of Wentzell-Freidlin theory (a subfield of large deviation theory), these results can yield the existence and properties of maximum likelihood transition curves between two metastable states in a stochastic process with small noise. The book assumes only standard knowledge in graduate-level analysis; all higher-level mathematical concepts are introduced along the way.

Sasha Wang revisits the van Hiele model of geometric thinking with Sfard's discursive framework to investigate geometric thinking from a discourse perspective. The author focuses on describing and analyzing pre-service teachers' geometric discourse across different van Hiele levels. The explanatory power of Sfard's framework provides a rich description of how pre-service teachers think in the context of quadrilaterals. It also contributes to our understanding of human thinking that is illustrated through the analysis of geometric discourse accompanied by vignettes.

This book offers an introduction to differential geometry for the non-specialist. It includes most of the required material from multivariable calculus, linear algebra, and basic analysis. An intuitive approach and a minimum of prerequisites make it a valuable companion for students of mathematics and physics. The main focus is on manifolds in Euclidean space and the metric properties they inherit from it. Among the topics discussed are curvature and how it affects the shape of space, and the generalization of the fundamental theorem of calculus known as Stokes' theorem.

'The book is well-illustrated, earlier chapters with monochrome portraits of Mandelbrot, his family and those who influenced him, and later ones with striking colour pictures not only of the Mandelbrot set and other computer generated fractals, but also of aEURO~realaEURO (TM) fractals including cloud formations and rural and mountain scenes ... This celebration of MandelbrotaEURO (TM)s scientific life is largely based on interviews that the author had with him when making films on his work ... A challenge for historians of mathematics and science in coming years will be to produce a more broadly contextual and rounded account of the advent of fractals.'London Math SocietyThe time is right, following Benoit Mandelbrot's death in 2010, to publish this landmark book about the life and work of this maverick math genius.This compact book celebrates the life and achievements of Benoit Mandelbrot with the ideas of fractals presented in a way that can be understood by the interested lay-person. Mathematics is largely avoided. Instead, Mandelbrot's ideas and insights are described using a combination of intuition and pictures. The early part of the book is largely biographical, but it portrays well how Mandelbrot's life and ideas developed and led to the fractal notions that are surveyed in the latter parts of the book.

This innovative textbook introduces a new pattern-based approach to learning proof methods in the mathematical sciences. Readers will discover techniques that will enable them to learn new proofs across different areas of pure mathematics with ease. The patterns in proofs from diverse fields such as algebra, analysis, topology and number theory are explored. Specific topics examined include game theory, combinatorics and Euclidean geometry, enabling a broad familiarity. The author, an experienced lecturer and researcher renowned for his innovative view and intuitive style, illuminates a wide range of techniques and examples from duplicating the cube to triangulating polygons to the infinitude of primes to the fundamental theorem of algebra. Intended as a companion for undergraduate students, this text is an essential addition to every aspiring mathematician's toolkit.

A locally compact group has the Haagerup property, or is a-T-menable in the sense of Gromov, if it admits a proper isometric action on some affine Hilbert space. As Gromov's pun is trying to indicate, this definition is designed as a strong negation to Kazhdan's property (T), characterized by the fact that every isometric action on some affine Hilbert space has a fixed point. The aim of this book is to cover, for the first time in book form, various aspects of the Haagerup property. New characterizations are brought in, using ergodic theory or operator algebras. Several new examples are given and new approaches to previously known examples are proposed. Connected Lie groups with the Haagerup property are completely characterized. --- The book is extremely interesting, stimulating and well written (...) and it is strongly recommended to graduate students and researchers in the fields of geometry, group theory, harmonic analysis, ergodic theory and operator algebras. The first chapter, by Valette, is a stimulating introduction to the whole book. (Mathematical Reviews) This book constitutes a collective volume due to five authors, featuring important breakthroughs in an intensively studied subject. (Zentralblatt MATH)

Asymptotic Geometric Analysis is concerned with the geometric and linear properties of finite dimensional objects, normed spaces, and convex bodies, especially with the asymptotics of their various quantitative parameters as the dimension tends to infinity. The deep geometric, probabilistic, and combinatorial methods developed here are used outside the field in many areas of mathematics and mathematical sciences. The Fields Institute Thematic Program in the Fall of 2010 continued an established tradition of previous large-scale programs devoted to the same general research direction. The main directions of the program included: * Asymptotic theory of convexity and normed spaces * Concentration of measure and isoperimetric inequalities, optimal transportation approach * Applications of the concept of concentration * Connections with transformation groups and Ramsey theory * Geometrization of probability * Random matrices * Connection with asymptotic combinatorics and complexity theory These directions are represented in this volume and reflect the present state of this important area of research. It will be of benefit to researchers working in a wide range of mathematical sciences-in particular functional analysis, combinatorics, convex geometry, dynamical systems, operator algebras, and computer science.

The author defines "Geometric Algebra Computing" as the geometrically intuitive development of algorithms using geometric algebra with a focus on their efficient implementation, and the goal of this book is to lay the foundations for the widespread use of geometric algebra as a powerful, intuitive mathematical language for engineering applications in academia and industry. The related technology is driven by the invention of conformal geometric algebra as a 5D extension of the 4D projective geometric algebra and by the recent progress in parallel processing, and with the specific conformal geometric algebra there is a growing community in recent years applying geometric algebra to applications in computer vision, computer graphics, and robotics. This book is organized into three parts: in Part I the author focuses on the mathematical foundations; in Part II he explains the interactive handling of geometric algebra; and in Part III he deals with computing technology for high-performance implementations based on geometric algebra as a domain-specific language in standard programming languages such as C++ and OpenCL. The book is written in a tutorial style and readers should gain experience with the associated freely available software packages and applications. The book is suitable for students, engineers, and researchers in computer science, computational engineering, and mathematics.

In many applications of graph theory, graphs are regarded as geometric objects drawn in the plane or in some other surface. The traditional methods of "abstract" graph theory are often incapable of providing satisfactory answers to questions arising in such applications. In the past couple of decades, many powerful new combinatorial and topological techniques have been developed to tackle these problems. Today geometric graph theory is a burgeoning field with many striking results and appealing open questions. This contributed volume contains thirty original survey and research papers on important recent developments in geometric graph theory. The contributions were thoroughly reviewed and written by excellent researchers in this field.

This volume is a collection of research surveys on the Distance Geometry Problem (DGP) and its applications. It will be divided into three parts: Theory, Methods and Applications. Each part will contain at least one survey and several research papers. The first part, Theory, will deal with theoretical aspects of the DGP, including a new class of problems and the study of its complexities as well as the relation between DGP and other related topics, such as: distance matrix theory, Euclidean distance matrix completion problem, multispherical structure of distance matrices, distance geometry and geometric algebra, algebraic distance geometry theory, visualization of K-dimensional structures in the plane, graph rigidity, and theory of discretizable DGP: symmetry and complexity. The second part, Methods, will discuss mathematical and computational properties of methods developed to the problems considered in the first chapter including continuous methods (based on Gaussian and hyperbolic smoothing, difference of convex functions, semidefinite programming, branch-and-bound), discrete methods (based on branch-and-prune, geometric build-up, graph rigidity), and also heuristics methods (based on simulated annealing, genetic algorithms, tabu search, variable neighborhood search). Applications will comprise the third part and will consider applications of DGP to NMR structure calculation, rational drug design, molecular dynamics simulations, graph drawing and sensor network localization. This volume will be the first edited book on distance geometry and applications. The editors are in correspondence with the major contributors to the field of distance geometry, including important research centers in molecular biology such as Institut Pasteur in Paris.

This book presents a self-contained introduction to the theory of minisum hyperspheres. Thisspecialized researcharea within the larger field ofgeometric optimization is full of interesting and open problems.

This work provides an overview of the history of minisum hyperspheres as well as describes the best techniques for developing and solving minisum hypersphereproblems. Various related areas of geometric and nonlinear optimization are also discussed.

As the first publication devoted to this area of research, this work will be of greatinterest to graduate-level researchersstudyingminisum hypersphere problemsas well asmathematicians interested geometric optimization."

This book provides a self-contained introduction to diagram geometry. Tight connections with group theory are shown. It treats thin geometries (related to Coxeter groups) and thick buildings from a diagrammatic perspective. Projective and affine geometry are main examples. Polar geometry is motivated by polarities on diagram geometries and the complete classification of those polar geometries whose projective planes are Desarguesian is given. It differs from Tits' comprehensive treatment in that it uses Veldkamp's embeddings. The book intends to be a basic reference for those who study diagram geometry. Group theorists will find examples of the use of diagram geometry. Light on matroid theory is shed from the point of view of geometry with linear diagrams. Those interested in Coxeter groups and those interested in buildings will find brief but self-contained introductions into these topics from the diagrammatic perspective. Graph theorists will find many highly regular graphs. The text is written so graduate students will be able to follow the arguments without needing recourse to further literature. A strong point of the book is the density of examples.

Dieser Buchtitel ist Teil des Digitalisierungsprojekts Springer Book Archives mit Publikationen, die seit den Anfangen des Verlags von 1842 erschienen sind. Der Verlag stellt mit diesem Archiv Quellen fur die historische wie auch die disziplingeschichtliche Forschung zur Verfugung, die jeweils im historischen Kontext betrachtet werden mussen. Dieser Titel erschien in der Zeit vor 1945 und wird daher in seiner zeittypischen politisch-ideologischen Ausrichtung vom Verlag nicht beworben.

This is a revised edition of the ?rst printing which appeared in 2002. The book is based on lectures at the University of Bergen, Norway.Over the years these lectures have covered many different aspects and facets of the wonderful ?eld of geometry. Consequently it has never been possible to give a full and ?nal account of geometry as such, at an undergraduatelevel: A carefully consideredselection has always been necessary. The present book constitutes the main central themes of these selections. One of the groups I am aiming at, is future teachers of mathematics. All too oftenthe textsdealingwith geometrywhichgo intothe syllabusforteacher-students present the material in ways which appear pedantic and formalistic, suppressing the very powerful and dynamic character of this old ?eld, which at the same time so young. Geometry is a ?eld of mathematical insight, research, history and source of artistic inspiration. And not least important, an integral part of our common cultural heritage.

In recent years, number theory and arithmetic geometry have been enriched by new techniques from noncommutative geometry, operator algebras, dynamical systems, and K-Theory. This volume collects and presents up-to-date research topics in arithmetic and noncommutative geometry and ideas from physics that point to possible new connections between the fields of number theory, algebraic geometry and noncommutative geometry. The articles collected in this volume present new noncommutative geometry perspectives on classical topics of number theory and arithmetic such as modular forms, class field theory, the theory of reductive p-adic groups, Shimura varieties, the local L-factors of arithmetic varieties. They also show how arithmetic appears naturally in noncommutative geometry and in physics, in the residues of Feynman graphs, in the properties of noncommutative tori, and in the quantum Hall effect.