Matrix algebra has been called "the arithmetic of higher mathematics" [Be]. We think the basis for a better arithmetic has long been available, but its versatility has hardly been appreciated, and it has not yet been integrated into the mainstream of mathematics. We refer to the system commonly called 'Clifford Algebra', though we prefer the name 'Geometric Algebm' suggested by Clifford himself. Many distinct algebraic systems have been adapted or developed to express geometric relations and describe geometric structures. Especially notable are those algebras which have been used for this purpose in physics, in particular, the system of complex numbers, the quatemions, matrix algebra, vector, tensor and spinor algebras and the algebra of differential forms. Each of these geometric algebras has some significant advantage over the others in certain applications, so no one of them provides an adequate algebraic structure for all purposes of geometry and physics. At the same time, the algebras overlap considerably, so they provide several different mathematical representations for individual geometrical or physical ideas.

Announcements for the following year included in some vols.

Announcements for the following year included in some vols.

This book constitutes the thoroughly refereed and revised post-workshop proceedings of the International Workshop on Automated Deduction in Geometry, held in Toulouse, France, in September 1996. The revised extended papers accepted for inclusion in the volume were selected on the basis of double reviewing. Among the topics covered are automated geometric reasoning and the deduction applied to Dixon resultants, Gröbner bases, characteristic sets, computational geometry, algebraic geometry, and planet motion; furthermore the system REDLOG is demonstrated and the verification of geometric statements as well as the automated production of proof in Euclidean Geometry are present.

Calcolo Geometrico, G. Peano's first publication in mathematical logic, is a model of expository writing, with a significant impact on 20th century mathematics. Kannenberg's lucid and crisp translation, Geometric Calculus, will appeal to historians of mathematics, researchers, graduate students, and general readers interested in the foundations of mathematics and the development of a formal logical language. The book has never been reprinted in its entirety, and only two chapters have ever been translated into English. Readers of this valuable translation will gain insight into the work of a distinguished mathematician and founder of mathematical logic.

Substances possessing heterogeneous microstructure on the nanometer and micron scales are scientifically fascinating and technologically useful. Examples of such substances include liquid crystals, microemulsions, biological matter, polymer mixtures and composites, vycor glasses, and zeolites. In this volume, an interdisciplinary group of researchers report their developments in this field. Topics include statistical mechanical free energy theories which predict the appearance of various microstructures, the topological and geometrical methods needed for a mathematical description of the subparts and dividing surfaces of heterogeneous materials, and modern computer-aided mathematical models and graphics for effective exposition of the salient features of microstructured materials.

This book contains a series of papers on some of the longstanding research problems of geometry, calculus of variations, and their applications. It is suitable for advanced graduate students, teachers, research mathematicians, and other professionals in mathematics.

This textbook is distinguished from other texts on the subject by the depth of the presentation and the discussion of the calculus of moving surfaces, which is an extension of tensor calculus to deforming manifolds. Designed for advanced undergraduate and graduate students, this text invites its audience to take a fresh look at previously learned material through the prism of tensor calculus. Once the framework is mastered, the student is introduced to new material which includes differential geometry on manifolds, shape optimization, boundary perturbation and dynamic fluid film equations. The language of tensors, originally championed by Einstein, is as fundamental as the languages of calculus and linear algebra and is one that every technical scientist ought to speak. The tensor technique, invented at the turn of the 20th century, is now considered classical. Yet, as the author shows, it remains remarkably vital and relevant. The author’s skilled lecturing capabilities are evident by the inclusion of insightful examples and a plethora of exercises. A great deal of material is devoted to the geometric fundamentals, the mechanics of change of variables, the proper use of the tensor notation and the discussion of the interplay between algebra and geometry. The early chapters have many words and few equations. The definition of a tensor comes only in Chapter 6 – when the reader is ready for it. While this text maintains a consistent level of rigor, it takes great care to avoid formalizing the subject. The last part of the textbook is devoted to the Calculus of Moving Surfaces. It is the first textbook exposition of this important technique and is one of the gems of this text. A number of exciting applications of the calculus are presented including shape optimization, boundary perturbation of boundary value problems and dynamic fluid film equations developed by the author in recent years. Furthermore, the moving surfaces framework is used to offer new derivations of classical results such as the geodesic equation and the celebrated Gauss-Bonnet theorem.