Leonardo da Pisa, perhaps better known as Fibonacci (ca. 1170 - ca. 1240), selected the most useful parts of Greco-Arabic geometry for the book known as De Practica Geometrie. This translation offers a reconstruction of De Practica Geometrie as the author judges Fibonacci wrote it, thereby correcting inaccuracies found in numerous modern histories. It is a high quality translation with supplemental text to explain text that has been more freely translated. A bibliography of primary and secondary resources follows the translation, completed by an index of names and special words.

Many computer scientists, engineers, applied mathematicians, and physicists use geometry theory and geometric computing methods in the design of perception-action systems, intelligent autonomous systems, and man-machine interfaces. This handbook brings together the most recent advances in the application of geometric computing for building such systems, with contributions from leading experts in the important fields of neuroscience, neural networks, image processing, pattern recognition, computer vision, uncertainty in geometric computations, conformal computational geometry, computer graphics and visualization, medical imagery, geometry and robotics, and reaching and motion planning. For the first time, the various methods are presented in a comprehensive, unified manner.

This handbook is highly recommended for postgraduate students and researchers working on applications such as automated learning; geometric and fuzzy reasoning; human-like artificial vision; tele-operation; space maneuvering; haptics; rescue robots; man-machine interfaces; tele-immersion; computer- and robotics-aided neurosurgery or orthopedics; the assembly and design of humanoids; and systems for metalevel reasoning.

This book covers combinatorial data structures and algorithms, algebraic issues in geometric computing, approximation of curves and surfaces, and computational topology. Each chapter fully details and provides a tutorial introduction to important concepts and results. The focus is on methods which are both well founded mathematically and efficient in practice. Coverage includes references to open source software and discussion of potential applications of the presented techniques.

Multiresolution methods in geometric modelling are concerned with the generation, representation, and manipulation of geometric objects at several levels of detail. Applications include fast visualization and rendering as well as coding, compression, and digital transmission of 3D geometric objects.

This book marks the culmination of the four-year EU-funded research project, Multiresolution in Geometric Modelling (MINGLE). The book contains seven survey papers, providing a detailed overview of recent advances in the various fields within multiresolution modelling, and sixteen additional research papers. Each of the seven parts of the book starts with a survey paper, followed by the associated research papers in that area. All papers were originally presented at the MINGLE 2003 workshop held at Emmanuel College, Cambridge, UK, 9-11 September 2003.

Most mathematicians' knowledge of Euclid's lost work on Porisms comes from a very brief and general description by Pappus of Alexandria. While Fermat and others made earlier attempts to explain the Porisms, it is Robert Simson who is generally recognised as the first person to achieve a genuine insight into the true nature of the subject.
In this book, Ian Tweddle, a recognised authority on 18th century Scottish mathematics, presents for the first time a full and accessible translation of Simson's work. Based on Simson's early paper of 1723, the treatise, and various extracts from Simson's notebooks and correspondence, this book provides a fascinating insight into the work of an often-neglected figure. Supplemented by historical and mathematical notes and comments, this book is a valuable addition to the literature for anyone with an interest in mathematical history or geometry.

Geometric tomography deals with the retrieval of information about a geometric object from data concerning its projections (shadows) on planes or cross-sections by planes. It is a geometric relative of computerized tomography, which reconstructs an image from X-rays of a human patient. The subject overlaps with convex geometry and employs many tools from that area, including some formulas from integral geometry. It also has connections to discrete tomography, geometric probing in robotics and to stereology. This comprehensive study provides a rigorous treatment of the subject. Although primarily meant for researchers and graduate students in geometry and tomography, brief introductions, suitable for advanced undergraduates, are provided to the basic concepts. More than 70 illustrations are used to clarify the text. The book also presents 66 unsolved problems. Each chapter ends with extensive notes, historical remarks, and some biographies. This new edition includes numerous updates and improvements, with some 300 new references bringing the total to over 800.

Based on the latest historical research, Worlds Out of Nothing is the first book to provide a course on the history of geometry in the 19th century. Topics covered in the first part of the book are projective geometry, especially the concept of duality, and non-Euclidean geometry. The book then moves on to the study of the singular points of algebraic curves (Plucker's equations) and their role in resolving a paradox in the theory of duality; to Riemann's work on differential geometry; and to Beltrami's role in successfully establishing non-Euclidean geometry as a rigorous mathematical subject. The final part of the book considers how projective geometry rose to prominence, and looks at Poincare's ideas about non-Euclidean geometry and their physical and philosophical significance.

Three chapters are devoted to writing and assessing work in the history of mathematics, with examples of sample questions in the subject, advice on how to write essays, and comments on what instructors should be looking for."

The object of this book is to present the basic facts of convex functions, standard dynamical systems, descent numerical algorithms and some computer programs on Riemannian manifolds in a form suitable for applied mathematicians, scientists and engineers. It contains mathematical information on these subjects and applications distributed in seven chapters whose topics are close to my own areas of research: Metric properties of Riemannian manifolds, First and second variations of the p-energy of a curve; Convex functions on Riemannian manifolds; Geometric examples of convex functions; Flows, convexity and energies; Semidefinite Hessians and applications; Minimization of functions on Riemannian manifolds. All the numerical algorithms, computer programs and the appendices (Riemannian convexity of functions f: R R, Descent methods on the Poincare plane, Descent methods on the sphere, Completeness and convexity on Finsler manifolds) constitute an attempt to make accesible to all users of this book some basic computational techniques and implementation of geometric structures. To further aid the readers, this book also contains a part of the folklore about Riemannian geometry, convex functions and dynamical systems because it is unfortunately "nowhere" to be found in the same context; existing textbooks on convex functions on Euclidean spaces or on dynamical systems do not mention what happens in Riemannian geometry, while the papers dealing with Riemannian manifolds usually avoid discussing elementary facts. Usually a convex function on a Riemannian manifold is a real valued function whose restriction to every geodesic arc is convex."

Arising from the 1996 Cape Town conference in honour of the mathematician Bernhard Banaschewski, this collection of 30 refereed papers represents current developments in category theory, topology, topos theory, universal algebra, model theory, and diverse ordered and algebraic structures. Banaschewski's influence is reflected here, particularly in the contributions to pointfree topology at the levels of nearness, uniformity, and asymmetry. The unifying theme of the volume is the application of categorical methods. The contributing authors are: D. Baboolar, P. Bankston, R. Betti, D. Bourn, P. Cherenack, D. Dikranjan/H.-P. Kunzi, X. Dong/W. Tholen, M. Erne, T.H. Fay, T.H. Fay/S.V. Joubert, D.N. Georgiou/B.K. Papadopoulos, K.A. Hardie/K.H. Kamps/R.W. Kieboom, H. Herrlich/A. Pultr, K.M. Hofmann, S.S. Hong/Y.K. Kim, J. Isbell, R. Jayewardene/O. Wyler, P. Johnstone, R. Lowen/P. Wuyts, E. Lowen-Colebunders/C. Verbeeck, R. Nailana, J. Picado, T. Plewe, J. Reinhold, G. Richter, H. Rorl, S.-H. Sun, Tozzi/V. Trnkova, V. Valov/D. Vuma, and S. Veldsman. Audience: This volume will be of interest to mathematicians whose research involves category theory and its applications to topology, order, and algebra.

This book is the result of many years of research in Non-Euclidean Geometries and Geometry of Lie groups, as well as teaching at Moscow State University (1947- 1949), Azerbaijan State University (Baku) (1950-1955), Kolomna Pedagogical Col lege (1955-1970), Moscow Pedagogical University (1971-1990), and Pennsylvania State University (1990-1995). My first books on Non-Euclidean Geometries and Geometry of Lie groups were written in Russian and published in Moscow: Non-Euclidean Geometries (1955) [Ro1] , Multidimensional Spaces (1966) [Ro2] , and Non-Euclidean Spaces (1969) [Ro3]. In [Ro1] I considered non-Euclidean geometries in the broad sense, as geometry of simple Lie groups, since classical non-Euclidean geometries, hyperbolic and elliptic, are geometries of simple Lie groups of classes Bn and D , and geometries of complex n and quaternionic Hermitian elliptic and hyperbolic spaces are geometries of simple Lie groups of classes An and en. [Ro1] contains an exposition of the geometry of classical real non-Euclidean spaces and their interpretations as hyperspheres with identified antipodal points in Euclidean or pseudo-Euclidean spaces, and in projective and conformal spaces. Numerous interpretations of various spaces different from our usual space allow us, like stereoscopic vision, to see many traits of these spaces absent in the usual space.

This volume summarizes recent developments in the topological and algebraic structures in fuzzy sets and may be rightly viewed as a continuation of the stan dardization of the mathematics of fuzzy sets established in the "Handbook," namely the Mathematics of Fuzzy Sets: Logic, Topology, and Measure Theory, Volume 3 of The Handbooks of Fuzzy Sets Series (Kluwer Academic Publish ers, 1999). Many of the topological chapters of the present work are not only based upon the foundations and notation for topology laid down in the Hand book, but also upon Handbook developments in convergence, uniform spaces, compactness, separation axioms, and canonical examples; and thus this work is, with respect to topology, a continuation of the standardization of the Hand book. At the same time, this work significantly complements the Handbook in regard to algebraic structures. Thus the present volume is an extension of the content and role of the Handbook as a reference work. On the other hand, this volume, even as the Handbook, is a culmination of mathematical developments motivated by the renowned International Sem inar on Fuzzy Set Theory, also known as the Linz Seminar, held annually in Linz, Austria. Much of the material of this volume is related to the Twenti eth Seminar held in February 1999, material for which the Seminar played a crucial and stimulating role, especially in providing feedback, connections, and the necessary screening of ideas."

This volume contains papers arising out of the program of the Institute for Theoretical Physics (ITP) of the University of California at Santa Bar bara, August-December 1991, on the subject "Topological Fluid Dynamics." The first group of papers cover the lectures on Knot Theory, Relaxation un der Topological Constraints, Kinematics of Stretching, and Fast Dynamo Theory presented at the initial Pedagogical Workshop of the program. The remaining papers were presented at the subsequent NATO Advanced Re search Workshop or were written during the course of the program. We wish to acknowledge the support of the NATO Science Committee in making this workshop possible. The scope of "Topological Fluid Dynamics" was defined by an earlier Symposium of the International Union of Theoretical and Applied Mechan ics (IUTAM) held in Cambridge, England in August, 1989, the Proceedings of which were published (Eds. H.K. Moffatt and A. Tsinober) by Cambridge University Press in 1990. The proposal to hold an ITP program on this sub ject emerged from that Symposium, and we are grateful to John Greene and Charlie Kennel at whose encouragement the original proposal was formu lated. Topological fluid dynamics covers a range of problems, particularly those involving vortex tubes and/or magnetic flux tubes in nearly ideal fluids, for which topological structures can be identified and to some extent quantified."

Since the early work of Gauss and Riemann, differential geometry has grown into a vast network of ideas and approaches, encompassing local considerations such as differential invariants and jets as well as global ideas, such as Morse theory and characteristic classes. In this volume of the Encyclopaedia, the authors give a tour of the principal areas and methods of modern differential geomerty. The book is structured so that the reader may choose parts of the text to read and still take away a completed picture of some area of differential geometry. Beginning at the introductory level with curves in Euclidian space, the sections become more challenging, arriving finally at the advanced topics which form the greatest part of the book: transformation groups, the geometry of differential equations, geometric structures, the equivalence problem, the geometry of elliptic operators. Several of the topics are approaches which are now enjoying a resurgence, e.g. G-structures and contact geometry. As an overview of the major current methods of differential geometry, EMS 28 is a map of these different ideas which explains the interesting points at every stop. The authors' intention is that the reader should gain a new understanding of geometry from the process of reading this survey.

Algebra is abstract mathematics - let us make no bones about it - yet it is also applied mathematics in its best and purest form. It is not abstraction for its own sake, but abstraction for the sake of efficiency, power and insight. Algebra emerged from the struggle to solve concrete, physical problems in geometry, and succeeded after 2000 years of failure by other forms of mathematics. It did this by exposing the mathematical structure of geometry, and by providing the tools to analyse it. This is typical of the way algebra is applied; it is the best and purest form of application because it reveals the simplest and most universal mathematical structures. The present book aims to foster a proper appreciation of algebra by showing abstraction at work on concrete problems, the classical problems of construction by straightedge and compass. These problems originated in the time of Euclid, when geometry and number theory were paramount, and were not solved until th the 19 century, with the advent of abstract algebra. As we now know, alge bra brings about a unification of geometry, number theory and indeed most branches of mathematics. This is not really surprising when one has a historical understanding of the subject, which I also hope to impart."

Symmetry is a key ingredient in many mathematical, physical, and biological theories. Using representation theory and invariant theory to analyze the symmetries that arise from group actions, and with strong emphasis on the geometry and basic theory of Lie groups and Lie algebras, Symmetry, Representations, and Invariants is a significant reworking of an earlier highly-acclaimed work by the authors. The result is a comprehensive introduction to Lie theory, representation theory, invariant theory, and algebraic groups, in a new presentation that is more accessible to students and includes a broader range of applications.

The philosophy of the earlier book is retained, i.e., presenting the principal theorems of representation theory for the classical matrix groups as motivation for the general theory of reductive groups. The wealth of examples and discussion prepares the reader for the complete arguments now given in the general case.

Key Features of Symmetry, Representations, and Invariants (1) Early chapters suitable for honors undergraduate or beginning graduate courses, requiring only linear algebra, basic abstract algebra, and advanced calculus; (2) Applications to geometry (curvature tensors), topology (Jones polynomial via symmetry), and combinatorics (symmetric group and Young tableaux); (3) Self-contained chapters, appendices, comprehensive bibliography; (4) More than 350 exercises (most with detailed hints for solutions) further explore main concepts; (5) Serves as an excellent main text for a one-year course in Lie group theory; (6) Benefits physicists as well as mathematicians as a reference work.

By virtue of their special algebraic structures, Pythagorean-hodograph (PH) curves offer unique advantages for computer-aided design and manufacturing, robotics, motion control, path planning, computer graphics, animation, and related fields. This book offers a comprehensive and self-contained treatment of the mathematical theory of PH curves, including algorithms for their construction and examples of their practical applications. It emphasizes the interplay of ideas from algebra and geometry and their historical origins and includes many figures, worked examples, and detailed algorithm descriptions.

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

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

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

This book offers a unique opportunity to understand the essence of one of the great thinkers of western civilization. A guided reading of Euclid's Elements leads to a critical discussion and rigorous modern treatment of Euclid's geometry and its more recent descendants, with complete proofs. Topics include the introduction of coordinates, the theory of area, geometrical constructions and finite field extensions, history of the parallel postulate, the various non-Euclidean geometries, and the regular and semi-regular polyhedra. The text is intended for junior- to senior-level mathematics majors. Robin Hartshorne is a professor of mathematics at the University of California at Berkeley, and is the author of Foundations of Projective Geometry (Benjamin, 1967) and Algebraic Geometry (Springer, 1977).

We live in a space, we get about in it. We also quantify it, we think of it as having dimensions. Ever since Euclid's ancient geometry, we have thought of bodies occupying parts of this space (including our own bodies), the space of our practical orientations (our 'moving abouts'), as having three dimensions. Bodies have volume specified by measures of length, breadth and height. But how do we know that the space we live in has just these three dimensions? It is theoreti cally possible that some spaces might exist that are not correctly described by Euclidean geometry. After all, there are the non Euclidian geometries, descriptions of spaces not conforming to the axioms and theorems of Euclid's geometry. As one might expect, there is a history of philosophers' attempts to 'prove' that space is three-dimensional. The present volume surveys these attempts from Aristotle, through Leibniz and Kant, to more recent philosophy. As you will learn, the historical theories are rife with terminology, with language, already tainted by the as sumed, but by no means obvious, clarity of terms like 'dimension', 'line', 'point' and others. Prior to that language there are actions, ways of getting around in the world, building things, being interested in things, in the more specific case of dimensionality, cutting things. It is to these actions that we must eventually appeal if we are to understand how science is grounded."

This upper-level undergraduate and beginning graduate textbook primarily covers the theory and application of Newtonian and Lagrangian, but also of Hamiltonian mechanics. In addition, included are elements of continuum mechanics and the accompanying classical field theory, wherein four-vector notation is introduced without explicit reference to special relativity. The author's writing style attempts to ease students through the primary and secondary results, thus building a solid foundation for understanding applications. Numerous examples illustrate the material and often present alternative approaches to the final results.

Origami5 continues in the excellent tradition of its four previous incarnations, documenting work presented at an extraordinary series of meetings that explored the connections between origami, mathematics, science, technology, education, and other academic fields.

The fifth such meeting, 5OSME (July 13-17, 2010, Singapore Management University) followed the precedent previous meetings to explore the interdisciplinary connections between origami and the real world. This book begins with a section on origami history, art, and design. It is followed by sections on origami in education and origami science, engineering, and technology, and culminates with a section on origami mathematics-the pairing that inspired the original meeting.

Within this one volume, you will find a broad selection of historical information, artists' descriptions of their processes, various perspectives and approaches to the use of origami in education, mathematical tools for origami design, applications of folding in engineering and technology, as well as original and cutting-edge research on the mathematical underpinnings of origami.

Designed for mathematics majors and other students who intend to teach mathematics at the secondary school level, College Geometry: A Unified Development unifies the three classical geometries within an axiomatic framework. The author develops the axioms to include Euclidean, elliptic, and hyperbolic geometry, showing how geometry has real and far-reaching implications. He approaches every topic as a fresh, new concept and carefully defines and explains geometric principles. The book begins with elementary ideas about points, lines, and distance, gradually introducing more advanced concepts such as congruent triangles and geometric inequalities. At the core of the text, the author simultaneously develops the classical formulas for spherical and hyperbolic geometry within the axiomatic framework. He explains how the trigonometry of the right triangle, including the Pythagorean theorem, is developed for classical non-Euclidean geometries. Previously accessible only to advanced or graduate students, this material is presented at an elementary level. The book also explores other important concepts of modern geometry, including affine transformations and circular inversion. Through clear explanations and numerous examples and problems, this text shows step-by-step how fundamental geometric ideas are connected to advanced geometry. It represents the first step toward future study of Riemannian geometry, Einstein's relativity, and theories of cosmology.

The 35th International Workshop on Graph-Theoretic Concepts in Computer Science (WG 2009) took place at Montpellier (France), June 24-26 2009. About 80 computer scientists from all over the world (Australia, Belgium, Canada, China, Czech Republic, France, Germany, Greece, Israel, Japan, Korea, The Netherlands, Norway, Spain, UK, USA) attended the conference. Since1975,ithastakenplace20timesinGermany,fourtimesinTheNeth- lands, twice in Austria, as well as once in Italy, Slovakia, Switzerland, the Czech Republic, France, Norway, and the UK. The conference aims at uniting theory and practice by demonstrating how graph-theoretic concepts can be applied to various areas in computer science, or by extracting new problems from appli- tions. The goal is to present recent research results and to identify and explore directions of future research. The conference is well-balanced with respect to established researchers and young scientists. There were 69 submissions. Each submission was reviewed by at least three, and on average four, Program Committee members. The Committee decided to accept 28 papers. Due to the competition and the limited schedule, some good papers could not be accepted. Theprogramalsoincludedexcellentinvitedtalks:onegivenbyDanielKralon "AlgorithmsforClassesofGraphswithBoundedExpansion," the otherbyDavid Eppsteinon"Graph-TheoreticSolutionstoComputationalGeometryProblems." The proceedings contains two survey papers on these topics.

During the past few decades, the gradual merger of Discrete Geometry and the newer discipline of Computational Geometry has provided enormous impetus to mathematicians and computer scientists interested in geometric problems. This volume, which contains 32 papers on a broad range of topics of current interest in the field, is an outgrowth of that synergism. It includes surveys and research articles exploring geometric arrangements, polytopes, packing, covering, discrete convexity, geometric algorithms and their complexity, and the combinatorial complexity of geometric objects, particularly in low dimension. There are points of contact with many applied areas such as mathematical programming, visibility problems, kinetic data structures, and biochemistry, as well as with algebraic topology, geometric probability, real algebraic geometry, and combinatorics.

TheSeventhInternationalConferenceonMathematicalMethodsforCurvesand SurfacestookplaceJune26-July 1,2008, inTonsberg, Norway. Theearlier conferences in the series took place in Oslo (1988), Biri (1991), Ulvik (1994), Lillehammer(1997), Oslo(2000), andTromso(2004). Theconferencegathered 165participants fromalmost30countries who presenteda total of129talks. Thisincludesnineinvitedtalksandsevenmini-symposia. Thisbookcontains28originalarticlesbasedontalkspresentedattheconf- ence. Thetopicsrangefrommathematicalanalysisofvariousmethodstoprac- calimplementationonmoderngraphicsprocessingunits. Thepapersre?ectthe newestdevelopmentsinthese?eldsandalsopointtothelatestliterature. The papershavebeensubjecttotheusualpeerreviewprocess, andwethankboth theauthorsandthereviewersfortheirhardworkandhelpfulcollaboration. Wewishtothankthosewhohavesupportedandhelpedorganizetheconf- ence. Firstandforemostitisapleasuretoacknowledgethegenerous?nancial support from the Department of Informatics and the Centre of Mathematics forApplications(CMA)attheUniversityofOslo, andtheResearchCouncilof Norway. WewouldalsoliketothankAndrewMcMurryforhishelpwithwith technicalmatters, andSaraMorkenforhelpwiththeregistration. November2009 Theeditors Organization Organizing Commitee and Editors MortenDaehlen UniversityofOslo, Norway MichaelFloater UniversityofOslo, Norway TomLyche UniversityofOslo, Norway Jean-LouisMerrien INSAdeRennes, France KnutMorken UniversityofOslo, Norway LarryL. Schumaker VanderbiltUniversity, USA Invited Speakers Jean-DanielBoissonnat, SophiaAntipolis, France MassimoFornasier, Linz, Austria TomHughes, Austin, USA JorgPeters, Gainesville, USA RagniPiene, Oslo, Norway RobertSchaback, Gottingen, Germany PeterSchroder, Caltech, USA JonathanShewchuk, Berkeley, USA JoachimWeickert, Saarland, Germany Mini-Symposia Organizers OlegDavydov, Glasgow, UK TorDokken, Oslo, Norway BinHan, Edmonton, Canada ChuckHansen, SaltLakeCity, USA RimvydasKrasauskas, Vilnius, Lithuania TrondKvamsdal, Trondheim, Norway CarlaManni, Rome, Italy Sponsoring Institutions DepartmentofInformatics, UniversityofOslo CentreofMathematicsforApplications, UniversityofOslo ResearchCouncilofNorway Table of Contents MMCS 2008 Partial Di?erential Equations for Interpolation and Compression of Surfaces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 Egil Bae and Joachim Weickert Construction of Rational Curves with Rational Rotation-Minimizing Frames via Mob ] ius Transformations. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15 Michael Barton, ? Bert Juttl ] er, and Wenping Wang Fat Arcs for Implicitly De?ned Curves. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26 Szilvia B ela and Bert Juttl ] er Geometric Properties of the Adaptive Delaunay Tessellation. . . . . . . . . . . 41 Tom Bobach, Alexandru Constantiniu, Paul Steinmann, and Georg Umlauf Quadrangular Parameterization for Reverse Engineering . . . . . . . . . . . . . . 55 David Bommes, Tobias Vossemer, and Leif Kobbelt A Comparison of Three Commodity-Level Parallel Architectures: Multi-core CPU, Cell BE and GPU . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70 Andr e Rigland Brodtkorb and Trond Runar Hagen Mean Distance from a Curve to Its Control Polygon. . . . . . . . . . . . . . . . . . 81 Jesu s Carnicer and Jorge Delgado Compactly Supported Splines with Tension Properties on a Three-Direction Mesh . . . . . . . . . . . . . . . . . . . . . . . . . . . .