Eine Sammlung nützlicher Ressourcen
Introduced by Hermann Grassmann and greatly expanded by William Kingdon Clifford during the 19th century, Geometric Algebras provide a proper abstract framework for the treatment of geometrical vector operations that extend naturally to general dimensions. Their concise conceptualization yields elegant and peculiarly coherent constructs, in contrast with the intricacies of Vector Calculus. Because of the geometric origin of their structures and close relation to quadratic forms they turn useful in a wide range of applications in theoretical and applied sciences across several fields.
This web site is dedicated to perfecting a universal mathematical language for science, extending its applications and promoting it throughout the scientific community. It advocates a universal scientific language grounded in an integrated Geometric and Inferential Calculus.
Geometric algebra is a very convenient representational and computational system for geometry. We firmly believe that it is going to be the way computer science deals with geometrical issues. It contains, in a fully integrated manner, linear algebra, vector calculus, differential geometry, complex numbers and quaternions as real geometric entities, and lots more. This powerful language is based in Clifford algebra. David Hestenes was the among first to realize its enormous importance for physics, where it is now finding inroads. The revolution for computer science is currently in the making, and we hope to contribute to it.
Conference proceedings, journal papers, lectures and reports.
Publications of the KMR Group.
This page collects material related to the book Die Wissenschaft der extensive Grössen oder die Ausdehnungslehre Erster Teil, die lineale Ausdehnungslehre (1844) by Hermann Grassmann, which introduced for the first time basic concepts of what today is known as linear algebra (including affine spaces as torsors over vector spaces) and introduced in addition an exterior product on vectors, forming what today is known as exterior or Grassmann algebra.
Introduces whole classes of algebras that can be defined in multiple dimensions. We will call an element in this algebra a multivector. These algebras have different types of multiplication that can be applied to a given multivector.
Clifford Algebra, a.k.a. Geometric Algebra, is a most extraordinary synergistic confluence of a diverse range of specialized mathematical fields, each with its own methods and formalisms, all of which find a single unified formalism under Clifford Algebra. It is a unifying language for mathematics, and a revealing language for physics.
William Kingdon Clifford (1845-1879) was an English mathematician and sometime philosopher who contributed to our understanding of geometry and its connection to physics.
This is an effort to revive GA-Net Updates, the instant archive service for GA-Net.
Associated to the Riemannian bundle TM there is a bundle of Clifford algebras, Cl(TM), such that the fiber at each x in M is the Clifford algebra Cl(T_x M).
(…) I will start in the Quaternion “looking glass” and find a way out to the Clifford Algebra CL(3,0) used by Joy Christian in his counter-example to Bell's Theorem.
At a student seminar at the TU Berlin in fall 2013, the following problem in plane geometry was posed, “Given a point lying on a line, and a second point lying on a second line, find the unique direct isometry mapping the first point/line pair to the second.”
This book is meant to complement traditional textbooks by covering the mathematics used in theoretical physics beyond that typically covered in undergraduate math and physics courses. The idea is to provide an intuitive, visual overview of these mathematical tools, with guiding end goals including but not limited to spinors and gauge theories.
Companion site to the book Geometric Algebra For Computer Science, An Object Oriented Approach to Geometry (Morgan Kaufmann).
This is the companion site for the book “Grassmann Algebra: Exploring extended vector algebra with Mathematica” and for the Mathematica-based software package GrassmannAlgebra.
Geometric algebra and its extension to geometric calculus simplify, unify, and generalize vast areas of mathematics that involve geometric ideas. Geometric algebra is an extension of linear algebra. The treatment of many linear algebra topics is enhanced by geometric algebra, for example, determinants and orthogonal transformations. And geometric algebra does much more, as it incorporates the complex, quaternion, and exterior algebras, among others. Geometric algebra and calculus provide a unified mathematical language for many areas of physics (classical and quantum mechanics, electrodynamics, relativity), computer science (graphics, robotics, computer vision), engineering, and other fields.
The official web site for the free textbook “Linear Algebra via Exterior Products” (2010) by Sergei Winitzki.
Foundations of Game Engine Development is a new book series currently being written by Eric Lengyel. Its four volumes cover the essentials of game engine development in the broad areas of mathematics, rendering, animation, and physics.
Advances in Applied Clifford Algebras (AACA) publishes high-quality peer-reviewed research papers as well as expository and survey articles in the area of Clifford algebras and their applications to other branches of mathematics, physics, engineering, and related fields. The journal ensures rapid publication “Online First'' and is organized in six sections: Analysis, Differential Geometry and Dirac Operators, Mathematical Structures, Theoretical and Mathematical Physics, Applications, and Book Reviews.
William Kingdon Clifford was a leading mathematician, an influential philosopher and FRS. A leading champion of Darwin's evolutionary theory, and of scientific methods of reasoning, he sought an understanding of the nature of the universe and of the human mind and morality. He was forty years ahead of Einstein in proposing the concept of curved space. Clifford Algebra, which is fundamental to Dirac's theory of the electron, has now become significant in many areas of mathematics, physics and engineering. In 1874 Clifford married Lucy Lane, then already taking her first steps towards success as a novelist. During their four years of marriage, their Sunday salons attracted many famous scientific and literary personalities. After William's early death, Lucy became a close friend and confidante of Henry James. Amongst her wide circle of friends were George Eliot, Rudyard Kipling, Thomas Hardy, Oliver Wendell Holmes Jr., Thomas Huxley, Leslie Stephen and Virginia Woolf.
Hermann Günther Grassmann (April 15, 1809 – September 26, 1877) was a German polymath, best known as a mathematician and linguist. His mathematical work was little noted until he was in his sixties. He was also a physicist, neohumanist, general scholar, and publisher.
William Kingdon Clifford (May 4, 1845 – March 3, 1879) was an English mathematician and philosopher.
Sir Robert Ball asks why no one has translated the “Ausdehnungslehre” into English. The answer is as regretable as simple—it would not pay. The number of mathematicians who, after the severe courses of the universities, desire to extend their reading is very small. It is something that a respectable few seek to apply what they have already learnt. The first duty of those who direct the studies of the universities is to provide that students may leave in possession of all the best means of future investigation. That fifty years after publication the principles of the “Ausdehnungslehre” should find no place in English mathematical education is indeed astonishing. Half the time given to such a wearisome subject as Lunar Theory would place a student in possession of many of the delightful surprises of Grassmann’s work, and set him thinking for himself. The “Ausdehnungslehre” has won the admiration of too many distinguished mathematicians to remain longer ignored. Clifford said of it: “I may, perhaps, be permitted to express my profound admiration of that extraordinary work, and my conviction that its principles will exercise a vast influence upon the future of mathematical science.” Useful or not, the work is “a thing of beauty,” and no mathematician of taste should pass it by. It is possible, nay, even likely, that its principles may be taught more simply; but the work should be preserved as a classic.
The last “Mathematische Annalen” contains a paper by H. Grassmann, on the application of his calculus of extension to Mechanics. He adopts the quaternion addition of vectors. But he has two multiplications, internal and external, just as the principles of logic require. (…) The relation of the two multiplications is exceedingly interesting. The system seems to me more suitable to three dimensional space, and also more natural than that of quaternions. The simplification of mechanical formulas is striking, but not more than quaternions would effect, that I see.
The connection between physics teaching and research at its deepest level can be illuminated by Physics Education Research (PER). For students and scientists alike, what they know and learn about physics is profoundly shaped by the conceptual tools at their command. Physicists employ a miscellaneous assortment of mathematical tools in ways that contribute to a fragmentation of knowledge. We can do better! Research on the design and use of mathematical systems provides a guide for designing a unified mathematical language for the whole of physics that facilitates learning and enhances physical insight. This has produced a comprehensive language called Geometric Algebra, which I introduce with emphasis on how it simplifies and integrates classical and quantum physics. Introducing research-based reform into a conservative physics curriculum is a challenge for the emerging PER community. Join the fun!
(…) My purpose here is threefold: to extend my previous account of Grassmann’s pivotal role in the evolution of Geometric Algebra to place him in a broad historical context; to survey landmarks in the recent development of Geometric Calculus that demonstrate its current vigour and broad applicability; to explain precisely what extensions of Grassmann’s system were needed to meet his ambitious goals.
Objective of this workshop: To demonstrate with specific examples how geometric algebra unifies high school geometry with algebra and trigonometry and thereby simplifies and facilitates applications to physics and engineering.
Geometric calculus is shown to unite vectors, spinors, and complex numbers into a single mathematical system with a comprehensive geometric significance. The efficacy of this calculus in physical applications is explicitly demonstrated.
The Dirac theory has a hidden geometric structure. This talk traces the conceptual steps taken to uncover that structure and points out significant implications for the interpretation of quantum mechanics. The unit imaginary in the Dirac equation is shown to represent the generator of rotations in a spacelike plane related to the spin. This implies a geometric interpretation for the generator of electromagnetic gauge transformations as well as for the entire electroweak gauge group of the Weinberg-Salam model. The geometric structure also helps to reveal closer connections to classical theory than hitherto suspected, including exact classical solutions of the Dirac equation.
The following interview was conducted with Professor David Hestenes in Gazimağusa, North Cyprus on March 23, 2009 during his visit for attending the Frontiers in Science Education Research Conference. He has served the physics education community since late 70s. He is most notably known by the project he led named the Modeling Instruction. Also, the Force Concept Inventory (FCI for short) is a very well-known tool for diagnosing student misconceptions in introductory mechanics. He alone and within his research groups, throughout the many decades, drew attention to the ways of conducting rigorous physics education research and contributing to the improvement of physics teaching and learning.
Even today mathematicians typically typecast Clifford Algebra as the “algebra of a quadratic form,” with no awareness of its grander role in unifying geometry and algebra as envisaged by Clifford himself when he named it Geometric Algebra. It has been my privilege to pick up where Clifford left off-to serve, so to speak, as principal architect of Geometric Algebra and Calculus as a comprehensive mathematical language for physics, engineering and computer science. This is an account of my personal journey in discovering, revitalizing and extending Geometric Algebra, with emphasis on the origin and influence of my book Space-Time Algebra. I discuss guiding ideas, significant results and where they came from—with recollection of important events and people along the way. Lastly, I offer some lessons learned about life and science.
This thesis is an investigation into the properties and applications of Clifford’s geometric algebra. (…) Clifford algebra provides the grammar from which geometric algebra is constructed, but it is only when this grammar is augmented with a number of secondary definitions and concepts that one arrives at a true geometric algebra. In fact, the algebraic properties of a geometric algebra are very simple to understand, they are those of Euclidean vectors, planes and higher-dimensional (hyper)surfaces. It is the computational power brought to the manipulation of these objects that makes geometric algebra interesting and worthy of study.
Geometric algebra was initiated by W.K. Clifford over 130 years ago. It unifies all branches of physics, and has found rich applications in robotics, signal processing, ray tracing, virtual reality, computer vision, vector field processing, tracking, geographic information systems and neural computing. This tutorial explains the basics of geometric algebra, with concrete examples of the plane, of 3D space, of spacetime, and the popular conformal model. Geometric algebras are ideal to represent geometric transformations in the general framework of Clifford groups (also called versor or Lipschitz groups). Geometric (algebra based) calculus allows e.g. to optimize learning algorithms of Clifford neurons, etc. arXiv version
Talk slides, SIAM Conference on Applied Linear Algebra (Monterey, CA, USA October 2009).
William Kingdon Clifford was an English mathematician and philosopher who worked extensively in many branches of pure mathematics and classical mechanics. Although he died young, he left a deep and long-lasting legacy, particularly in geometry. One of the main achievements that he is remembered for is his pioneering work on integrating Hamilton’s Elements of Quaternions with Grassmann’s Theory of Extension into a more general coherent corpus, now referred to eponymously as Clifford algebras. These geometric algebras are utilised in engineering mechanics (especially in robotics) as well as in mathematical physics (especially in quantum mechanics) for representing spatial relationships, motions, and dynamics within systems of particles and rigid bodies. Clifford’s study of geometric algebras in both Euclidean and non-Euclidean spaces led to his invention of the biquaternion, now used as an efficient representation for twists and wrenches in the same context as that of Ball’s Theory of Screws.
This paper concentrates on the homogeneous (conformal) model of Euclidean space (Horosphere) with subspaces that intuitively correspond to Euclidean geometric objects in three dimensions. Mathematical details of the construction and (useful) parametrizations of the 3D Euclidean object models are explicitly demonstrated in order to show how 3D Euclidean information on positions, orientations and radii can be extracted.
Geometric algebra is the Clifford algebra of a finite dimensional vector space over real scalars cast in a form most appropriate for physics and engineering. This was done by David Hestenes (Arizona State University) in the 1960's. From this start he developed the geometric calculus whose fundamental theorem includes the generalized Stokes theorem, the residue theorem, and new integral theorems not realized before. Hestenes likes to say he was motivated by the fact that physicists and engineers did not know how to multiply vectors.
This paper is an introduction to geometric algebra and geometric calculus, presented in the simplest way I could manage, without worrying too much about completeness or rigor. An understanding of linear algebra and vector calculus is presumed. This should be sufficient to read most of the paper.
In his article A Survey of Geometric Calculus and Geometric Algebra, Professor Alan Macdonald provides a brief introduction to geometric algebra (GA) and geometric calculus (GC) along with some applications to physics and a brief mention of the related projective and conformal geometric algebras. He only expects the reader to have knowledge of linear algebra and vector calculus. In this review, I hope to whet your appetite for GA and GC by showing some of its important results.
We give a simple, elementary, direct, and motivated construction of the geometric algebra over R^n.
This paper describes several key discoveries in the 19th century that led to the modern theory of manifolds in the twentieth century: intrinsic differential geometry, projective geometry and higher dimensional manifolds and Riemannian geometry.
This is an exploratory collection of notes containing worked examples of a number of introductory applications of Geometric Algebra (GA), also known as Clifford Algebra. This writing is focused on undergraduate level physics concepts, with a target audience of somebody with an undergraduate engineering background.
This book presents a collection of contributions concerning the task of solving geometry related problems with suitable algebraic embeddings. It is not only directed at scientists who already discovered the power of Clifford algebras for their field, but also at those scientists who are interested in Clifford algebras and want to see how these can be applied to problems in computer science, signal theory, neural computation, computer vision and robotics. It was therefore tried to keep this book accessible to newcomers to applications of Clifford algebra while still presenting up to date research and new developments.
Early in the development of computer graphics it was realized that projective geometry is suited quite well to represent points and transformations. Now, maybe another change of paradigm is lying ahead of us based on Geometric Algebra. If you already use quaternions or Lie algebra in additon to the well-known vector algebra, then you may already be familiar with some of the algebraic ideas that will be presented in this tutorial. In fact, quaternions can be represented by Geometric Algebra, next to a number of other algebras like complex numbers, dual-quaternions, Grassmann algebra and Grassmann-Cayley algebra. In this half day tutorial we will emphasize that Geometric Algebra is a unified language for a lot of mathematical systems used in Computer Graphics and can be used in an easy and geometrically intuitive way in Computer Graphics.
The main contribution of this thesis is the geometrically intuitive and efficient algorithm for a computer animation application, namely an inverse kinematics algorithm for a virtual character. This algorithm is based on an embedding of quaternions in Conformal Geometric Algebra. For performance reasons two optimization approaches are used in a way to make the application now three times faster than the conventional solution. With these results we are convinced that Geometric Computing using Conformal Geometric Algebra will become more and more fruitful in a great variety of applications in computer graphics and robotics.
In the present work, the modeling capabilities of conformal geometric algebra (CGA) are harnessed to approach typical problems from the research field of 3D-vision. This increasingly popular methodology is then extended in a new fashion by the integration of a least squares technique into the framework of CGA. Specifically, choosing the linear Gauss-Helmert model as the basis, the most general variant of least squares adjustment can be brought into operation. The result is a new versatile parameter estimation, termed GH-method, that reconciles two different mathematical areas, that is algebra and stochastics, under the umbrella of geometry. The main concern of the thesis is to show up the advantages inhering with this combination.
This is an introduction to geometric algebra, an alternative to traditional vector algebra that expands on it in two ways: In addition to scalars and vectors, it defines new objects representing subspaces of any dimension; it defines a product that’s strongly motivated by geometry and can be taken between any two objects. For example, the product of two vectors taken in a certain way represents their common plane. This system was invented by William Clifford and is more commonly known as Clifford algebra. It’s actually older than the vector algebra that we use today (due to Gibbs) and includes it as a subset. Over the years, various parts of Clifford algebra have been reinvented independently by many people who found they needed it, often not realizing that all those parts belonged in one system. This suggests that Clifford had the right idea, and that geometric algebra, not the reduced version we use today, deserves to be the standard “vector algebra”.
This is a simple way rigorously to construct Grassmann, Clifford and Geometric Algebras, allowing degenerate bilinear forms, infinite dimension, using fields or certain modules (characteristic 2 with limitation), and characterize the algebras in a coordinate free form. The construction is done in an orthogonal basis, and the algebras characterized by universality. The basic properties with short proofs provides a clear foundation for further development of the algebras.
Historically, there have been many attempts to produce an appropriate mathematical formalism for modeling the nature of physical space, such as Euclid's geometry, Descartes' system of Cartesian coordinates, the Argand plane, Hamilton's quaternions and Gibbs' vector system using the dot and cross products. We illustrate however, that Clifford's geometric algebra (GA) provides the most elegant description of physical space. Supporting this conclusion, we firstly show how geometric algebra subsumes the key elements of the competing formalisms and secondly how it provides an intuitive representation of the basic concepts of points, lines, areas and volumes. We also provide two examples where GA has been found to provide an improved description of two key physical phenomena, electromagnetism and quantum theory, without using tensors or complex vector spaces.
These are lecture notes for a course on the theory of Clifford algebras, with special emphasis on their wide range of applications in mathematics and physics. Clifford algebra is introduced both through a conventional tensor algebra construction (then called geometric algebra) with geometric applications in mind, as well as in an algebraically more general form which is well suited for combinatorics, and for defining and understanding the numerous products and operations of the algebra. The various applications presented include vector space and projective geometry, orthogonal maps and spinors, normed division algebras, as well as simplicial complexes and graph theory. arXiv version
The claim that Clifford algebra should be regarded as a universal geometric algebra is strengthened by showing that the algebra is applicable to nonmetrical as well as metrical geometry. Clifford algebra is used to develop a coordinate-free algebraic formulation of projective geometry. Major theorems of projective geometry are reduced to algebraic identities which apply as well to metrical geometry. Improvements in the formulation of linear algebra are suggested to simplify its intimate relation to projective geometry. Relations among Clifford algebras of different dimensions are interpreted geometrically as “projective and conformal splits.” The conformal split is employed to simplify and elucidate the pin and spin representations of the conformal group for arbitrary dimension and signature.
Conformal Geometric Algebraic (CGA) provides ideal mathematical tools for construction, analysis, and integration of classical Euclidean, Inversive & Projective Geometries, with practical applications to computer science, engineering, and physics. This paper is a comprehensive introduction to a CGA tool kit. Synthetic statements in classical geometry translate directly to coordinate-free algebraic forms. Invariant and covariant methods are coordinated by conformal splits, which are readily related to the literature using methods of matrix algebra, biquaternions, and screw theory. Designs for a complete system of powerful tools for the mechanics of linked rigid bodies are presented.
A new simplified approach for teaching electromagnetism is presented using the formalism of geometric algebra (GA) which does not require vector calculus or tensor index notation, thus producing a much more accessible presentation for students. The four-dimensional spacetime proposed is completely symmetrical between the space and time dimensions, thus fulfilling Minkowski's original vision. In order to improve student reception we also focus on forces and the conservation of energy and momentum, which take a very simple form in GA, so that students can easily build on established intuitions in using these laws developed from studying Newtonian mechanics. The potential formulation is also integrated into the presentation that allows an alternate solution path, as well as an introduction to the Lagrangian approach.
In this paper, we define energy-momentum density as a product of the complex vector electromagnetic field and its complex conjugate. We derive an equation for the spacetime derivative of the energy-momentum density. We show that the scalar and vector parts of this equation are the differential conservation laws for energy and momentum, and the imaginary vector part is a relation for the curl of the Poynting vector. We can show that the spacetime derivative of this energy-momentum equation is a wave equation. Our formalism is Dirac-Pauli-Hestenes algebra in the framework of Clifford (Geometric) algebra Cl(4,0).
A simple but rigorous proof of the Fundamental Theorem of Calculus is given in geometric calculus, after the basis for this theory in geometric algebra has been explained. Various classical examples of this theorem, such as the Green’s and Stokes’ theorem are discussed, as well as the new theory of monogenic functions, which generalizes the concept of an analytic function of a complex variable to higher dimensions.
In this work a comprehensive geometric model for paracatadioptric sensors has been presented. The model is based on the equivalence between paracatadioptric projection and the inversion. The main reason for using the inversion is that it can be represented by a versor (i.e. a special group of multivectors) in the CGA. The advantage of this representation is that it can be applied not only to points but also to point-pairs, lines, circles, spheres and planes.
In the last one and a half centuries, the analysis of quaternions has not only led to further developments in mathematics but has also been and remains an important catalyst for the further development of theories in physics. At the same time, Hestenes’ geometric algebra provides a didactically promising instrument to model phenomena in physics mathematically and in a tangible manner. Quaternions particularly have a catchy interpretation in the context of geometric algebra which can be used didactically. The relation between quaternions and geometric algebra is presented with a view to analysing its didactical possibilities.
The geometric algebra is constructed from minimal raw materials.
In this presentation I explore the possible choices for the imaginary unit in the Dirac equation to show that SU(3) and SU(2) symmetries arise naturally from such choices. The quantum numbers derived from the imaginary unit are unusual but a simple conversion allows the derivation of electric charge and isospin, quantum numbers for two families of particles. This association to elementary particles is not final because further understanding of the role played by the imaginary unit is needed.
In this Master of Science Thesis I introduce geometric algebra both from the traditional geometric setting of vector spaces, and also from a more combinatorial view which simplifies common relations and operations. This view enables us to define Clifford algebras with scalars in arbitrary rings and provides new suggestions for an infinite-dimensional approach. Furthermore, I give a quick review of classic results regarding geometric algebras, such as their classification in terms of matrix algebras, the connection to orthogonal and Spin groups, and their representation theory. A number of lower-dimensional examples are worked out in a systematic way using so called norm functions, while general applications of representation theory include normed division algebras and vector fields on spheres.
This paper surveys the application of geometric algebra to the physics of electrons. It first appeared in 1996 and is reproduced here with only minor modifications. Subjects covered include non-relativistic and relativistic spinors, the Dirac equation, operators and monogenics, the Hydrogen atom, propagators and scattering theory, spin precession, tunnelling times, spin measurement, multiparticle quantum mechanics, relativistic multiparticle wave equations, and semiclassical mechanics.
Geometric Algebra (GA) is a mathematical language that aids a unified approach and understanding in topics across mathematics, physics and engineering. In this contribution, we introduce the Spacetime Algebra (STA), and discuss some of its applications in electromagnetism, quantum mechanics and acoustic physics. Then we examine a gauge theory approach to gravity that employs GA to provide a coordinate free formulation of General Relativity, and discuss what a suitable Lagrangian for gravity might look like in two dimensions. Finally the extension of the gauge theory approach to include scale invariance is briefly introduced, and attention drawn to the interesting properties with respect to the cosmological constant of the type of Lagrangians which are favoured in this approach.
The author intends to show that GR and Quantum Mechanics (QM) can be seen as originating from properties of the null subspace of 5-dimensional space with signature (−++++), together with its associated geometric algebra G4,1. The space so defined is really 4-dimensional because the null condition effectively reduces the dimensionality by one. Besides generating GR and QM, the same space generates also 4-dimensional Euclidean space where dynamics can be formulated and is quite often equivalent to the relativistic counterpart. Euclidean relativistic dynamics resembles Fermat’s principle extended to 4 dimensions and is thus designated as 4-Dimensional Optics (4DO).
The formalism of geometric algebra can be described as deformed super analysis. The deformation is done with a fermionic star product, that arises from deformation quantization of pseudoclassical mechanics. If one then extends the deformation to the bosonic coefficient part of superanalysis one obtains quantum mechanics for systems with spin. This approach clarifies on the one hand the relation between Grassmann and Clifford structures in geometric algebra and on the other hand the relation between classical mechanics and quantum mechanics. Moreover it gives a formalism that allows to handle classical and quantum mechanics in a consistent manner.
The relationship between spinors and Clifford (or geometric) algebra has long been studied, but little consistency may be found between the various approaches. However, when spinors are defined to be elements of the even subalgebra of some real geometric algebra, the gap between algebraic, geometric, and physical methods is closed. Spinors are developed in any number of dimensions from a discussion of spin groups, followed by the specific cases of U(1), SU(2), and SL(2,C) spinors. The physical observables in Schr¨odinger-Pauli theory and Dirac theory are found, and the relationship between Dirac, Lorentz, Weyl, and Majorana spinors is made explicit. The use of a real geometric algebra, as opposed to one defined over the complex numbers, provides a simpler construction and advantages of conceptual and theoretical clarity not available in other approaches.
A new characterization of anticommutativity of (unbounded) self-adjoint operators is presented in connection with Clifford algebra. Some consequences of the characterization and applications are discussed.
An alternative, pedagogically simpler derivation of the allowed physical wave fronts of a propagating electromagnetic signal is presented using geometric algebra. Maxwell’s equations can be expressed in a single multivector equation using 3D Clifford algebra (isomorphic to Pauli algebra spinorial formulation of electromagnetism). Subsequently one can more easily solve for the time evolution of both the electric and magnetic field simultaneously in terms of the fields evaluated only on a 3D hypersurface. The form of the special “characteristic” surfaces for which the time derivative of the fields can be singular are quickly deduced with little effort.
(…) It is my strong feeling that it is time—long past time—to bring that unfortunate state of affairs to an end. It is wrong to suppose that one need be a state-of-the-art differential geometer to make effective use of the exterior calculus. The formalism imposes demands certainly not greater than those of tensor analysis (from which it arises as a powerful special case), and in practical applications does its work even more simply and swiftly than vector analysis. And, as it is my intention here to demonstrate, it does pass Kelvin’s test, does put us in position to say new things about some moderately interesting new questions, to say things that are quite beyond the reach of vector analysis, and which if formulated in the language of tensor analysis would entail such a “debouch d'indices” as to remain almost certainly unsaid.
My purpose in this informal material will be to refresh/consolidate my own thought concerning a subject that has engaged my attention from time to time over the years, but not recently. I do so because aspects of the subject have become the focus of a thesis effort by Nakul Shankar, whose awkward situation is that he is going to have to change horses in midstream: I will direct the first phase of his project, but will be obliged to pass the baton to Tom Wieting & Darrell Schroeter at mid-year. A large part of my effort here, therefore, will be directed to the the establishment of some degree of notational and conceptual commonality, and to construction of a clear statement of my own motivating interests in this area.
In this paper, we describe our development of GABLE, a Matlab implementation of the Geometric Algebra based on Cl(p,q) (where p + q = 3) and intended for tutorial purposes. Of particular note are the matrix representation of geometric objects, effective algorithms for this geometry (inversion, meet and join), and issues in efficiency and numerics.
Computations of 3D Euclidean geometry can be performed using various computational models of different effectiveness. In this paper we compare five alternatives: 3D linear algebra, 3D geometric algebra, a mix of 4D homogeneous coordinates and Plucker coordinates, a 4D homogeneous model using geometric algebra, and the 5D conformal model using geometric algebra.
The Clifford algebra of a n-dimensional Euclidean vector space provides a general language comprising vectors, complex numbers, quaternions, Grassmann algebra, Pauli and Dirac matrices. In this work, a package for Clifford algebra calculations for the computer algebra program Mathematica is introduced through a presentation of the main ideas of Clifford algebras and illustrative examples. This package can be a useful computational tool since allows the manipulation of all these mathematical objects. It also includes the possibility of visualize elements of a Clifford algebra in the 3-dimensional space.
(…) Another problem to be coped with in designing robot vision systems is the diversity of contributing disciplines. These are signal theory and image processing, pattern recognition including learning theory, robotics, computer vision and computing science. Because these disciplines developed separately, they are using different mathematical languages as modeling frameworks. Besides, their modeling capabilities are limited. These limitations are caused to a large extend by the dominant use of vector algebra. Fortunately, geometric algebras (GA) as the geometrically interpreted version of Clifford algebras (CA) (Hestenes & Sobczyk, 1984) deliver a reasonable alternative to vector algebra.
In this tutorial paper we will report on our experience in the use of geometric algebra (GA) in robot vision. The results could be reached in a long term research programme on modelling the perception-action cycle within geometric algebra. We will pick up three important applications from image processing, pattern recognition and computer vision. By presenting the problems and their solutions from an engineering point of view, the intention is to stimulate other applications of GA.
In this paper the authors will apply a mathematical system, the Conformal Geometric Algebra (CGA), to propose applications in computer vision and robotics. The CGA keeps our intuition and insight of the problem's geometry at hand, besides helping us to reduce the computational problems' burden.
The present thesis introduces Clifford Algebra as a framework for neural computation. Clifford Algebra subsumes, for example, the reals, complex numbers and quaternions. Neural computation with Clifford algebras is model–based. This principle is established by constructing Clifford algebras from quadratic spaces. Then the subspace grading inherent to any Clifford algebra is introduced, which allows the representation of different geometric entities like points, lines, and so on. The above features of Clifford algebras are then taken as motivation for introducing the Basic Clifford Neuron (BCN), which is solely based on the geometric product of the underlying Clifford algebra.
Klein's Erlangen Program provided an organizing principle for geometry based on the notion of group of transformations and the study of its invariants. It allowed, in particular, to think of projective geometry as a unifying framework for affine, metric and hyperbolic geometries (or, in Cayley's motto, “Projective geometry is all geometry”). The impact of these ideas on the teacher's training was developed in detail one century ago in the volume “Geometrie”, the second of “Elementarmathematik vom höheren Standpunk aus”.
This Master’s thesis investigates new computer graphics synthesis techniques made possible by the Euclidean, spherical, and hyperbolic transformational capacities of conformal geometric algebra [CGA]. An explication of the mathematical system’s geometric elements is followed by documentation of Versor – an integrated CGA software library for immersive 3D visualizations and dynamic simulations.
This paper introduces a new technique for the formulation of parametric surfaces. As previously shown by Dorst and Valkenburg, point pairs in the 5D conformal model of geometric algebra can be leveraged as generators of “simple” orbit-inducing rotors. In the current work, null point pairs are treated as surface and mesh control points which can be linearly interpolated. Here, they are used to construct continuous topological transformations. Using simple boosting rotors, some basic algorithms are proposed, including the boosting rotor which takes a circle of radius r to a line tangent to it at point p, and the boost-with-a-twist which generates a Hopf bundle. We will explore their effect when integrated in a field, and examine a few techniques for defining such rotors in homogenous coordinates: the translation of tangent vectors, the geometric product of points, and the interpolation of point pairs. Applying these rotors to points and circles provides an novel and efficient basis for creating boosted forms.
The task for today is to compare some more-sophisticated and less-sophisticated ways of expressing the laws of electromagnetism. In particular we compare Geometric Algebra, ordinary vectors, and vector components. We do this in the spirit of the correspondence principle: whenever you learn a new formalism, you should check that it is consistent with what you already know.
We express Maxwell's equations as a single equation, first using the divergence of a special type of matrix field to obtain the four current, and then the divergence of a special matrix to obtain the Electromagnetic field. These two equations give rise to a remarkable dual set of equations in which the operators become the matrices and the vectors become the fields. The decoupling of the equations into the wave equation is very simple and natural. The divergence of the stress energy tensor gives the Lorentz Law in a very natural way. We compare this approach to the related descriptions of Maxwell’s equations by biquaternions and Clifford algebras.
In this paper, we explicate the suggested benefits of Clifford's geometric algebra (GA) when applied to the field of electrical engineering. Engineers are always interested in keeping formulas as simple or compact as possible, and we illustrate that geometric algebra does provide such a simplified representation in many cases. We also demonstrate an additional structural check provided by GA for formulas in addition to the usual checking of physical dimensions. Naturally, there is an initial learning curve when applying a new method, but it appears to be worth the effort, as we show significantly simplified formulas, greater intuition, and improved problem solving in many cases.
Adopted with great enthusiasm in physics, geometric algebra slowly emerges in computational science. Its elegance and ease of use is unparalleled. By introducing two simple concepts, the multivector and its geometric product, we obtain an algebra that allows subspace arithmetic. It turns out that being able to “calculate” with subspaces is extremely powerful, and solves many of the hacks required by traditional methods. This paper provides an introduction to geometric algebra. The intention is to give the reader an understanding of the basic concepts, so advanced material becomes more accessible.
(…) Hestenes (1966) proposed a technique called space-time split to realize the Clifford algebra of the Euclidean space in the Clifford algebra of the Minkowskii space. The technique is later generalized to projective split by Hestenes and Ziegler (1991) for projective geometry. We find that a version of this technique offers us exactly what we need: three-dimensional linear spaces imbedded in a four-dimensional one, whose origins do not concur with that of the four dimensional space but whose Clifford algebras are realized in that of the four-dimensional space.
This paper introduces the mathematical framework of conformal geometric algebra (CGA) as a language for computer graphics and computer vision. Specifically it discusses a new method for pose and position interpolation based on CGA which firstly allows for existing interpolation methods to be cleanly extended to pose and position interpolation, but also allows for this to be extended to higher-dimension spaces and all conformal transforms (including dilations). In addition, we discuss a method of dealing with conics in CGA and the intersection and reflections of rays with such conic surfaces. Possible applications for these algorithms are also discussed.
This paper contains a tutorial introduction to the ideas of geometric algebra, concentrating on its physical applications. We show how the definition of a ‘geometric product’ of vectors in 2- and 3-dimensional space provides precise geometrical interpretations of the imaginary numbers often used in conventional methods. Reflections and rotations are analysed in terms of bilinear spinor transformations, and are then related to the theory of analytic functions and their natural extension in more than two dimensions (monogenics). Physics is greatly facilitated by the use of Hestenes’ spacetime algebra, which automatically incorporates the geometric structure of spacetime. This is demonstrated by examples from electromagnetism. In the course of this purely classical exposition many surprising results are obtained — results which are usually thought to belong to the preserve of quantum theory. We conclude that geometric algebra is the most powerful and general language available for the development of mathematical physics.
(…) We will chart the resurgence of the algebras of Clifford and Grassmann in the form of a framework known as Geometric Algebra (GA). GA was pioneered in the mid-1960’s by the American physicist and mathematician, David Hestenes. It has taken the best part of 40 years but there are signs that his claims that GA is the universal language for physics and mathematics are now beginning to take a very real form. Throughout the world there are an increasing number of groups who apply GA to a range of problems from many scientific fields. While providing an immensely powerful mathematical framework in which the most advanced concepts of quantum mechanics, relativity, electromagnetism etc. can be expressed, it is claimed that GA is also simple enough to be taught to school children!
Geometric algebra has been proved to be a powerful mathematical language for robot vision. We give an overview of some research results in two different areas of robot vision. These are signal theory in the multidimensional case and knowledge based neural computing. In both areas a considerable extension of the modeling has been achieved by applying geometric algebra.
(…) We discuss multiple view tensors from a geometric point of view. We show that in this way multiple view tensors can be expressed in a unified way, and that constraints on them can be found from simple geometric considerations. In the last part of this chapter we discuss projective reconstructions from trifocal tensors. We find that the consistency of a trifocal tensor has no particular influence on the quality of reconstruction.
Conventional illustrations of the rich elementary relations and physical applications of geometric algebra are helpful, but restricted in communicating full generality and time dependence. The main restrictions are one special perspective in each graph and the static character of such illustrations. Several attempts have been made to overcome such restrictions. But up till now very little animated and fully interactive, free, instant access, online material is available. This report presents therefore a set of over 90 newly developed JAVA applets.
This review of relativistic physics integrates the works of Hamilton, Grassmann, Maxwell, Clifford, Einstein, Hestenes and lately the Cambridge (UK) Geometric Algebra Research Group. We start with the geometric algebra of spacetime (STA). We show how frames and trajectories are described and how Lorentz transformations acquire their fundamental rotor form. Spacetime dynamics deals with spacetime rotors, which have invariant and frame dependent splits. Spacetime rotor equations yield the proper acceleration (bivector) and the Fermi (vector) derivative.
This tutorial focuses on describing the implementation and use of reflections in the geometric algebras of three-dimensional (3D) Euclidean space and in the five-dimensional (5D) conformal model of Euclidean space. In the latter reflections at parallel planes serve to implement translations as well. Combinations of reflections allow to implement all isometric transformations.
This document is part of a series of resources that I am preparing in support of Professor David Hestenes's goal of using Geometric Algebra (GA) to integrate high-school algebra, geometry, trigonometry, and physics into a coherent curriculum.
One of the aims of the paper is to explore geometric algebra as a tool for quantum information and to explain why it did not live up to its early promise. The short answer is: because the mapping between 3D geometry and the mathematics of one qubit is already thoroughly understood, while the extension to a system of entangled qubits does not bring in new geometric insights but on the contrary merely reproduces the usual complex Hilbert space approach in a slightly clumsy way.
This paper presents some basics for the analysis of point clouds using the geometrically intuitive mathematical framework of conformal geometric algebra. In this framework it is easy to compute with osculating circles for the description of local curvature. Also methods for the fitting of spheres as well as bounding spheres are presented. In a nutshell, this paper provides a starting point for shape analysis based on this new, geometrically intuitive and promising technology. Keywords: geometric algebra, geometric computing, point clouds, osculating circle, fitting of spheres, bounding spheres.
In this short pedagogical presentation, we introduce the spin groups and the spinors from the point of view of group theory. We also present, independently, the construction of the low dimensional Clifford algebras. And we establish the link between the two approaches. Finally, we give some notions of the generalisations to arbitrary spacetimes, by the introduction of the spin and spinor bundles.
This thesis presents an introduction to geometric algebra for the uninitiated. It contains examples of how some of the more traditional topics of mathematics can be reexpressed in terms of geometric algebra along with proofs of several important theorems from geometry. We introduce the conformal model. This is a current topic among researchers in geometric algebra as it is finding wide applications in computer graphics and robotics.
The aim of this paper is to introduce the interested reader to the world of geometric algebra.
The discussion of how to apply geometric algebra to euclidean n-space has been clouded by a number of conceptual misunderstandings which we first identify and resolve, based on a thorough review of crucial but largely forgotten themes from 19th century mathematics. We then introduce the dual projectivized Clifford algebra P(R∗_n,0,1) (euclidean PGA) as the most promising homogeneous (1-up) candidate for euclidean geometry. We compare euclidean PGA and the popular 2-up model CGA (conformal geometric algebra), restricting attention to flat geometric primitives, and show that on this domain they exhibit the same formal feature set. We thereby establish that euclidean PGA is the smallest structure-preserving euclidean GA. We compare the two algebras in more detail, with respect to a number of practical criteria, including implementation of kinematics and rigid body mechanics. We then extend the comparison to include euclidean sphere primitives. We conclude that euclidean PGA provides a natural transition, both scientifically and pedagogically, between vector space models and the more complex and powerful CGA.
In the last years, Geometric Algebra with its Euclidean, Homogeneous and Conformal models attract the research interest in many areas of Computer Science and Engineering and particularly in Computer Graphics as it is shown that they can produce more efficient and smooth results than other algebras. In this paper, we present an all-inclusive algorithm for real-time animation interpolation and GPU-based geometric skinning of animated, deformable virtual characters using the Conformal model of Geometric Algebra (CGA). We compare our method with standard quaternions, linear algebra matrices and dual-quaternions blending and skinning algorithms and we illustrate how our CGA-GPU inclusive skinning algorithm can provide as smooth and more efficient results as state-of-the-art previous methods. Furthermore, the elements of CGA that handle transformations (CGA motors) can support translation, rotation and dilation(uniform scaling) of joints under a single, GPU-supported mathematical framework and avoid conversion between different mathematical representations in contrast to quaternions and dual-quaternions that support only rotation and rotation-translation respectively.
We derive a conformal algebra treatment unifying all types of collisions among points, vectors, areas (defined by bivectors and trivectors) and 3D solid objects (defined by trivectors and quadvectors), based in a reformulation of collision queries from R^3 to conformal R^(4,1) space. The algebraic formulation in this 5D space is then implemented in GPU to allow faster parallel computation queries. Results show expected orders of magnitude improvements computing collisions among known mesh models, allowing interactive rates without using optimizations and bounding volume hierarchies.
This is the first paper in a series (of four) designed to show how to use geometric algebras of multivectors and extensors to a novel presentation of some topics of differential geometry which are important for a deeper understanding of geometrical theories of the gravitational field. In this first paper we introduce the key algebraic tools for the development of our program, namely the euclidean geometrical algebra of multivectors Cl(V,GE) and the theory of its deformations leading to metric geometric algebras Cl(V,G) and some special types of extensors. Those tools permit obtaining, the remarkable golden formula relating calculations in Cl(V,G) with easier ones in Cl(V,GE) (e.g., a noticeable relation between the Hodge star operators associated to G and GE).
This is the first paper in a series of eight where in the first three we develop a systematic approach to the geometric algebras of multivectors and extensors, followed by five papers where those algebraic concepts are used in a novel presentation of several topics of the differential geometry of (smooth) manifolds of arbitrary global topology. A key tool for the development of our program is the mastering of the euclidean geometrical algebra of multivectors that is detailed in the present paper.
In this paper we introduce the concept of euclidean Clifford algebra Cl(V,GE) for a given euclidean structure on V , i.e., a pair (V,GE) where GE is a euclidean metric for V (also called an euclidean scalar product).
In this paper we give a comparison between the formulation of the concept of metric for a real vector space of finite dimension in terms of tensors and extensors. A nice property of metric extensors is that they have inverses which are also themselves metric extensors. This property is not shared by metric tensors because tensors do not have inverses.
In this paper we introduce the concept of metric Clifford algebra Cl(V;g) for a n-dimensional realvector space V endowed with a metric extensor g whose signature is (p;q), with p+q=n.
This paper is an introduction to the theory of multivector functions of a real variable. The notions of limit, continuity and derivative for these objects are given. The theory of multivector functions of a real variable, even being similar to the usual theory of vector functions of a real variable, has some subtle issues which make its presentation worthwhile.We refer in particular to the derivative rules involving exterior and Clifford products, and also to the rule for derivation of a composition of an ordinary scalar function with a multivector function of a real variable.
In this paper we develop with considerable details a theory of multivector functions of a p-vector variable. The concepts of limit, continuity and differentiability are rigorously studied.
In this paper we introduce the concept of multivector functionals. We study some possible kinds of derivative operators that can act in interesting ways on these objects such as, e.g., the A-directional derivative and the generalized concepts of curl, divergence and gradient.
We present an introduction to the mathematical theory of the Lagrangian formalism for multiform fields on Minkowski spacetime based on the multiform and extensor calculus. Our formulation gives a unified mathematical description for the main relativistic field theories including the gravitational field.
This paper, the third in a series of eight introduces some of the basic concepts of the theory of extensors needed for our formulation of the differential geometry of smooth manifolds . Key notions such as the extension and generalization operators of a given linear operator (a (1, 1)-extensor) acting on a real vector space V are introduced and studied in details.
The main objective of this paper (second in a series of four) is to show how the Clifford and extensor algebras methods introduced in a previous paper of the series are indeed powerful tools for performing sophisticated calculations appearing in the study of the differential geometry of a n-dimensional manifold M of arbitrary topology, supporting a metric field g (of given signature (p, q)) and an arbitrary connection ∇.
This paper, sixth in a series of eight, uses the geometric calculus on manifolds developed in the previous papers of the series to introduce through the concept of a metric extensor field g a metric structure for a smooth manifold M. The associated metric compatible connection extensor field, the associated Christoffel operators and a notable decomposition of those objects are given.
Here (the last paper in a series of four) we end our presentation of the basics of a systematical approach to the differential geometry of a smooth manifold M (supporting a metric field g and a general connection ∇) which uses the geometric algebras of multivector and extensors (fields) developed in previous papers.
In this paper we study in details the properties of the duality product of multivectors and multiforms (used in the definition of the hyperbolic Clifford algebra of multivefors) and introduce the theory of the k multivector and l multiform variables multivector (or multiform) extensors over V studying their properties with considerable detail.
A simple theory of the covariant derivatives, deformed derivatives and relative covariant derivatives of multivector and multiform fields is presented using algebraic and analytical tools developed in previous papers.
A simple theory of the covariant derivatives, deformed derivatives and relative covariant derivatives of extensor fields is present using algebraic and analytical tools developed in previous papers. Several important formulas are derived.
Tema de física-matemática, donde las Álgebras y Fibrados de Clifford son una estructura que tiene la finalidad de unificar los campos físicos (de Maxwell, gravitacionales, etc.). Se ha considerado que éstos son objetos matemáticos diferentes y las Álgebras de Clifford, al igual que la Teoría de Cuerdas, han tratado de unificarlos.
We give in this paper which is the third in a series of four a theory of covariant derivatives of representatives of multivector and extensor fields on an arbitrary open set U ⊂ M, based on the geometric and extensor calculus on an arbitrary smooth manifold M.
(…) In order to justify this tour de force introduction to the methods of geometric algebra in differential geometry, we will show how deep relationships regarding conformal mappings are readily at hand.
The real number system is geometrically extended to include three new anticommuting square roots of plus one, each such root representing the direction of a unit vector along the orthonormal coordinate axes of Euclidean 3-space. The resulting geometric (Clifford) algebra provides a geometric basis for the famous Pauli matrices which, in turn, proves the consistency of the rules of geometric algebra. The flexibility of the concept of geometric numbers opens the door to new understanding of the nature of space-time, and of Pauli and Dirac spinors as points on the Riemann sphere, including Lorentz boosts.
This article explores group manifolds which are efficiently expressed in lower dimensional (Clifford) geometric algebras. The spectral basis of a geometric algebra allows the insightful transition between a geometric algebra of multivectors and its representation as a matrix over the real or complex numbers, or over the quaternions or split quaternions.
This paper presents a tutorial of geometric algebra, a very useful but generally unappreciated extension of vector algebra. The emphasis is on physical interpretation of the algebra and motives for developing this extension, and not on mathematical rigor. The description of rotations is developed and compared with descriptions using vector and matrix algebra. The use of geometric algebra in physics is illustrated by solving an elementary problem in classical mechanics, the motion of a freely spinning axially symmetric rigid body.
A tutorial of geometric calculus is presented as a continuation of the development of geometric algebra in a previous paper. The geometric derivative is defined in a natural way that maintains the close correspondence between geometric algebra and the algebra of real numbers. The use of geometric calculus in physics is illustrated by expressing some basic results of electrodynamics.
This thesis addresses the computational and implementational aspects of geometric algebra, and shows that its mathematical promise can be made into programming reality: geometric algebra provides a modular, structured specification language for geometry whose implementations can be automatically generated, leading to an efficiency that is competitive with the (hand-) optimized code based on the traditional linear algebra approach.
Will discuss some aspects along the route from Grassmann to Cosmology via Geometric Algebra: A short introduction to Geometric Algebra and an interesting new version — Conformal Geometric Algebra (CGA). Brief advertisement for Gauge Theory Gravity, and a recent extension to scale invariance. Application of CGA to de Sitter space and a novel slightly closed universe model CGA and Bianchi models, including a non-singular Bianchi IX universe. How the Cosmic Microwave Background constrains these, and some other areas in fundamental physics.
We focus on inverse kinematics applications in computer graphics and robotics based on Conformal Geometric Algebra. Here, geometric objects like spheres and circles that are often needed in inverse kinematics algorithms are simply represented by algebraic objects. We present algorithms for the inverse kinematics of a human arm like kinematic chain and for the grasping of robots and virtual humans. The main benefits of using geometric algebra in the virtual reality software Avalon are the easy, compact and geometrically intuitive formulation of the algorithms and the immediate computation of quaternions.
This paper presents a very efficient approach for algorithms developed based on conformal geometric algebra using reconfigurable hardware. We use the inverse kinematics of the arm of a virtual human as an example, but we are convinced that this approach can be used in a wide field of computer animation applications. We describe the original algorithm on a very high geometrically intuitive level as well as the resulting optimized algorithm based on symbolic calculations of a computer algebra system. The main focus then is to demonstrate our approach for the hardware implementation of this algorithm leading to a very efficient implementation.
This paper describes a novel iterative Inverse Kinematics (IK) solver, FABRIK, that is implemented using Conformal Geometric Algebra (CGA). FABRIK uses a forward and backward iterative approach, finding each joint position via locating a point on a line. We use the IK of a human hand as an example of implementation where a constrained version of FABRIK was employed for pose tracking. The hand is modeled using CGA, taking advantage of CGA’s compact and geometrically intuitive framework and that basic entities in CGA, such as spheres, lines, planes and circles, are simply represented by algebraic objects. This approach can be used in a wide range of computer animation applications and is not limited to the specific problem discussed here. The proposed hand pose tracker is real-time implementable and exploits the advantages of CGA for applications in computer vision, graphics and robotics.
In this paper, we present an efficient method based on geometric algebra for computing the solutions to the inverse kinematics problem (IKP) of the 6R robot manipulators with offset wrist. Due to the fact that there exist some difficulties to solve the inverse kinematics problem when the kinematics equations are complex, highly nonlinear, coupled and multiple solutions in terms of these robot manipulators stated mathematically, we apply the theory of Geometric Algebra to the kinematic modeling of 6R robot manipulators simply and generate closed-form kinematics equations, reformulate the problem as a generalized eigenvalue problem with symbolic elimination technique, and then yield 16 solutions. Finally, a spray painting robot, which conforms to the type of robot manipulators, is used as an example of implementation for the effectiveness and real-time of this method.
This paper shows how the recently developed formulation of conformal geometric algebra can be used for analytic inverse kinematics of two six-link industrial manipulators with revolute joints. The paper demonstrates that the solution of the inverse kinematics in this framework relies on the intersection of geometric objects like lines, circles, planes and spheres, which provides the developer with valuable geometric intuition about the problem. It is believed that this will be very useful for new robot geometries and other mechanisms like cranes and topside drilling equipment. The paper extends previous results on inverse kinematics using conformal geometric algebra by providing consistent solutions for the joint angles for the different configurations depending on shoulder left or right, elbow up or down, and wrist flipped or not. Moreover, it is shown how to relate the solution to the Denavit-Hartenberg parameters of the robot.
The authors of this paper adopted the projected characteristics of the absolute conic in terms of the Pascal's theorem to propose an entirely new camera calibration method based on purely geometric thoughts. The use of this theorem in the geometric algebra framework allows us to compute a projective invariant using the conics of only two images which expressed using brackets helps us to set enough equations to solve the calibration problem. The method requires restricted controlled camera movements. Our method is less sensitive to noise as the Kruppa's-equation-based methods. Experiments with simulated and real images confirm that the performance of the algorithm is reliable.
(…) In this chapter we are concerned with the extension of the representation capabilities of the dual numbers, particularly using the motor algebra beside the point and line representation we are able to model the motion of planes. This widens up the possibilities for the modelling of the motion of the basic geometric objects referred to frames attached to the robot manipulator which according to the circumstances simplify the complexity of the problem preserving the underlying geometry. After giving the modelling of prismatic and revolute transformations of a robot manipulator using points, lines and planes we solve the direct and inverse kinematics of robot manipulators. Using the motion of points, lines and planes in terms of motors we present constraints for a simple grasping task. The chapter shows clearly the advantages of the use of representations in motor algebra for solving problems related to robot manipulators.
Controlling the pose of a manipulator involves finding the correct configuration of the robot’s elements to move the end effector to a desired position and orientation. In order to find the geometric relationships between the elements of a robot manipulator, it is necessary to define the kinematics of the robot. We present a synthesis of the kinematical model of the pose for this type of robot using the conformal geometric algebra framework. In addition, two controllers are developed, one for the position tracking problem and another for the orientation tracking problem, both using an error feedback controller. The stability analysis is carried out for both controllers, and their application to a 6-DOF serial manipulator and the legs of a biped robot are presented. By proposing the error feedback and Lyapunov functions in terms of geometric algebra, we are opening a new venue of research in control of manipulators and robot legs that involves the use of geometric primitives, such as lines, circles, planes, spheres.
Conformal geometric algebra is a powerful tool to find geometrically intuitive solutions. We present an approach for the combination of compact and elegant algorithms with the generation of very efficient code based on two different optimization approaches with different advantages, one is based on Maple, the other one is based on the code generator Gaigen 2. With these results, we are convinced that conformal geometric algebra will be able to become fruitful in a great variety of applications in Computer Graphics.
We present the design of a Clifford algebra co-processor and its implementation on a Field Programmable Gate Array (FPGA). To the best of our knowledge this is the first such design developed. The design is scalable in both the Clifford algebra dimension and the bit width of the numerical factors. Both aspects are only limited by the hardware resources. Furthermore, the signature of the underlying vector space can be changed without reconfiguring the FPGA. High calculation speeds are achieved through a pipeline architecture.
This paper describes advancement in color edge detection, using a dedicated Geometric Algebra (GA) co-processor implemented on an Application Specific Integrated Circuit (ASIC). GA provides a rich set of geometric operations, giving the advantage that many signal and image processing operations become straightforward and the algorithms intuitive to design. The use of GA allows images to be represented with the three R, G, B color channels defined as a single entity, rather than separate quantities. A novel custom ASIC is proposed and fabricated that directly targets GA operations and results in significant performance improvement for color edge detection.
We present Gaalop (Geometric algebra algorithms optimizer), our tool for high performance computing based on conformal geometric algebra. The main goal of Gaalop is to realize implementations that are most likely faster than conventional solutions. In order to achieve this goal, our focus is on parallel target platforms like FPGA (field-programmable gate arrays) or the CUDA technology from NVIDIA. We describe the concepts, the current status, as well as the future perspectives of Gaalop dealing with optimized software implementations, hardware implementations as well as mixed solutions. An inverse kinematics algorithm of a humanoid robot is described as an example.
From a programmer's perspective, the integration of GA directly into C++, OpenCL, and CUDA, yields a high level of intuitiveness. Coupled with a highly efficient generative software tool like Gaalop in the background, an integration sets new standards to GA-powered software development. An advanced integration itself including other comforts, and to make GA-usage available to a broad audience, is the purpose of this work.
Applied Geometric Algebra in Computer Science and Engineering, July 29-31, 2015 Barcelona, Spain.
Geometric Algebra (GA), a generalization of quaternions and complex numbers, is a very powerful framework for intuitively expressing and manipulating the complex geometric relationships common to engineering problems. However, actual processing of GA expressions is very compute intensive, and acceleration is generally required for practical use. GPUs and FPGAs offer such acceleration, while requiring only low-power per operation. In this paper, we present key components of a proof-of-concept compile flow combining symbolic and hardware optimization techniques to automatically generate hardware accelerators from the abstract GA descriptions that are suitable for high-performance embedded computing.
This paper is an extension of earlier work, in which the current authors investigated complexity reductions for a number of combinatorial and graph-theoretic problems. (…) Given a computing architecture based on Clifford algebras, the natural context for determining an algorithm's time complexity is in terms of the number of geometric (Clifford) operations required. This paper assumes the existence of such a processor and examines a number of combinatorial problems known to be of NP time complexity.
(…) a new circuit analysis approach is developed using geometric algebra. In a new domain – coined as the GN domain – multivectors describe circuit and power quantities, circuit quantities obey Kirchhoff’s circuit laws, it is possible to apply the superposition principle and a better sense of the flow of currents and powers in the examined circuits is shown. The power multivector results from the geometric product of the voltage and current multivectors. The power multivector allows a decomposition that accounts for the total active and non-active power, involves the well-known power terms of the sinusoidal case – reactive and active average power – and two new terms: degrading power and reactive power due to harmonic interactions.
Geometric Algebra (GA) is a new formulation of Clifford Algebra that includes vector analysis without notation changes. Most applications of GA have been in theoretical physics, but GA is also a very good analysis tool for engineering. As an example, we use GA to study pattern rotation in optical systems with multiple mirror reflections. The common ways to analyze pattern rotations are to use rotation matrices or optical ray trace codes, but these are often inconvenient. We use GA to develop a simple expression for pattern rotation that is useful for designing or tolerancing pattern rotations in a multiple mirror optical system by inspection.
This paper presents an approach for detecting geometric objects in a point cloud from a depth image. The methods in the approach are described and implemented in Conformal Geometric Algebra, resulting in more general, elegant and powerful methods.
New foundations for geometric algebra are proposed based upon the existing isomorphisms between geometric and matrix algebras. Each geometric algebra always has a faithful real matrix representation with a periodicity of 8. On the other hand, each matrix algebra is always embedded in a geometric algebra of a convenient dimension. The geometric product is also isomorphic to the matrix product, and many vector transformations such as rotations, axial symmetries and Lorentz transformations can be written in a form isomorphic to a similarity transformation of matrices.
This paper uses Geometric Algebra (GA) to study vector aberrations in optical systems with square and round pupils. GA is a new way to produce the classical optical aberration spot diagrams on the Gaussian image plane and surfaces near the Gaussian image plane. Spot diagrams of the third, fifth and seventh order aberrations for square and round pupils are developed to illustrate the theory.
Over the last 100 years, the mathematical tools employed by physicists have expanded considerably, from differential calculus, vector algebra and geometry, to advanced linear algebra, tensors, Hilbert space, spinors, Group theory and many others. These sophisticated tools provide powerful machinery for describing the physical world, however, their physical interpretation is often not intuitive. These course notes represent Prof. Tisza's attempt at bringing conceptual clarity and unity to the application and interpretation of these advanced mathematical tools. In particular, there is an emphasis on the unifying role that Group theory plays in classical, relativistic, and quantum physics.
We present an axiomatic development of geometric algebra. One may think of a geometric algebra as allowing one to add and multiply subspaces of a vector space. Properties of the geometric product are proven and derived products called the wedge and contraction product are introduced. Linear algebraic and geometric concepts such as linear independence and orthogonality may be expressed through the above derived products. Some examples with geometric algebra are then given.
A Workshop at the AAPT Winter Meeting in Austin, Texas, January 12, 2003, organized in cooperation with David Hestenes.
Clifford's geometric algebra is a powerful language for physics that clearly describes the geometric symmetries of both physical space and spacetime. Some of the power of the algebra arises from its natural spinorial formulation of rotations and Lorentz transformations in classical physics. This formulation brings important quantum-like tools to classical physics and helps break down the classical/quantum interface. It also unites Newtonian mechanics, relativity, quantum theory, and other areas of physics in a single formalism and language. This lecture is an introduction and sampling of a few of the important applications in physics.
How is it that complex numbers, involving the imaginary i=√-1 play such an important role in physics, which always measures real quantities? An answer can be given in the framework of the vector algebra of three-dimensional space, in which an associative, invertible product of vectors is defined. In this mathematical structure, also known as the Pauli algebra, i arises naturally and carries geometrical significance. In particular, i enters as the unit volume element, and imaginary vectors are pseudovectors which represent planes, such as planes of rotation or reflection. The i from the vector algebra is related to common applications of imaginary numbers in physics, including rotations in a plane, electromagnetic waves, and phase factors and operator relations in quantum mechanics. Moreover, the same algebra of real three-dimensional vectors which yields complex numbers also forms the basis for a complex four-dimensional space with the Minkowski metric and provides a natural formalism for compact, covariant treatments of relativistic phenomena.
The octonions are the largest of the four normed division algebras. While somewhat neglected due to their nonassociativity, they stand at the crossroads of many interesting fields of mathematics. Here we describe them and their relation to Clifford algebras and spinors, Bott periodicity, projective and Lorentzian geometry, Jordan algebras, and the exceptional Lie groups. We also touch upon their applications in quantum logic, special relativity and supersymmetry.
We will do some truly anarchistic computations in basic geometry. We will make these anarchistic computations a part of the establishment. Using the establishment, we will show some quite charming ways of thinking about basic geometry.
This thesis investigates the emerging field of Conformal Geometric Algebra (CGA) as a new basis for a CG framework. Computer Graphics is, fundamentally, a particular application of geometry. From a practical standpoint many of the low-level problems to do with rasterising triangles and projecting a three-dimensional world onto a computer screen have been solved and hardware especially designed for this task is available.
In this article we propose a method for estimating the camera motion from a video-sequence acquired in the presence of general 3D structures. Solutions to this problem are commonly based on the tracking of point-like features, as they usually back-project onto viewpoint-invariant 3D features. In order to improve the robustness, the accuracy and the generality of the approach, we are interested in tracking and using a wider class of structures. In addition to points, in fact, we also simultaneously consider lines and planes. In order to be able to work on all such structures with a compact and unified formalism, we use here the Conformal Model of Geometric Algebra, which proved very powerful and flexible.
This article explores the use of geometric algebra in linear and multilinear algebra, and in affine, projective and conformal geometries. Our principal objective is to show how the rich algebraic tools of geometric algebra are fully compatible with, and augment the more traditional tools of matrix algebra. The novel concept of an h-twistor makes possible a simple new proof of the striking relationship between conformal transformations in a pseudoeuclidean space to isometries in a pseudoeuclidean space of two higher dimensions. The utility of the h-twistor concept, which is a generalization of the idea of a Penrose twistor to a pseudoeuclidean space of arbitrary signature, is amply demonstrated in a new treatment of the Schwarzian derivative.
We present a formulation of electromagnetism in vacuum and in the presence of an arbitrary gravitational field, based on Clifford analysis over a pseudo-Riemannian space with signature (1,3). We show that it is possible to solve the direct electromagnetic radiation problem in four dimensional form, without invoking electromagnetic potentials and solely by analytical means. Our method reveals that the full electromagnetic field can be completely expressed in terms of a particular solution of the underlying scalar wave equation, so that calculating the customary Green's dyadic is superfluous.
There are a wide variety of different vector formalisms currently utilized in engineering and physics. For example, Gibbs' three-vectors, Minkowski four-vectors, complex spinors in quantum mechanics, and quaternions used to describe rigid body rotations and vectors defined in Clifford geometric algebra. With such a range of vector formalisms in use, it thus appears that there is as yet no general agreement on a vector formalism suitable for science as a whole. This is surprising, in that, one of the primary goals of 19th century science was to suitably describe vectors in 3-D space. This situation also has the unfortunate consequence of fragmenting knowledge across many disciplines, and requiring a significant amount of time and effort in learning the various formalisms. We thus historically review the development of our various vector systems and conclude that Clifford's multivectors best fulfills the goal of describing vectorial quantities in three dimensions and providing a unified vector system for science.
Mathematical representations of physical variables and operators are of primary importance in developing a theory – the relationship among different relevant quantities of any physical process. A thorough account of the representations of different classes of physical variables is drawn up with a brief discussion of various related mathematical systems including quaternion and spinor. The present study would facilitate an introduction to the 'geometric algebra', which provides an immensely productive unification of these systems and promises more.
This document introduces a new class of adaptive filters, namely Geometric-Algebra Adaptive Filters (GAAFs). Those are generated by formulating the underlying minimization problem (a least-squares cost function) from the perspective of Geometric Algebra (GA), a comprehensive mathematical language well-suited for the description of geometric transformations. Also, differently from the usual linear-algebra approach, Geometric Calculus (the extension of Geometric Algebra to differential calculus) allows to apply the same derivation techniques regardless of the type (subalgebra) of the data, i.e., real, complex-numbers, quaternions etc. Exploiting those characteristics (among others), a general least-squares cost function is posed, from which the GAAFs are designed.
El presente artículo habla sobre una comparativa entre varios modelados robóticos, lo anterior ya que se ha comprobado que existen distintas y muy variadas técnicas para modelar sistemas robóticos en la literatura, por lo cual en este texto se ilustran algunos modelados para mostrar ventajas y desventajas de cada uno de ellos. Por un lado se exhibe el modelado clásico por medio de matrices homogéneas, y por otro un modelado diferente a lo usual, el cual es denominado utilizando Algebra Geométrica Conformal.
Clifford algebras constitute an essential tool in the study of quadratic forms. However, for infinite dimensional problems, it seems often natural to ask for some extra topological structure on these algebras. The present note studies such structures on an example which is the analogue for Hilbert spaces of arbitrary dimension of the standard algebras Cl^k for finite dimensional real vector spaces (the C_k's of Atiyah-Bott-Shapiro).
In this paper we combine methods from projective geometry, Klein's model, and Clifford algebra. We develop a Clifford algebra whose Pin group is a double cover of the group of regular projective transformations. The Clifford algebra we use is constructed as homogeneous model for the five-dimensional real projective space P^5(R) where Klein's quadric M^4_2 defines the quadratic form. We discuss all entities that can be represented naturally in this homogeneous Clifford algebra model.
This work presents a novel method for haptic rendering contact force and surface properties for virtual objects using the Conformal Geometric Algebra orthogonal decomposition approach. The mathematical representation of geometric primitives along with collision algorithms based on its mathematical properties is presented. The orthogonal decomposition of contact and interaction forces is achieved using the same framework and dynamic properties in both subspaces are rendered simultaneously. Comparing with vector calculus, the Conformal Geometric Algebra (CGA) approach provides an easier and more intuitive way to deal with haptic rendering problems due to its inner properties and a simpler representation of geometric objects and linear transformation. The results of the evaluation of the method using a 3 DOF haptic device are presented.
We sketch the outlines of Gian Carlo Rota's interaction with the ideas that Hermann Grassmann developed in his Ausdehnungslehre of 1844 and 1862, as adapted and explained by Giuseppe Peano in 1888. This leads us past what Rota variously called 'Grassmann-Cayley algebra', or 'Peano spaces', to the Whitney algebra of a matroid, and finally to a resolution of the question “What, really, was Grassmann's regressive product?”. This final question is the subject of ongoing joint work with Andrea Brini, Francesco Regonati, and William Schmitt.
The formal language of Clifford's algebras is attracting an increasingly large community of mathematicians, physicists and software developers seduced by the conciseness and the efficiency of this compelling system of mathematics. This contribution will suggest how these concepts can be used to serve the purpose of scientific visualization and more specifically to reveal the general structure of complex vector fields. We will emphasize the elegance and the ubiquitous nature of the geometric algebra approach, as well as point out the computational issues at stake.
Geometric algebra is introduced as a general tool for Celestial Mechanics. A general method for handling finite rotations and rotational kinematics is presented. The constants of Kepler motion are derived and manipulated in a new way. A new spinor formulation of perturbation theory is developed.
(…) As an alternative to a planar Minkowski space-time of two space dimensions and one time dimension, we replace the unit imaginary i, with the Clifford bivector i = e_1 e_2 for the plane that also squares to minus one, but which can be included without the addition of an extra dimension, as it is an integral part of the real Cartesian plane with the orthonormal basis e1 and e2. We find that with this model of planar spacetime, using a two dimensional Clifford multivector, the spacetime metric and the Lorentz transformations follow immediately as properties of the algebra. This also leads to momentum and energy being represented as components of a multivector and we give a new efficient derivation of Compton's scattering formula, and a simple formulation of Dirac's and Maxwell's equations. Based on the mathematical structure of the multivector, we produce a semi-classical model of massive particles, which can then be viewed as the origin of the Minkowski spacetime structure and thus a deeper explanation for relativistic effects. We also find a new perspective on the nature of time, which is now given a precise mathematical definition as the bivector of the plane.
Clifford's 'geometric algebra' is presented as the natural language for expressing geometrical ideas in mathematical physics. Its spacetime version 'spacetime algebra' is introduced and is shown to provide a powerful, invariant description of relativistic physics. Applications to electromagnetism and gravitation are discussed.
We study the optimization of neural networks with Clifford geometric algebra versor and spinor nodes. For that purpose important multivector calculus results are introduced. Such nodes are generalizations of real, complex and quaternion spinor nodes. In particular we consider nodes that can learn all proper and improper Euclidean transformations with so-called conformal versors. Thus a single node can correctly compute full 3D screws and rotoinversions with off-origin axis and off-origin points of inversion. The latter is a unique property of our proposed versor neuron. Computing inversions by ordinary real-valued networks is not easily possible due to its nonlinear nature. Simulation on learning inversions illustrating these facts are provided in the paper.
In this short pedagogical presentation, we introduce the spin groups and the spinors from the point of view of group theory. We also present, independently, the construction of the low dimensional Clifford algebras. And we establish the link between the two approaches. Finally, we give some notions of the generalisations to arbitrary spacetimes, by the introduction of the spin and spinor bundles.
In this work, geometric algebra has been applied to construct a general yet practical way to obtain molecular vibration-rotation kinetic energy operators, and related quantities, such as Jacobians. (…) The methods of geometric algebra are applied with good success to the description of the large amplitude inversion vibration of ammonia.
We explore the consequences of space and time described within the Clifford multivector of three dimensions Cl(3,0), where space consists of three-vectors and time is described with the three bivectors of this space. When describing the curvature around massive bodies, we show that this model of spacetime when including the Hubble expansion naturally produces the correct galaxy rotation curves without the need for dark matter.
As is well known, the common elementary functions defined over the real numbers can be generalized to act not only over the complex number field but also over the skew (non-commuting) field of the quaternions. In this paper, we detail a number of elementary functions extended to act over the skew field of Clifford multivectors, in both two and three dimensions. Complex numbers, quaternions and Cartesian vectors can be described by the various components within a Clifford multivector and from our results we are able to demonstrate new inter-relationships between these algebraic systems.
The proper description of time remains a key unsolved problem in science. (…) In order to answer this question we begin by exploring the geometric properties of three-dimensional space that we model using Clifford geometric algebra, which is found to contain sufficient complexity to provide a natural description of spacetime. This description using Clifford algebra is found to provide a natural alternative to the Minkowski formulation as well as providing new insights into the nature of time. Our main result is that time is the scalar component of a Clifford space and can be viewed as an intrinsic geometric property of three-dimensional space without the need for the specific addition of a fourth dimension.
We solve the Dirac equation for a free electron in a manner similar to Toyoki Koga, but using the geometric theory of Clifford algebras which was initiated by David Hestenes. Our solution exhibits a spinning field, among other things.
It is known that Clifford (geometric) algebra offers a geometric interpretation for square roots of −1 in the form of blades that square to minus 1. This extends to a geometric interpretation of quaternions as the side face bivectors of a unit cube. (…) We now extend this research to general algebras Cl(p,q). We fully derive the geometric roots of −1 for the Clifford (geometric) algebras with p + q ⇐ 4.
This paper discusses about Clifford Algebra and its significance in a color image representation. A color image following RGB color model is described by a multivector in 3D space. The color blades in the multivector define the colors. Different shades of color can be obtained by applying rotor operator on those blades. Clifford color space is introduced to define each color against a pixel of an image in form of a color blade. A multivector function is derived from this space for explaining the color image. In simpler way, it is proposed that a color image is stored in the Clifford color space. This paper is also useful in the reduction of computation time for color image processing as every Grade–k vectors are colors.
Post-processing in computational fluid dynamics as well as processing of fluid flow measurements needs robust methods that can deal with scalar as well as vector fields. While image processing of scalar data is a well-established discipline, there is a lack of similar methods for vector data. This paper surveys a particular approach defining convolution operators on vector fields using geometric algebra. This includes a corresponding Clifford Fourier transform including a convolution theorem. Finally, a comparison is tried with related approaches for a Fourier transform of spatial vector or multivector data.
(…) Clifford convolution is a unified notation for the convolution of scalar and vector fields. It has nice geometric properties which were used for pattern matching on vector fields. In image processing, convolution and Fourier transform are closely connected by the convolution theorem. In this paper, we extend the Fourier transform to general elements of the Clifford Algebra, called multivectors, which include scalars and vectors. The resulting convolution theorems for the Clifford convolution and the derivation theorems are extensions of the theorems for convolution and Fourier transform on scalar fields. The Clifford Fourier transform allows a frequency analysis of vector fields and of the behavior of vector valued filters. In frequency space, vectors are transformed into general mulitvectors of the Clifford Algebra. Many basic vector valued pattern such as source, sink, saddle points and potential vortices can be described by a few multivectors in frequency space.
The purpose of this paper is to draw the attention of philosophers and others interested in the applicability of mathematics to a quiet revolution that is taking place around the theory of vectors and their application.
We present a comprehensive introduction to spacetime algebra that emphasizes its practicality and power as a tool for the study of electromagnetism. We carefully develop this natural (Clifford) algebra of the Minkowski spacetime geometry, with a particular focus on its intrinsic (and often overlooked) complex structure. Notably, the scalar imaginary that appears throughout the electromagnetic theory properly corresponds to the unit 4-volume of spacetime itself, and thus has physical meaning. The electric and magnetic fields are combined into a single complex and frame-independent bivector field, which generalizes the Riemann-Silberstein complex vector that has recently resurfaced in studies of the single photon wave function.
Presentations at the Game Developers Conference (GDC).
In this paper the dynamics of rigid bodies is recast into a Clifford algebra formalism. Specifically, the algebra Cl(0,6,2), is used and it is shown how velocities, momenta and inertias can be represented by elements of this algebra. The equations of motion for a rigid body are simply derived by differentiating the momentum of the body.
This paper presents a method of interpolating between two or more general displacements (rotation and translation). The resulting interpolated path is smooth and possesses a number of desirable properties. It differs from existing algorithms which require factorising the pose into separate rotation and translation components and is derived from an intuitively appealing framework – i.e. a natural extension of the standard interpolation scheme for pure rotations. The mathematical framework used for the derivation is that of geometric algebra. While this paper presents the theory behind the interpolation and its description as a tool, we also outline the possible advantages of using this technique for vision and graphics applications.
This thesis arose out of a desire to understand and simulate rigid body motion in 2- and 3-dimensional spaces of constant curvature. The results are arranged in a theoretical part and a practical part. The theoretical part first constructs necessary tools — a family of real projective Clifford algebras — which represent the geometric relations within the above mentioned spaces with remarkable fidelity. These tools are then applied to represent kinematics and rigid body dynamics in these spaces, yielding a complete description of rigid body motion there. The practical part describes simulation and visualization results based on this theory.
We attach the degenerate signature (n, 0, 1) to the projectivized dual Grassmann algebra P(/\R^(n+1)*) to obtain the Clifford algebra P(R^*_n,0,1) and explore its use as a model for euclidean geometry. We avoid problems with the degenerate metric by constructing an algebra isomorphism J between the Grassmann algebra and its dual that yields non-metric meet and join operators. We focus on the cases of n = 2 and n = 3 in detail, enumerating the geometric products between k- and l-blades. We establish that sandwich operators of the form X→gX~g provide all euclidean isometries, both direct and indirect. We locate the spin group, a double cover of the direct euclidean group, inside the even subalgebra of the Clifford algebra, and provide a simple algorithm for calculating the logarithm of such elements. We conclude with an elementary account of euclidean rigid body motion within this framework.
Geometric algebras (also called Clifford algebras) are used to endow physical spaces with a useful algebraic structure. By analyzing the physical system within this context, we can find alternate interpretations of the underlying physics. These can simplify computational problems in addition to giving us much more compact and clean notation. In most cases the results can be expressed in a coordinate free way, introducing an appropriate coordinate system only when necessary.
In this paper we present a novel method for nonlinear rigid body motion estimation from noisy data using heterogeneous sets of objects of the conformal model in geometric algebra. The rigid body motions are represented by motors. We employ state-of-the-art nonlinear optimization tools and compute gradients and Jacobian matrices using forward-mode automatic differentiation based on dual numbers. The use of automatic differentiation enables us to employ a wide range of cost functions in the estimation process. This includes cost functions for motor estimation using points, lines and planes. Moreover, we explain how these cost functions make it possible to use other geometric objects in the conformal model in the motor estimation process, e.g., spheres, circles and tangent vectors.
The most widespread approach to anisotropic media is dyadic analysis. However, to get a geometrical picture of a dielectric tensor, one has to resort to a coordinate system for a matrix form in order to obtain, for example, the index-ellipsoid, thereby obnubilating the deeper coordinate-free meaning of anisotropy itself. To overcome these shortcomings we present a novel approach to anisotropy: using geometric algebra we introduce a direct geometrical interpretation without the intervention of any coordinate system. By applying this new approach to biaxial crystals we show the effectiveness and insight that geometric algebra can bring to the optics of anisotropic media.
There are many minerals whose structure is well described as a framework of linked SiO4 tetrahedra. Since the energy cost of stretching the Si–O bond is much greater than the cost of changing the bridging Si–O–Si bond angle, these structures may to a first approximation be analysed using the rigid-unit picture, in which the polyhedra are treated as completely rigid. In order to compare the predictions of rigid-unit theory with the results of other forms of simulation, we wish to determine how well a given set of atomic motions can be described in terms of rigid-unit motion. We present a set of techniques for finding the polyhedral rotations that most closely fit a given set of atomic motions, and for quantifying the residual distortion of the polyhedra. The formalism of geometric (Clifford) algebra proved very convenient for handling arbitrary rotations, and we use this formalism in our rotor-fitting analysis.
In this paper, a new algorithm for the forward displacement analysis of a general 6-3 Stewart platform (6-3SPS) based on conformal geometric algebra (CGA) is presented. First, a 6-3SPS structure is changed into an equivalent 2RPS-2SPS structure. Then, two kinematic constraint equations are established based on the geometric characteristics, one of which is built according to the point characteristic four-ball intersection in CGA. A 16th-degree univariate polynomial equation is derived from the aforementioned two equations by the Sylvester resultant elimination. Finally, a numerical example is given to verify the algorithm.
Spin is a fundamental degree of freedom of matter and radiation.In quantum theory, spin is represented by Pauli matrices. Then the various algebraic properties of Pauli matrices are studied as properties of matrix algebra. What has been shown in this article is that Pauli matrices are a representation of Clifford algebra of spin and hence all the properties of Pauli matrices follow from the underlying algebra.
Last time that I met Walter Thirring, in his twilight years, we exchanged a few letters and papers, and spoke about fermion fields, space-time spinors and the incorrigible refutations of Relativity Theory. He said to me that, mathematically, some peculiar local transitions between Euclidean Space and Minkowski Space would not contradict Relativity Theory. He associated these events with the phenomenon of Emergent time. According to his experience, these events seemed possible. I investigated and elaborated his idea by the aid of algebra. I found that, provided a geometric algebra isomorphism can be thought as physically relevant, and assuming phenomena of emergent time, there would exist surprising transitions between rather different Clifford algebras Cl(3,1) and Cl(4,0), one generated by Minkowski space R^3,1 and the other by Euclidean R^4.
Due to the variable curvature of the conformal carrier, the pattern of each element has a different direction. The traditional method of analyzing the conformal array is to use the Euler rotation angle and its matrix representation. However, it is computationally demanding especially for irregular array structures. In this paper, we present a novel algorithm by combining the geometric algebra with Multiple Signal Classification (MUSIC), termed as GA-MUSIC, to solve the direction of arrival (DOA) for cylindrical conformal array. And on this basis, we derive the pattern and array manifold. Compared with the existing algorithms, our proposed one avoids the cumbersome matrix transformations and largely decreases the computational complexity. The simulation results verify the effectiveness of the proposed method.
A simple algebra is shown to contain automatically the leptons and quarks of a generic generation of the Standard Model, and the electromagnetic and color gauge symmetries. The algebra is just the Clifford algebra of a complex six-dimensional vector space endowed with a preferred Witt decomposition. Its ideals determined by the Witt decomposition correspond naturally to leptons and quarks. It is shown that the algebra is invariant to the electromagnetic and color symmetries, which are generated by its spinors. The weak symmetry is also present already in its broken form, but this part is still under development. The Dirac algebra is obtained as a distinguished subalgebra acting on the ideals representing leptons and quarks.
(…) a new circuit analysis approach using geometric algebra is used to develop the most general proof of energy conservation in industrial building loads. In terms of geometric objects, this powerful tool calculates the voltage, current, and apparent power in electrical systems in non-sinusoidal, linear/nonlinear situations. In contrast to the traditional method developed by Steinmetz, the suggested powerful tool extends the concept of phasor to multivector-phasors and is performed in a new Generalized Complex Geometric Algebra structure (CGn), where Gn is the Clifford algebra in n-dimensional real space and C is the complex vector space.
As reflections are an elementary part of model construction in physics, we really should look for a mathematical picture which allows for a very general description of reflections. The sandwich product delivers such a picture. Using the mathematical language of Geometric Algebra, reflections at vectors of arbitrary dimensions and reflections at multivectors (i.e. at linear combinations of vectors of arbitrary dimensions) can be described mathematically in an astonishingly coherent picture.
This paper briefly reviews the conventional method of obtaining the canonical form of an antisymmetric (skewsymmetric, alternating) matrix. Conventionally a vector space over the complex field has to be introduced. After a short introduction to the universal mathematical “language” Geometric Calculus, its fundamentals, i.e. its “grammar” Geometric Algebra (Clifford Algebra) is explained. This lays the groundwork for its real geometric and coordinate free application in order to obtain the canonical form of an antisymmetric matrix in terms of a bivector, which is isomorphic to the conventional canonical form. Then concrete applications to two, three and four dimensional antisymmetric square matrices follow. Because of the physical importance of the Minkowski metric, the canonical form of an antisymmetric matrix with respect to the Minkowski metric is derived as well. A final application to electromagnetic fields concludes the work.
A wave equation with mass term is studied for all fermionic particles and antiparticles of the first generation: electron and its neutrino, positron and antineutrino, quarks u and d with three states of color and antiquarks u' and d'. This wave equation is form invariant under the Cl*_3 group generalizing the relativistic invariance. It is gauge invariant under the U(1)*SU(2)*SU(3) group of the standard model of quantum physics. The wave is a function of space and time with value in the Clifford algebra Cl_1,5. Then many features of the standard model, charge conjugation, color, left waves, and Lagrangian formalism, are obtained in the frame of the first quantization.
Three Clifford algebras are sufficient to describe all interactions of modern physics: The Clifford algebra of the usual space is enough to describe all aspects of electromagnetism, including the quantum wave of the electron. The Clifford algebra of space-time is enough for electro-weak interactions. To get the gauge group of the standard model, with electro-weak and strong interactions, a third algebra is sufficient, with only two more dimensions of space. The Clifford algebra of space allows us to include also gravitation. We discuss the advantages of our approach.
For the unification of gravitation with electromagnetism, weak and strong interactions, we use a unique and very simple framework, the Clifford algebra of space Cl_3 = M_2(C). We enlarge our previous wave equation to the general case, including all leptons, quarks and antiparticles of the first generation. The wave equation is a generalization of the Dirac equation with a compulsory non-linear mass term. This equation is form invariant under the Cl_3^∗ group of the invertible elements in the space algebra. The form invariance is fully compatible with the U(1)*SU(2)*SU(3) gauge invariance of the standard model.
We continue the study of the Standard Model of Quantum Physics in the Clifford algebra of space. We get simplified mass terms for the fermion part of the wave. We insert the simplified equations in the frame of General Relativity. We construct the electromagnetic field of the photon, alone boson without proper mass. We explain how the Pauli principle comes from the equivalence principle of General Relativity. We transpose in the frame of the algebra of space the second quantification of the electromagnetic field. We discuss the changes introduced here.
A primitive shape detection algorithm is implemented in a C++ based software. The algorithm is implemented for planes, spheres and cylinders. Results show that the algorithm is able to detect the shapes in data sets containing up to 90% outliers. Furthermore, a real-time tracking algorithm based on the primitive shape detection algorithm is implemented to track primitives in a real-time data stream from a 3D camera. The run-time of the tracking algorithm is well below the required rate for a 60 frames per second data stream. A multiple shape detection algorithm is also developed. The goal is to detect multiple shapes in a point cloud with a single run of the algorithm. The algorithm is implemented for spheres and results show that multiple spheres can be successfully detected in a point cloud. The accuracy and efficiency of the algorithms is demonstrated in a robotic pick-and-place task.
This article provides a summary, without proofs, of the fundamental algebraic concepts and operations of GA. After this, the article contains an explanation of how to transform high-level mathematical GA products and algebraic operations into equivalent lower-level computations on multivector coordinates. The aim is to provide a computational basis for implementing compilers that can automatically perform such conversion for the purpose of efficient software implementations of GA-based models and algorithms.
El problema de contorno de Riemann para funciones analíticas en el plano complejo es bien conocido, en el presente artículo nosotros consideramos una versión de éste en dimensiones superiores. El objetivo de este texto es ofrecer un informe moderno en el estudio del problema de Riemann en el sentido del análisis de Clifford en dominios con fronteras geométricamente complicadas. Es posible transferir, de una manera conveniente, las ideas principales para el problema tres-dimensional al caso de altas dimensiones. La herramienta principal utilizada es considerar la integración sobre las fronteras de los dominios respecto de la medida de Hausdorff.
Una panorámica de los tópicos principales y herramientas básicas del Análisis de Clifford se presenta en este artículo, al mismo tiempo, las principales fórmulas integrales relacionadas con la integral tipo Cauchy — y su versión singular — son analizadas en un contexto multidimensional, con el uso de las técnicas de álgebras de Clifford. Se incluyen también algunas notas históricas sobre el desarrollo de este campo de investigación.
In this paper we show how to improve the performance of two self-organizing neural networks used to approximate the shape of a 2D or 3D object by incorporating gradient information in the adaptation stage. The methods are based on the growing versions of the Kohonen's map and the neural gas network. Also, we show that in the adaptation stage the network utilizes efficient transformations, expressed as versors in the conformal geometric algebra framework, which build the shape of the object independent of its position in space (coordinate free).
In this paper the authors propose geometric techniques to deal with the problem of grasping objects relying on their mathematical models. For that we use the geometric algebra framework to formulate the kinematics of a three finger robotic hand. Our main objective is by formulating a kinematic control law to close the loop between perception and actions. This allows us to perform a smooth visually guided object grasping action.
This paper uses geometric algebra to formulate, in a single framework, the kinematics of a three finger robotic hand, a binocular robotic head, and the interactions between 3D objects, all of which are seen in stereo images. The main objective is the formulation of a kinematic control law to close the loop between perception and actions, which allows to perform a smooth visually guided object manipulation.
This paper defines a nonactive power multivector from the most advanced multivectorial power theory based on the geometric algebra (GA). The new concept can have more importance on harmonic loads compensation, identification, and metering, between other applications. Likewise, this paper is concerned with a pioneering method for the compensation of disturbing loads. In this way, we propose a multivectorial relative quality index associated with the power multivector. It can be assumed as a new index for power quality evaluation, harmonic sources detection, and power factor improvement in residential and commercial buildings.
A three-dimensional multimodality medical image registration method using geometric invariant based on conformal geometric algebra (CGA) theory is put forward for responding to challenges resulting from many free degrees and computational burdens with 3D medical image registration problems. The mathematical model and calculation method of dual-vector projection invariant are established using the distribution characteristics of point cloud data and the point-to-plane distance-based measurement in CGA space. The translation operator and geometric rotation operator during registration operation are built in Clifford algebra (CA) space.
We study “constrained generalized Killing (s)pinors,” which characterize supersymmetric flux compactifications of supergravity theories. Using geometric algebra techniques, we give conceptually clear and computationally effective methods for translating supersymmetry conditions into differential and algebraic constraints on collections of differential forms. In particular, we give a synthetic description of Fierz identities, which are an important ingredient of such problems.
In this study, we propose algorithms based on Conformal Geometric Algebra to determine the spatial relationships between geographic objects in a unified manner. The unified representation and intersection computation can be realized for geometric objects of different dimensions. Different basic judgment rules are provided for different simple geometries. The algorithms are designed and implemented using MapReduce to improve the efficiency of the algorithms.
We introduce Szegő projections for Hardy spaces of monogenic functions defined on a bounded domain Ω in R^n. We use such projections to obtain explicit orthogonal decompositions for L^2(bΩ). As an application, we obtain an explicit representation of the solution of the Dirichlet problem for balls and half spaces with L^2, Clifford algebra-valued, boundary datum.
A new method for constructing Clifford algebra-valued orthogonal polynomials in the open unit ball of Euclidean space is presented. In earlier research, we only dealt with scalar-valued weight functions. Now the class of weight functions involved is enlarged to encompass Clifford algebra-valued functions. The method consists in transforming the orthogonality relation on the open unit ball into an orthogonality relation on the real axis by means of the so-called Clifford-Heaviside functions. Consequently, appropriate orthogonal polynomials on the real axis give rise to Clifford algebra-valued orthogonal polynomials in the unit ball.
We mainly deal with the boundary value problem for triharmonic function with value in a universal Clifford algebra.
It is well known that the Clifford algebra Cl(p,q) associated to a nondegenerate quadratic form on R^n(n=p+q) is isomorphic to a matrix algebra K(m) or direct sum K(m)⊕K(m) of matrix algebras, where K=R,C,H. On the other hand, there are no explicit expressions for these isomorphisms in literature. In this work, we give a method for the explicit construction of these isomorphisms.
The theory of representations of Clifford algebras is extended to employ the division algebra of the octonions or Cayley numbers. In particular, questions that arise from the non-associativity and non-commutativity of this division algebra are answered. Octonionic representations for Clifford algebras lead to a notion of octonionic spinors and are used to give octonionic representations of the respective orthogonal groups. Finally, the triality automorphisms are shown to exhibit a manifest Sigma_3 x SO(8) structure in this framework.
Underlied by Clifford algebra of differential forms — like tangent Clifford algebra underlies the geometric calculus — it brings about a fresh new view of quantum mechanics. This view arises, almost without effort, from the equation which is in Kähler Calculus what the Dirac equation is in traditional quantum mechanics.
Beginning with a finite-dimensional vector space V equipped with a nondegenerate quadratic form Q, we consider the decompositions of elements of the conformal orthogonal group CO_Q(V), defined as the direct product of the orthogonal group O_Q(V) with dilations. Utilizing the correspondence between conformal orthogonal group elements and “decomposable” elements of the associated Clifford algebra, Cl_Q(V), a decomposition algorithm is developed.
This paper investigates a universal creative system. Originally, this was referred to by its creator as an autonomic string manipulation system. Forty years ago, it was capable of such important operations as tetracoding (TTC) and binary basic intellector processing (BIP). After going deeper into the set of possible transformations, in both a sequential and a parallel manner, Joel Isaacson and Louis Kauffman had brought this down to the essential action of Recursive Distinctioning (RD).
Even though it has been almost a century since quantum mechanics planted roots, the field has its share of unresolved problems. It could be the result of a wrong mathematical structure providing inadequate understanding of the quantum phenomena.
We present a new formalization of origami modeling and theorem proving using a geometric algebra. We formalize in Isabelle/HOL a geometric algebra G_3 to treat origamis in both 2D and 3D physical space. We define G_3 as a type class of Isabelle/HOL. The objects in G_3 are multivectors. We prove that the co-datatype of a multivector is an element instance of the type class G_3. We prove by Isabelle/HOL a large number of identities and equations that hold in G_3. With G_3 we then reformulate Huzita’s elementary origami folds in equations of multivectors.
It is possible to set up a correspondence between 3D space and R^3,3, interpretable as the space of oriented lines (and screws), such that special projective collineations of the 3D space become represented as rotors in the geometric algebra of R^3,3. We show explicitly how various primitive projective transformations (translations, rotations, scalings, perspectivities, Lorentz transformations) are represented, in geometrically meaningful parameterizations of the rotors by their bivectors. Odd versors of this representation represent projective correlations, so (oriented) reflections can only be represented in a non-versor manner. Specifically, we show how a new and useful 'oriented reflection' can be defined directly on lines. We compare the resulting framework to the unoriented R^3,3 approach of Klawitter, and the R^4,4 rotor-based approach by Goldman et al. in terms of expressiveness and efficiency.
This paper exposes a very geometrical yet directly computational way of working with conformal motions in 3D. With the increased relevance of conformal structures in architectural geometry, and their traditional use in CAD, its results should be useful to designers and programmers. In brief, we exploit the fact that any 3D conformal motion is governed by two well-chosen point pairs: the motion is composed of (or decomposed into) two specific orthogonal circular motions in planes determined by those point pairs. The resulting orbit of a point is an equiangular spiral on a Dupin cyclide. These results are compactly expressed and programmed using conformal geometric algebra (CGA), and this paper can serve as an introduction to its usefulness.
Exactly 125 years ago G. Peano introduced the modern concept of vectors in his 1888 book “Geometric Calculus - According to the Ausdehnungslehre (Theory of Extension) of H. Grassmann”. Unknown to Peano, the young British mathematician W. K. Clifford in his 1878 work “Applications of Grassmann's Extensive Algebra” had already 10 years earlier perfected Grassmann's algebra to the modern concept of geometric algebras, including the measurement of lengths (areas and volumes) and angles (between arbitrary subspaces). This leads currently to new ideal methods for vector field computations in geometric algebra, of which several recent exemplary results will be introduced.
Seamless multidimensional handling and coordinate-free characteristics of geometric algebra (GA) provide means to construct multidimensionally-unified GIS computation models. Using the multivector representation for basic geometric objects within GA, we are able to construct adaptable unified geometric-topological structural models of a multidimensional geographical scene. Multidimensional operators found within the geometry, topology and GIS analysis are developed with basic GA operators. A unified computational framework is proposed, it unifies expressions and operation structures, as well as supports the analysis of multidimensional complex scenes.
In this work, we present a novel approach to nonlinear optimization of multivectors in the Euclidean and conformal model of geometric algebra by introducing automatic differentiation. This is used to compute gradients and Jacobian matrices of multivector valued functions for use in nonlinear optimization where the emphasis is on the estimation of rigid body motions.
Quantum Clifford Algebras (QCA), i.e. Clifford Hopf gebras based on bilinear forms of arbitrary symmetry, are treated in a broad sense. Five alternative constructions of QCAs are exhibited. Grade free Hopf gebraic product formulas are derived for meet and join of Grassmann-Cayley algebras including co-meet and co-join for Grassmann-Cayley co-gebras which are very efficient and may be used in Robotics, left and right contractions, left and right co-contractions, Clifford and co-Clifford products, etc. The Chevalley deformation, using a Clifford map, arises as a special case.
This paper is a survey of work done on N-graded Clifford algebras (GCAs) and N-graded skew Clifford algebras (GSCAs) [VVW, SV, CaV, NVZ, VVe1, VVe2]. In particular, we discuss the hypotheses necessary for these algebras to be Artin Schelter-regular [AS, ATV1] and show how certain 'points' called, point modules, can be associated to them.
The three-dimensional sensor networks are supposed to be deployed for many applications. So it is significant to do research on the problems of coverage and target detection in three-dimensional sensor networks. In this paper, we introduced Clifford algebra in 3D Euclidean space, developed the coverage model of 3D sensor networks based on Clifford algebra, and proposed a method for detecting target moving. With Clifford Spinor, calculating the target moving formulation is easier than traditional methods in sensor node's coverage area.
This paper provides an implementation of a novel signal processing co-processor using a Geometric Algebra technique tailored for fast and complex geometric calculations in multiple dimensions. This is the first hardware implementation of Geometric Algebra to specifically address the issue of scalability to multiple (1-8) dimensions. This paper presents a detailed description of the implementation, with a particular focus on the techniques of optimization used to improve performance. Results are presented which demonstrate at least 3x performance improvements compared to previously published work.
The paper presents an analysis of the singularities of a novel type of medical robot for minimally invasive surgery (MIS) using the language of the geometric algebra. The analysis focuses on the parallel manipulator, which is the key component of the robot. The proposed new parallel manipulator provides a remote centre of motion located at the incision point of the patient’s body. The aim of the paper is to derive the geometric condition for singularity in terms of geometric algebra and thus to reveal the singular configurations in order to avoid them during the surgical procedure. The obtained geometric condition for singularity leads further to the derivation of the algebraic formulation of the singularity surface which is graphically presented.
Recently, it has been established that the discrete star Laplace and the discrete Dirac operator, i.e. the discrete versions of their continuous counterparts when working on the standard grid, are rotation-invariant. This was done starting from the Lie algebra so(m,C) corresponding to the special orthogonal Lie group SO(m), considering its representation in the discrete Clifford algebra setting and proving that these operators are symmetries of the Dirac and Laplace operators. This set-up showed in an abstract way that representation-theoretically the discrete setting mirrors the Euclidean Clifford analysis setting. However from a practical point of view, the group-action remains indispensable for actual calculations. In this paper, we define the discrete Spingroup, which is a double cover of SO(m), and consider its actions on discrete functions. We show that this group-action makes the spaces Hk and Mk into Spin(m)-representations. We will often consider the compliance of our results to the results under the so(m,C)-action.
The Double Conformal Space-Time Algebra (DCSTA) is a high-dimensional 12D Geometric Algebra G(4,8) that extends the concepts introduced with the Double Conformal / Darboux Cyclide Geometric Algebra (DCGA) G(8,2) with entities for Darboux cyclides in spacetime with a new boost operator. The base algebra in which spacetime geometry is modeled is the Space-Time Algebra (STA) G(1,3). Two Conformal Space-Time subalgebras (CSTA) G(2,4) provide spacetime entities for points, flats (incl. worldlines), and hyperbolics, and a complete set of versors for their spacetime transformations that includes rotation, translation, isotropic dilation, hyperbolic rotation (boost), planar reflection, and (pseudo)spherical inversion in rounds or hyperbolics.
Let V be a finite dimensional vector space over a field F of characteristic different from 2, and let Q be a nondegenerate, symmetric, bilinear form on V. Let Cl(V,Q) be the Clifford algebra determined by V and Q. The bilinear form Q extends in a natural way to a nondegenerate, symmetric, bilinear form Q on Cl(V,Q). Let G be the group of isometries of Cl(V,Q) relative to Q, and let LG be the Lie algebra of infinitesimal isometries of Cl(V,Q) relative to Q. We derive some basic structural information about LG, and we compute G in the case that F=R, V=R^n and Q is positive definite on R^n. In a sequel to this paper we determine LG in the case that F=R, V=R^n and Q is nondegenerate on R^n.
We present a novel application of rotors in geometric algebra to represent the change of curvature tensor, that is used in shell theory as part of the constitutive law. We introduce a new decomposition of the change of curvature tensor, which has explicit terms for changes of curvature due to initial curvature combined with strain, and changes in rotation over the surface. We use this decomposition to perform a scaling analysis of the relative importance of bending and stretching in flexible tubes undergoing self excited oscillations. These oscillations have relevance to the lung, in which it is believed that they are responsible for wheezing. The new analysis is necessitated by the fact that the working fluid is air, compared to water in most previous work. We use stereographic imaging to empirically measure the relative importance of bending and stretching energy in observed self excited oscillations. This enables us to validate our scaling analysis. We show that bending energy is dominated by stretching energy, and the scaling analysis makes clear that this will remain true for tubes in the airways of the lung.
In this paper, the problem of direction of arrival (DOA) estimation is considered in the case of multiple polarized signals impinging on the conformal electromagnetic vector-sensor array (CVA). We focus on modeling the manifold holistically by a new mathematical tool called geometric algebra. Compared with existing methods, the presented one has two main advantages. Firstly, it acquires higher resolution by preserving the orthogonality of the signal components. Secondly, it avoids the cumbersome matrix operations while performing the coordinate transformations, and therefore, has a much lower computational complexity. Simulation results are provided to demonstrate the effectiveness of the proposed algorithm.
The crucial procedure of mobility and singularity identification of parallel mechanisms is widely recognized as how to determine their motions (constraints) concisely and visually. In this paper, we propose a geometric algebra (GA) based approach to determine the motions/constraints, mobility and singularity of parallel mechanisms mainly utilizing the geometric and algebraic relations. Firstly, the motions, constraints and their relations are represented by conformal geometric algebra (CGA) formulas in a concise form by employing the characterized geometric elements with . Secondly, the mobility of parallel mechanism, including its number and property and the axes of motions, not only at origin configuration but also in the prescribed workspace, is obtained by the procedure proposed in this paper. Thirdly, the singularity of parallel mechanism is identified by the two indices proposed in this paper with shuffle and outer products. Finally, a typical example is given to illustrate the motions/constraints, mobility and singularity analysis. This approach is beneficial to kinematic analysis and optimal design of parallel mechanisms, especially for which would be carried out in automatic and visual manner using computer programming languages.
This contribution describes a new approach for solving linear system of algebraic equations and differential equations using Laplace transform by the extended-cross product. It will be shown that a solution of a linear system of equations Ax=0 or Ax=b is equivalent to the extended cross-product if the projective extension of the Euclidean system and the principle of duality are used. Using the Laplace transform differential equations are transformed to a system of linear algebraic equations, which can be solved using the extended cross-product (outer product). The presented approach enables to avoid division operation and extents numerical precision as well. It also offers applications of matrix-vector and vector-vector operations in symbolic manipulation, which can leads to new algorithms and/or new formula. The proposed approach can be applied also for stability evaluation of dynamical systems. In the case of numerical computation, it supports vector operation and SSE instructions or GPU can be used efficiently.
Parallel tracking mechanism with varied axes has great potential in actuating antenna to track moving targets. Due to varied rotational axes, its finite motions have not been modeled algebraically. This makes its type synthesis remain a great challenge. Considering these issues, this paper proposes a conformal geometric algebra (CGA) based approach to model its finite motions in an algebraic manner and parametrically generate topological structures of available open-loop limbs. Finite motions of rigid body, articulated joints, and open-loop limbs are formulated by outer product of CGA. Then, finite motions of parallel tracking mechanism with varied axes are modeled algebraically by two independent rotations and four dependent motions with the assistance of kinematic analysis. Afterward, available four degrees-offreedom (4-DoF) open-loop limbs are generated by using revolute joints to realize dependent motions, and available five degrees-offreedom (5-DoF) open-loop limbs are obtained by adding one finite rotation to the generated open-loop limbs. Finally, assembly principles in terms of minimal number and combinations of available open-loop limbs are defined. Typical topological structures are synthesized and illustrated.
In this paper we present the application of a projective geometry tool known as Conformal Geometric Algebra (CGA) to transmission line theory. Explicit relationships between the Smith Chart, Riemann Sphere, and CGA are developed to illustrate the evolution of projective geometry in transmission line theory. By using CGA, fundamental network operations such as adding impedance, admittance, and changing lines impedance can be implemented with rotations, and are shown to form a group. Additionally, the transformations relating different circuit representations such as impedance, admittance, and reflection coefficient are also related by rotations. Thus, the majority of relationships in transmission line theory are linearized. Conventional transmission line formulas are replaced with an operator-based framework. Use of the framework is demonstrated by analyzing the distributed element model and solving some impedance matching problems.
(…) For the purpose of algebraization of geometric theorem representation, management and employment, tensors and invariants have overwhelming advantages over coordinates. For example, the former features in translating geometric theorems into a kind of algebraic identities that are independent of the choice of coordinate system and can be directly used in symbolic manipulations such as simplification and factorization. The fewer the number of terms in the algebraic identity, the more advanced the algebraic representation for the geometric theorem, and generally, the better for both proving and employing the theorem. Rewriting a term of the identity as the rest of the terms is equivalent to applying the geometric theorem in algebraic manipulations.
The tight coupling between geospatial data and spatial analysis results in high costs in terms of efficiency when developing algorithms to accommodate different types of data, even when the analysis tasks are the same. Universal GIS (Geographic information system) algorithms, as alternatives to tightly coupled approaches, can reduce development costs. However, a unified representation of spatial data is necessary to support the development of universal GIS algorithms. To this end, this research proposes and implements a template-based approach using geometric algebra to create a unified representation of multidimensional data. The template is composed of parameters and operators for GIS representation and computation. The template approach can support general GIS analyses with parameter unfolding and operator integration methods. A case study of intersection analysis shows that developing programming scripts based on computation templates is much simpler than traditional methods. The results suggest that the template-based method is more efficient than traditional methods and more convenient for high-dimensional applications.
This paper presents an approach for initial alignment or coarse registration of a partial 3D point cloud of objects. The method is based on computing the centroid of the points in the point cloud, and a line derived from the surface normals. This approach uses conformal geometric algebra and non-linear least squares optimization to achieve the results. The method performs well in experiments, and it is shown that it performs more accurately the more points are sampled.
Designing software systems for Geometric Computing applications can be a challenging task. Software engineers typically use software abstractions to hide and manage the high complexity of such systems. Without the presence of a unifying algebraic system to describe geometric models, the use of software abstractions alone can result in many design and maintenance problems. Geometric Algebra (GA) can be a universal abstract algebraic language for software engineering geometric computing applications. Few sources, however, provide enough information about GA-based software implementations targeting the software engineering community. In particular, successfully introducing GA to software engineers requires quite different approaches from introducing GA to mathematicians or physicists. This article provides a high-level introduction to the abstract concepts and algebraic representations behind the elegant GA mathematical structure. The article focuses on the conceptual and representational abstraction levels behind GA mathematics with sufficient references for more details. In addition, the article strongly recommends applying the methods of Computational Thinking in both introducing GA to software engineers, and in using GA as a mathematical language for developing Geometric Computing software systems.
Recently, many surveys are devoted to study the Clifford Fourier transform. Dealing with the real Clifford Fourier transform introduced by Hitzer, we establish analogues of the classical Heisenberg's inequality and Hardy's theorem in the real Clifford algebra Cl(p, q).
A tutorial of the Mathematica package CGAlgebra, for conformal geometric algebra calculations is presented. Using rule-based programming, the 5-dimensional conformal geometric algebra is implemented and defined functions simplify the calculations of geometric, outer and inner products, as well as many other calculations related with geometric transformations.
A straightforward application of Occam’s razor principle to Maxwell’s equation shows that only one entity, the electromagnetic four-potential, is at the origin of a plurality of concepts and entities in physics. The application of the so called “Lorenz gauge” in Maxwell's equations denies the status of real physical entity to a scalar field that has a gradient in space-time with clear physical meaning: the four-current density field. The mathematical formalism of space-time Clifford algebra is introduced and then used to encode Maxwell’s equations starting only from the electromagnetic four-potential. This approach suggests a particular Zitterbewegung (ZBW) model for charged elementary particles.
We discuss some well-known facts about Clifford algebras: matrix representations, Cartan's periodicity of 8, double coverings of orthogonal groups by spin groups, Dirac equation in different formalisms, spinors in n dimensions, etc. We also present our point of view on some problems. Namely, we discuss the generalization of the Pauli theorem, the basic ideas of the method of averaging in Clifford algebras, the notion of quaternion type of Clifford algebra elements, the classification of Lie subalgebras of specific type in Clifford algebra, etc.
We report the simplest possible form to compute rotations around arbitrary axis and boosts in arbitrary directions for 4-vectors (space-time points, energy-momentum) and bi-vectors (electric and magnetic field vectors) by symplectic similarity transformations. The Lorentz transformations are based exclusively on real 4×4-matrices and require neither complex numbers nor special implementations of abstract entities like quaternions or Clifford numbers. No raising or lowering of indices is necessary. It is explained how the Lorentz transformations can be derived from the most simple second order Hamiltonian of general significance. Since this approach exclusively uses the real Clifford algebra Cl(3,1), all calculations are based on real 4×4 matrix algebra.
| Die lineale Ausdehnungslehre ein neuer Zweig der Mathematik [Die Ausdehnungslehre von 1844] (1878)
The Prussian schoolmaster Hermann Grassmann taught a range of subjects including mathematics, science and Latin and wrote several secondary-school textbooks. Although he was never appointed to a university post, he devoted much energy to mathematical research and developed revolutionary new insights. Die lineale Ausdehnungslehre, published in 1844, is an astonishing work which was not understood by the mathematicians of its time but which anticipated developments that took a century to come to fruition - vector spaces, dimension, exterior products and many other ideas. Admired rather than read by the next generation, it was only fully appreciated by mathematicians such as Peano and Whitehead.
| Die Ausdehnungslehre (1864)
In 1844, the Prussian schoolmaster Hermann Grassmann published Die Lineale Ausdehnungslehre. This revolutionary work anticipated the modern theory of vector spaces and exterior algebras. It was little understood at the time and the few sympathetic mathematicians, rather than trying harder to comprehend it, urged Grassmann to write an extended version of his theories. The present work is that version, first published in 1862. However, this also proved too far ahead of its time and Grassmann turned to historical linguistics, in which field his contributions are still remembered. His mathematical work eventually found champions such as Hankel, Peano, Whitehead and Élie Cartan, and it is now recognised for the brilliant achievement that it was in the history of mathematics.
| Theorie Der Complexen Zahlensysteme (1867)
Insbesondere der Gemeinen Imaginären Zahlen und der Hamilton'schen Quaternionen Nebst Ihrer Geometrischen Darstellung.
| Lectures and essays by William Kingdon Clifford, Vol 1 (1879)
William Kingdon Clifford, Leslie Stephen, Frederick Pollock
The discourses and writings collected in this book will indeed testify to the intellectual grasp and acuteness that went to the making of them. Clifford's earnestness and simplicity, too, are fairly enough presented to the reader, and the clearness of his expression is such that any comment by way of mere explanation would be impertinent.
| Lectures and essays by William Kingdon Clifford, Vol 2 (1879)
William Kingdon Clifford, Leslie Stephen, Frederick Pollock
| Mathematical Papers (1882)
William Kingdon Clifford, Robert Tucker
| The Directional Calculus (1890)
E. W. Hyde
The wonderful and comprehensive system of Multiple Algebra invented by Hermann Grassmann, and called by him the Ausdehnungslehre or Theory of Extension, though long neglected by the mathematicians even of Germany, is at the present time coming to be more and more appreciated and studied. In order that this system, with its intrinsic naturalness, and adaptability to all the purposes of Geometry and Mechanics, should be generally introduced to the knowledge of the coming generation of English-speaking mathematicians, it is very necessary that a text-book should be provided, suitable for use in colleges and universities, through which students may become acquainted with the principles of the subject and its applications.
| An Elementary Exposition of Grassmann's Ausdehnungslehre or Theory of Extensions (1901)
Joseph V. Collins
(…) Hyde, in his Directional Calculus, purposing to present the Ausdehnungslehre to American readers, cut the knot of the difficulty by taking the results of the theoretical part for granted and giving only the application to geometry, and by limiting his treatment to two and three dimensional space. An elementary exposition which will give the simpler portions of the theoretical part as well as the applications of the theory seems to be needed. Such an exposition should serve the needs of two classes of readers: First, of those who would like to have a good general idea of the subject without going very deeply into its particulars; and secondly, of those who, expecting to make a thorough study of the subject, wish first to read an introduction to it.
| Vector Analysis (1901)
J. Willard Gibbs, E. B. Wilson
Vector Analysis is a textbook by Edwin Bidwell Wilson, first published in 1901 and based on the lectures that Josiah Willard Gibbs had delivered on the subject at Yale University. The book did much to standardize the notation and vocabulary of three-dimensional linear algebra and vector calculus, as used by physicists and mathematicians.
| Geometric Algebra (1957)
Exposition is centered on the foundations of affine geometry, the geometry of quadratic forms, and the structure of the general linear group. Context is broadened by the inclusion of projective and symplectic geometry and the structure of symplectic and orthogonal groups.
| Clifford Numbers and Spinors (1958)
The presentation of the theory of Clifford numbers and spinors given here has grown out of thirteen lectures delivered at the Institute for Fluid Dynamics and Applied Mathematics of the University of Maryland. The work is divided into six chapters which, for the convenience of those readers who are only interested in certain parts of the material treated, are largely independent of each other. This arrangement has, of course, certain disadvantages such as repetitions and over-lappings.
| Elementary Differential Geometry (1966)
The book first offers information on calculus on Euclidean space and frame fields. Topics include structural equations, connection forms, frame fields, covariant derivatives, Frenet formulas, curves, mappings, tangent vectors, and differential forms. The publication then examines Euclidean geometry and calculus on a surface. Discussions focus on topological properties of surfaces, differential forms on a surface, integration of forms, differentiable functions and tangent vectors, congruence of curves, derivative map of an isometry, and Euclidean geometry. The manuscript takes a look at shape operators, geometry of surfaces in E, and Riemannian geometry. Concerns include geometric surfaces, covariant derivative, curvature and conjugate points, Gauss-Bonnet theorem, fundamental equations, global theorems, isometries and local isometries, orthogonal coordinates, and integration and orientation.
| Space-Time Algebra, 2nd Ed (2015)
This small book started a profound revolution in the development of mathematical physics, one which has reached many working physicists already, and which stands poised to bring about far-reaching change in the future. At its heart is the use of Clifford algebra to unify otherwise disparate mathematical languages, particularly those of spinors, quaternions, tensors and differential forms. It provides a unified approach covering all these areas and thus leads to a very efficient ‘toolkit’ for use in physical problems including quantum mechanics, classical mechanics, electromagnetism and relativity (both special and general) – only one mathematical system needs to be learned and understood, and one can use it at levels which extend right through to current research topics in each of these areas.
| New Foundations for Classical Mechanics, 2nd Ed (1999)
This is a textbook on classical mechanics at the intermediate level, but its main purpose is to serve as an introduction to a new mathematical language for physics called geometric algebra. Mechanics is most commonly formulated today in terms of the vector algebra developed by the American physicist J. Willard Gibbs, but for some applications of mechanics the algebra of complex numbers is more efficient than vector algebra, while in other applications matrix algebra works better. Geometric algebra integrates all these algebraic systems into a coherent mathematical language which not only retains the advantages of each special algebra but possesses powerful new capabilities. This book covers the fairly standard material for a course on the mechanics of particles and rigid bodies. However, it will be seen that geometric algebra brings new insights into the treatment of nearly every topic and produces simplifications that move the subject quickly to advanced levels.
| Clifford Algebra to Geometric Calculus: A Unified Language for Mathematics and Physics (1984)
David Hestenes, Garret Sobczyk
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.
| Geometric Algebra for Physicists (2003)
Chris Doran, Anthony Lasenby
This book is a complete guide to the current state of geometric algebra with early chapters providing a self-contained introduction. Topics range from new techniques for handling rotations in arbitrary dimensions, the links between rotations, bivectors, the structure of the Lie groups, non-Euclidean geometry, quantum entanglement, and gauge theories. Applications such as black holes and cosmic strings are also explored.
| Geometric Algebra (1957)
This concise classic presents advanced undergraduates and graduate students in mathematics with an overview of geometric algebra. The text originated with lecture notes from a New York University course taught by Emil Artin, one of the preeminent mathematicians of the twentieth century. The Bulletin of the American Mathematical Society praised Geometric Algebra upon its initial publication, noting that “mathematicians will find on many pages ample evidence of the author's ability to penetrate a subject and to present material in a particularly elegant manner.”
| A History of Vector Analysis: The Evolution of the Idea of a Vectorial System (1967)
Michael J. Crowe
On October 16, 1843, Sir William Rowan Hamilton discovered quaternions and, on the very same day, presented his breakthrough to the Royal Irish Academy. Meanwhile, in a less dramatic style, a German high school teacher, Hermann Grassmann, was developing another vectorial system involving hypercomplex numbers comparable to quaternions. The creations of these two mathematicians led to other vectorial systems, most notably the system of vector analysis formulated by Josiah Willard Gibbs and Oliver Heaviside and now almost universally employed in mathematics, physics and engineering. Yet the Gibbs-Heaviside system won acceptance only after decades of debate and controversy in the latter half of the nineteenth century concerning which of the competing systems offered the greatest advantages for mathematical pedagogy and practice.
| The Theory of Spinors (1981)
The French mathematician Elie Cartan (1869–1951) was one of the founders of the modern theory of Lie groups, a subject of central importance in mathematics and also one with many applications. In this volume, he describes the orthogonal groups, either with real or complex parameters including reflections, and also the related groups with indefinite metrics. He develops the theory of spinors (he discovered the general mathematical form of spinors in 1913) systematically by giving a purely geometrical definition of these mathematical entities; this geometrical origin makes it very easy to introduce spinors into Riemannian geometry, and particularly to apply the idea of parallel transport to these geometrical entities.
| From Past to Future: Graßmann's Work in Context: Graßmann Bicentennial Conference, September 2009 (2011)
On the occasion of the 200th anniversary of the birth of Hermann Graßmann (1809-1877), an interdisciplinary conference was held in Potsdam, Germany, and in Graßmann's hometown Szczecin, Poland. The idea of the conference was to present a multi-faceted picture of Graßmann, and to uncover the complexity of the factors that were responsible for his creativity. The conference demonstrated not only the very influential reception of his work at the turn of the 20th century, but also the unexpected modernity of his ideas, and their continuing development in the 21st century.
| Grassmann Algebra Volume 1: Foundations (2012)
Grassmann algebra extends vector algebra by introducing the exterior product to algebraicize the notion of linear dependence. With it, vectors may be extended to higher-grade entities: bivectors, trivectors, … multivectors. The extensive exterior product also has a regressive dual: the regressive product. The pair behaves a little like the Boolean duals of union and intersection. By interpreting one of the elements of the vector space as an origin point, points can be defined, and the exterior product can extend points into higher-grade located entities from which lines, planes and multiplanes can be defined. Theorems of Projective Geometry are simply formulae involving these entities and the dual products. By introducing the (orthogonal) complement operation, the scalar product of vectors may be extended to the interior product of multivectors, which in this more general case may no longer result in a scalar. The notion of the magnitude of vectors is extended to the magnitude of multivectors: for example, the magnitude of the exterior product of two vectors (a bivector) is the area of the parallelogram formed by them. To develop these foundational concepts, we need only consider entities which are the sums of elements of the same grade.
| Linear and Geometric Algebra (2011)
This textbook for the first undergraduate linear algebra course presents a unified treatment of linear algebra and geometric algebra, while covering most of the usual linear algebra topics.Geometric algebra is an extension of linear algebra. It enhances the treatment of many linear algebra topics. And geometric algebra does much more.Geometric algebra and its extension to geometric calculus unify, simplify, and generalize vast areas of mathematics that involve geometric ideas. They provide a unified mathematical language for many areas of physics, computer science, and other fields.The book can be used for self study by those comfortable with the theorem/proof style of a mathematics text.
| Vector and Geometric Calculus (2012)
This textbook for the undergraduate vector calculus course presents a unified treatment of vector and geometric calculus. The book is a sequel to the text Linear and Geometric Algebra by the same author. Linear algebra and vector calculus have provided the basic vocabulary of mathematics in dimensions greater than one for the past one hundred years. Just as geometric algebra generalizes linear algebra in powerful ways, geometric calculus generalizes vector calculus in powerful ways. Traditional vector calculus topics are covered, as they must be, since readers will encounter them in other texts and out in the world. Differential geometry is used today in many disciplines. A final chapter is devoted to it.
| Understanding Geometric Algebra: Hamilton, Grassmann, and Clifford for Computer Vision and Graphics (2015)
Introduces geometric algebra with an emphasis on the background mathematics of Hamilton, Grassmann, and Clifford. It shows how to describe and compute geometry for 3D modeling applications in computer graphics and computer vision. Unlike similar texts, this book first gives separate descriptions of the various algebras and then explains how they are combined to define the field of geometric algebra. It starts with 3D Euclidean geometry along with discussions as to how the descriptions of geometry could be altered if using a non-orthogonal (oblique) coordinate system. The text focuses on Hamilton’s quaternion algebra, Grassmann’s outer product algebra, and Clifford algebra that underlies the mathematical structure of geometric algebra. It also presents points and lines in 3D as objects in 4D in the projective geometry framework; explores conformal geometry in 5D, which is the main ingredient of geometric algebra; and delves into the mathematical analysis of camera imaging geometry involving circles and spheres.
| Geometric Algebra for Computer Science: An Object-Oriented Approach to Geometry (2007)
Leo Dorst, Daniel Fontijne, Stephen Mann
Until recently, all of the interactions between objects in virtual 3D worlds have been based on calculations performed using linear algebra. Linear algebra relies heavily on coordinates, however, which can make many geometric programming tasks very specific and complex―often a lot of effort is required to bring about even modest performance enhancements. Although linear algebra is an efficient way to specify low-level computations, it is not a suitable high-level language for geometric programming. Geometric Algebra for Computer Science presents a compelling alternative to the limitations of linear algebra. Geometric algebra, or GA, is a compact, time-effective, and performance-enhancing way to represent the geometry of 3D objects in computer programs.
| New Foundations in Mathematics: The Geometric Concept of Number (2013)
The first book of its kind, New Foundations in Mathematics: The Geometric Concept of Number uses geometric algebra to present an innovative approach to elementary and advanced mathematics. Geometric algebra offers a simple and robust means of expressing a wide range of ideas in mathematics, physics, and engineering. In particular, geometric algebra extends the real number system to include the concept of direction, which underpins much of modern mathematics and physics. Much of the material presented has been developed from undergraduate courses taught by the author over the years in linear algebra, theory of numbers, advanced calculus and vector calculus, numerical analysis, modern abstract algebra, and differential geometry. The principal aim of this book is to present these ideas in a freshly coherent and accessible manner.
| Clifford Algebra: A Computational Tool for Physicists (1997)
Clifford algebras have become an indispensable tool for physicists at the cutting edge of theoretical investigations. Applications in physics range from special relativity and the rotating top at one end of the spectrum, to general relativity and Dirac's equation for the electron at the other. Clifford algebras have also become a virtual necessity in some areas of physics, and their usefulness is expanding in other areas, such as algebraic manipulations involving Dirac matrices in quantum thermodynamics; Kaluza-Klein theories and dimensional renormalization theories; and the formation of superstring theories.
| A New Approach to Differential Geometry using Clifford's Geometric Algebra (2012)
Differential geometry is the study of the curvature and calculus of curves and surfaces. A New Approach to Differential Geometry using Clifford's Geometric Algebra simplifies the discussion to an accessible level of differential geometry by introducing Clifford algebra. This presentation is relevant because Clifford algebra is an effective tool for dealing with the rotations intrinsic to the study of curved space.
| Clifford Algebras and Spinors, 2nd Ed (2001)
The beginning chapters cover the basics: vectors, complex numbers and quaternions are introduced with an eye on Clifford algebras. The next chapters, which will also interest physicists, include treatments of the quantum mechanics of the electron, electromagnetism and special relativity. A new classification of spinors is introduced, based on bilinear covariants of physical observables. This reveals a new class of spinors, residing among the Weyl, Majorana and Dirac spinors. Scalar products of spinors are categorized by involutory anti-automorphisms of Clifford algebras. This leads to the chessboard of automorphism groups of scalar products of spinors. On the algebraic side, Brauer/Wall groups and Witt rings are discussed, and on the analytic, Cauchy's integral formula is generalized to higher dimensions.
| Mathematics for Computer Graphics, 4th Ed (2014)
Explains a wide range of mathematical techniques and problem-solving strategies associated with computer games, computer animation, virtual reality, CAD, and other areas of computer graphics. Covering all the mathematical techniques required to resolve geometric problems and design computer programs for computer graphic applications, each chapter explores a specific mathematical topic prior to moving forward into the more advanced areas of matrix transforms, 3D curves and surface patches. Problem-solving techniques using vector analysis and geometric algebra are also discussed.
| Geometric Algebra: An Algebraic System for Computer Games and Animation (2009)
Geometric algebra is still treated as an obscure branch of algebra and most books have been written by competent mathematicians in a very abstract style. This restricts the readership of such books especially by programmers working in computer graphics, who simply want guidance on algorithm design. Geometric algebra provides a unified algebraic system for solving a wide variety of geometric problems. John Vince reveals the beauty of this algebraic framework and communicates to the reader new and unusual mathematical concepts using colour illustrations, tabulations, and easy-to-follow algebraic proofs.
| Differential Forms in Electromagnetics (2004)
Ismo V. Lindell
An introduction to multivectors, dyadics, and differential forms for electrical engineers. While physicists have long applied differential forms to various areas of theoretical analysis, dyadic algebra is also the most natural language for expressing electromagnetic phenomena mathematically. (…) Lindell simplifies the notation and adds memory aids in order to ease the reader's leap from Gibbsian analysis to differential forms, and provides the algebraic tools corresponding to the dyadics of Gibbsian analysis that have long been missing from the formalism. He introduces the reader to basic EM theory and wave equations for the electromagnetic two-forms, discusses the derivation of useful identities, and explains novel ways of treating problems in general linear (bi-anisotropic) media.
| Understanding Geometric Algebra for Electromagnetic Theory (2011)
John W. Arthur
This book aims to disseminate geometric algebra as a straightforward mathematical tool set for working with and understanding classical electromagnetic theory. It's target readership is anyone who has some knowledge of electromagnetic theory, predominantly ordinary scientists and engineers who use it in the course of their work, or postgraduate students and senior undergraduates who are seeking to broaden their knowledge and increase their understanding of the subject. It is assumed that the reader is not a mathematical specialist and is neither familiar with geometric algebra or its application to electromagnetic theory. The modern approach, geometric algebra, is the mathematical tool set we should all have started out with and once the reader has a grasp of the subject, he or she cannot fail to realize that traditional vector analysis is really awkward and even misleading by comparison.
| Geometric Algebra with Applications in Engineering (2008)
The application of geometric algebra to the engineering sciences is a young, active subject of research. The promise of this field is that the mathematical structure of geometric algebra together with its descriptive power will result in intuitive and more robust algorithms. This book examines all aspects essential for a successful application of geometric algebra: the theoretical foundations, the representation of geometric constraints, and the numerical estimation from uncertain data. Formally, the book consists of two parts: theoretical foundations and applications. The first part includes chapters on random variables in geometric algebra, linear estimation methods that incorporate the uncertainty of algebraic elements, and the representation of geometry in Euclidean, projective, conformal and conic space. The second part is dedicated to applications of geometric algebra, which include uncertain geometry and transformations, a generalized camera model, and pose estimation.
| Foundations of Geometric Algebra Computing (2013)
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.
| Classical Groups and Geometric Algebra (2001)
Larry C. Grove
The classical groups have proved to be important in a wide variety of venues, ranging from physics to geometry and far beyond. In recent years, they have played a prominent role in the classification of the finite simple groups. This text provides a single source for the basic facts about the classical groups and also includes the required geometrical background information from the first principles.
| Clifford (Geometric) Algebras with Applications in Physics, Mathematics, and Engineering (1999)
The subject area of the volume is Clifford algebra and its applications. Through the geometric language of the Clifford-algebra approach, many concepts in physics are clarified, united, and extended in new and sometimes surprising directions. In particular, the approach eliminates the formal gaps that traditionally separate clas sical, quantum, and relativistic physics. It thereby makes the study of physics more efficient and the research more penetrating, and it suggests resolutions to a major physics problem of the twentieth century, namely how to unite quantum theory and gravity. The term “geometric algebra” was used by Clifford himself, and David Hestenes has suggested its use in order to emphasize its wide applicability, and b& cause the developments by Clifford were themselves based heavily on previous work by Grassmann, Hamilton, Rodrigues, Gauss, and others.
| Guide to Geometric Algebra in Practice (2011)
Leo Dorst, Joan Lasenby
This highly practical Guide to Geometric Algebra in Practice reviews algebraic techniques for geometrical problems in computer science and engineering, and the relationships between them. The topics covered range from powerful new theoretical developments, to successful applications, and the development of new software and hardware tools. Topics and features: provides hands-on review exercises throughout the book, together with helpful chapter summaries; presents a concise introductory tutorial to conformal geometric algebra (CGA) in the appendices; examines the application of CGA for the description of rigid body motion, interpolation and tracking, and image processing; reviews the employment of GA in theorem proving and combinatorics; discusses the geometric algebra of lines, lower-dimensional algebras, and other alternatives to 5-dimensional CGA; proposes applications of coordinate-free methods of GA for differential geometry.
| Quaternions, Clifford Algebras and Relativistic Physics (2007)
Patrick R. Girard
The use of Clifford algebras in mathematical physics and engineering has grown rapidly in recent years. Whereas other developments have privileged a geometric approach, this book uses an algebraic approach that can be introduced as a tensor product of quaternion algebras and provides a unified calculus for much of physics. It proposes a pedagogical introduction to this new calculus, based on quaternions, with applications mainly in special relativity, classical electromagnetism, and general relativity.
| Geometric Algebra and Applications to Physics (2006)
Venzo de Sabbata, Bidyut Kumar Datta
Bringing geometric algebra to the mainstream of physics pedagogy, Geometric Algebra and Applications to Physics not only presents geometric algebra as a discipline within mathematical physics, but the book also shows how geometric algebra can be applied to numerous fundamental problems in physics, especially in experimental situations. This reference begins with several chapters that present the mathematical fundamentals of geometric algebra. It introduces the essential features of postulates and their underlying framework; bivectors, multivectors, and their operators; spinor and Lorentz rotations; and Clifford algebra. The book also extends some of these topics into three dimensions. Subsequent chapters apply these fundamentals to various common physical scenarios.
| Geometric Computing with Clifford Algebras (2001)
This monograph-like anthology introduces the concepts and framework of Clifford algebra. It provides a rich source of examples of how to work with this formalism. Clifford or geometric algebra shows strong unifying aspects and turned out in the 1960s to be a most adequate formalism for describing different geometry-related algebraic systems as specializations of one “mother algebra” in various subfields of physics and engineering. Recent work shows that Clifford algebra provides a universal and powerful algebraic framework for an elegant and coherent representation of various problems occurring in computer science, signal processing, neural computing, image processing, pattern recognition, computer vision, and robotics.
| Lectures on Clifford (Geometric) Algebras and Applications (2004)
Rafal Ablamowicz, Garret Sobczyk
The subject of Clifford (geometric) algebras offers a unified algebraic framework for the direct expression of the geometric concepts in algebra, geometry, and physics. This bird's-eye view of the discipline is presented by six of the world's leading experts in the field; it features an introductory chapter on Clifford algebras, followed by extensive explorations of their applications to physics, computer science, and differential geometry. The book is ideal for graduate students in mathematics, physics, and computer science; it is appropriate both for newcomers who have little prior knowledge of the field and professionals who wish to keep abreast of the latest applications.
| Geometric Algebra with Applications in Science and Engineering (2001)
Eduardo Bayro-Corrochano, Garret Sobczyk
The goal of this book is to present a unified mathematical treatment of diverse problems in mathematics, physics, computer science, and engineering using geometric algebra. Geometric algebra was invented by William Kingdon Clifford in 1878 as a unification and generalization of the works of Grassmann and Hamilton, which came more than a quarter of a century before. Whereas the algebras of Clifford and Grassmann are well known in advanced mathematics and physics, they have never made an impact in elementary textbooks where the vector algebra of Gibbs-Heaviside still predominates. The approach to Clifford algebra adopted in most of the articles here was pioneered in the 1960s by David Hestenes. Later, together with Garret Sobczyk, he developed it into a unified language for mathematics and physics.
| Clifford Algebras: Geometric Modelling and Chain Geometries with Application in Kinematics (2015)
After revising known representations of the group of Euclidean displacements Daniel Klawitter gives a comprehensive introduction into Clifford algebras. The Clifford algebra calculus is used to construct new models that allow descriptions of the group of projective transformations and inversions with respect to hyperquadrics. Afterwards, chain geometries over Clifford algebras and their subchain geometries are examined. The author applies this theory and the developed methods to the homogeneous Clifford algebra model corresponding to Euclidean geometry. Moreover, kinematic mappings for special Cayley-Klein geometries are developed. These mappings allow a description of existing kinematic mappings in a unifying framework.
| Application of Geometric Algebra to Electromagnetic Scattering: The Clifford-Cauchy-Dirac Technique (2016)
This work presents the Clifford-Cauchy-Dirac (CCD) technique for solving problems involving the scattering of electromagnetic radiation from materials of all kinds. It allows anyone who is interested to master techniques that lead to simpler and more efficient solutions to problems of electromagnetic scattering than are currently in use. The technique is formulated in terms of the Cauchy kernel, single integrals, Clifford algebra and a whole-field approach. This is in contrast to many conventional techniques that are formulated in terms of Green's functions, double integrals, vector calculus and the combined field integral equation (CFIE). Whereas these conventional techniques lead to an implementation using the method of moments (MoM), the CCD technique is implemented as alternating projections onto convex sets in a Banach space.
| Geometric Algebra Computing: in Engineering and Computer Science (2010)
Eduardo Bayro-Corrochano, Gerik Scheuermann
This useful text offers new insights and solutions for the development of theorems, algorithms and advanced methods for real-time applications across a range of disciplines. Its accessible style is enhanced by examples, figures and experimental analysis.
| Handbook of Geometric Computing: Applications in Pattern Recognition, Computer Vision, Neuralcomputing, and Robotics (2005)
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.
| Applications of Geometric Algebra in Computer Science and Engineering (2002)
Leo Dorst, Chris Doran, Joan Lasenby
Geometric algebra has established itself as a powerful and valuable mathematical tool for solving problems in computer science, engineering, physics, and mathematics. The articles in this volume, written by experts in various fields, reflect an interdisciplinary approach to the subject, and highlight a range of techniques and applications. Relevant ideas are introduced in a self-contained manner and only a knowledge of linear algebra and calculus is assumed.
| Operator Calculus On Graphs: Theory and Applications in Computer Science (2012)
Rene Schott, G. Stacey Staples
This pioneering book presents a study of the interrelationships among operator calculus, graph theory, and quantum probability in a unified manner, with significant emphasis on symbolic computations and an eye toward applications in computer science. Presented in this book are new methods, built on the algebraic framework of Clifford algebras, for tackling important real world problems related, but not limited to, wireless communications, neural networks, electrical circuits, transportation, and the world wide web.
| Multivectors And Clifford Algebra In Electrodynamics (1989)
Clifford algebras are assuming now an increasing role in theoretical physics. Some of them predominantly larger ones are used in elementary particle theory, especially for a unification of the fundamental interactions. The smaller ones are promoted in more classical domains. This book is intended to demonstrate usefulness of Clifford algebras in classical electrodynamics. Written with a pedagogical aim, it begins with an introductory chapter devoted to multivectors and Clifford algebra for the three-dimensional space. In a later chapter modifications are presented necessary for higher dimension and for the pseudoeuclidean metric of the Minkowski space. Among other advantages one is worth mentioning: Due to a bivectorial description of the magnetic field a notion of force surfaces naturally emerges, which reveals an intimate link between the magnetic field and the electric currents as its sources.
| Clifford Algebras and Their Applications in Mathematical Physics, Vol.1: Algebra and Physics (2000)
Rafal Ablamowicz, Bertfried Fauser
The first part of a two-volume set concerning the field of Clifford (geometric) algebra, this work consists of thematically organized chapters that provide a broad overview of cutting-edge topics in mathematical physics and the physical applications of Clifford algebras and their applications in physics. Algebraic geometry, cohomology, non-communicative spaces, q-deformations and the related quantum groups, and projective geometry provide the basis for algebraic topics covered. Physical applications and extensions of physical theories such as the theory of quaternionic spin, a projective theory of hadron transformation laws, and electron scattering are also presented, showing the broad applicability of Clifford geometric algebras in solving physical problems.
| Clifford Algebras and Their Applications in Mathematical Physics, Vol. 2: Clifford Analysis (2000)
John Ryan, Wolfgang Sproessig
The second part of a two-volume set concerning the field of Clifford (geometric) algebra, this work consists of thematically organized chapters that provide a broad overview of cutting-edge topics in mathematical physics and the physical applications of Clifford algebras. from applications such as complex-distance potential theory, supersymmetry, and fluid dynamics to Fourier analysis, the study of boundary value problems, and applications, to mathematical physics and Schwarzian derivatives in Euclidean space. Among the mathematical topics examined are generalized Dirac operators, holonomy groups, monogenic and hypermonogenic functions and their derivatives, quaternionic Beltrami equations, Fourier theory under Mobius transformations, Cauchy-Reimann operators, and Cauchy type integrals.
| Clifford Algebras and Spinor Structures (1995)
Rafal Ablamowicz, Pertti Lounesto
This volume is dedicated to the memory of Albert Crumeyrolle, who died on June 17, 1992. In organizing the volume we gave priority to: articles summarizing Crumeyrolle's own work in differential geometry, general relativity and spinors, articles which give the reader an idea of the depth and breadth of Crumeyrolle's research interests and influence in the field, articles of high scientific quality which would be of general interest. In each of the areas to which Crumeyrolle made significant contribution - Clifford and exterior algebras, Weyl and pure spinors, spin structures on manifolds, principle of triality, conformal geometry - there has been substantial progress.
| Quaternionic and Clifford Calculus for Physicists and Engineers (1998)
Klaus Gürlebeck, Wolfgang Sprössig
Quarternionic calculus covers a branch of mathematics which uses computational techniques to help solve problems from a wide variety of physical systems which are mathematically modelled in 3, 4 or more dimensions. Examples of the application areas include thermodynamics, hydrodynamics, geophysics and structural mechanics. Focusing on the Clifford algebra approach the authors have drawn together the research into quarternionic calculus to provide the non-expert or research student with an accessible introduction to the subject.
| Clifford Algebras with Numeric and Symbolic Computations (1996)
Rafal Ablamowicz, Joseph Parra, Pertti Lounesto
This edited survey book consists of 20 chapters showing application of Clifford algebra in quantum mechanics, field theory, spinor calculations, projective geometry, Hypercomplex algebra, function theory and crystallography. Many examples of computations performed with a variety of readily available software programs are presented in detail.
| Quadratic Mappings and Clifford Algebras (2008)
Jacques Helmstetter, Artibano Micali
After general properties of quadratic mappings over rings, the authors more intensely study quadratic forms, and especially their Clifford algebras. To this purpose they review the required part of commutative algebra, and they present a significant part of the theory of graded Azumaya algebras. Interior multiplications and deformations of Clifford algebras are treated with the most efficient methods.
| The Algebraic Theory of Spinors and Clifford Algebras (1997)
Claude Chevalley, Pierre Cartier, Catherine Chevalley
This volume is Vol. 2 of a projected series devoted to the mathematical and philosophical works of the late Claude Chevalley. It covers the main contributions by the author to the theory of spinors. Since its appearance in 1954, “The Algebraic Theory of Spinors” has been a very sought after reference. It presents the whole story of one subject in a concise and especially clear manner. The reprint of the book is supplemented by a series of lectures on Clifford Algebras given by the author in Japan at about the same time. Also included is a postface by J. P. Bourguignon describing the many uses of spinors in differential geometry developed by mathematical physicists from the 1970s to the present day. After its appearance the book was reviewed at length by Jean Dieudonné. His insightful criticism of the book is also made available to the reader in this volume.
| Clifford Algebras and Lie Theory (2013)
This monograph provides an introduction to the theory of Clifford algebras, with an emphasis on its connections with the theory of Lie groups and Lie algebras. The book starts with a detailed presentation of the main results on symmetric bilinear forms and Clifford algebras. It develops the spin groups and the spin representation, culminating in Cartan’s famous triality automorphism for the group Spin(8). The discussion of enveloping algebras includes a presentation of Petracci’s proof of the Poincaré-Birkhoff-Witt theorem. This is followed by discussions of Weil algebras, Chern-Weil theory, the quantum Weil algebra, and the cubic Dirac operator. The applications to Lie theory include Duflo’s theorem for the case of quadratic Lie algebras, multiplets of representations, and Dirac induction. The last part of the book is an account of Kostant’s structure theory of the Clifford algebra over a semisimple Lie algebra. It describes his “Clifford algebra analogue” of the Hopf–Koszul–Samelson theorem, and explains his fascinating conjecture relating the Harish-Chandra projection for Clifford algebras to the principal sl(2) subalgebra.
| An Introduction to Clifford Algebras and Spinors (2016)
Jayme Vaz, Roldao da Rocha
This text explores how Clifford algebras and spinors have been sparking a collaboration and bridging a gap between Physics and Mathematics. This collaboration has been the consequence of a growing awareness of the importance of algebraic and geometric properties in many physical phenomena, and of the discovery of common ground through various touch points: relating Clifford algebras and the arising geometry to so-called spinors, and to their three definitions (both from the mathematical and physical viewpoint). The main point of contact are the representations of Clifford algebras and the periodicity theorems. Clifford algebras also constitute a highly intuitive formalism, having an intimate relationship to quantum field theory. The text strives to seamlessly combine these various viewpoints and is devoted to a wider audience of both physicists and mathematicians.
| Clifford Algebras: An Introduction (2011)
D. J. H. Garling
Clifford algebras, built up from quadratic spaces, have applications in many areas of mathematics, as natural generalizations of complex numbers and the quaternions. They are famously used in proofs of the Atiyah-Singer index theorem, to provide double covers (spin groups) of the classical groups and to generalize the Hilbert transform. They also have their place in physics, setting the scene for Maxwell's equations in electromagnetic theory, for the spin of elementary particles and for the Dirac equation. This straightforward introduction to Clifford algebras makes the necessary algebraic background - including multilinear algebra, quadratic spaces and finite-dimensional real algebras - easily accessible to research students and final-year undergraduates. The author also introduces many applications in mathematics and physics, equipping the reader with Clifford algebras as a working tool in a variety of contexts.
| The Standard Model of Quantum Physics in Clifford Algebra (2015)
Claude Daviau, Jacques Bertrand
We extend to gravitation our previous study of a quantum wave for all particles and antiparticles of each generation (electron + neutrino + u and d quarks for instance). This wave equation is form invariant under Cl*_3, then relativistic invariant. It is gauge invariant under the gauge group of the standard model, with a mass term: this was impossible before, and the consequence was an impossibility to link gauge interactions and gravitation.
| L'unification des mathématiques: algèbres géométriques, géométrie algébrique et philosophie de Langlands (2012)
Daniel Parrochia, Artibano Micali, Pierre Anglès
La pensée mathématique offre un panorama impressionnant de recherches dans les multiples directions dessinées par les réorganisations successives que la matière a connues. Cet ouvrage porte un éclairage philosophique et historique sur certains développements qui donne un sens aux transformations subies par la pensée mathématique au cours du temps pour actualiser le portrait déjà ancien de “l'unité des mathématiques”. Deux mouvements symétriques d'unification se sont produits en mathématiques. Le premier est l'aboutissement du long chemin qui, depuis les Grecs, a tendu à résoudre l'opposition de la géométrie et de l'arithmétique, puis de la géométrie et de l'algèbre. Le second mode d'unification date de la fin des années 1960. Via la géométrie algébrique, il tend à reconstruire l'ensemble des mathématiques sur la base des correspondances de Langlands, lesquelles résorbent intégralement l'opposition de l'algèbre et de l'analyse, et constituent un fabuleux dictionnaire pour la physique de demain.
| Linear Algebra via Exterior Products (2010)
This is a pedagogical introduction to the coordinate-free approach in basic finite-dimensional linear algebra. The reader should be already exposed to the array-based formalism of vector and matrix calculations. This book makes extensive use of the exterior (anti-commutative, “wedge”) product of vectors. The coordinate-free formalism and the exterior product, while somewhat more abstract, provide a deeper understanding of the classical results in linear algebra. Without cumbersome matrix calculations, this text derives the standard properties of determinants, the Pythagorean formula for multidimensional volumes, the formulas of Jacobi and Liouville, the Cayley-Hamilton theorem, the Jordan canonical form, the properties of Pfaffians, as well as some generalizations of these results.
| The Road to Reality: A Complete Guide to the Laws of the Universe (2004)
Roger Penrose presents the only comprehensive and comprehensible account of the physics of the universe. From the very first attempts by the Greeks to grapple with the complexities of our known world to the latest application of infinity in physics, The Road to Reality carefully explores the movement of the smallest atomic particles and reaches into the vastness of intergalactic space. Here, Penrose examines the mathematical foundations of the physical universe, exposing the underlying beauty of physics and giving us one the most important works in modern science writing.
| How Schrodinger's Cat Escaped the Box (2015)
This book attempts to explain the core of physics, the origin of everything and anything. It explains why physics at the most fundamental level, and especially quantum mechanics, has moved away from naive realism towards abstraction, and how this means that we can begin to answer some of the most fundamental questions which trouble us all, about space, time, matter, etc. It provides an original approach based on symmetry which will be of interest to professionals as well as lay people.
| Foundations of Game Engine Development, Volume 1: Mathematics (2016)
The goal of this project is to create a new textbook that provides a detailed introduction to the mathematics used by modern game engine programmers. (…) One example of an important topic missing from the existing literature is Grassmann algebra. Ever since I began giving conference presentations on this topic in 2012, I have been frequently asked whether there is a book that provides a thorough and intuitive discussion of Grassmann algebra (or the related topic of geometric algebra) in the context of game development and computer graphics. I don't believe that there is, and I'd like to take the opportunity to fill this void.
| Invariant Algebras And Geometric Reasoning (2008)
The demand for more reliable geometric computing in robotics, computer vision and graphics has revitalized many venerable algebraic subjects in mathematics among them, Grassmann-Cayley algebra and Geometric Algebra. Nowadays, they are used as powerful languages for projective, Euclidean and other classical geometries. This book contains the author and his collaborators' most recent, original development of Grassmann-Cayley algebra and Geometric Algebra and their applications in automated reasoning of classical geometries. It includes two of the three advanced invariant algebras Cayley bracket algebra, conformal geometric algebra, and null bracket algebra for highly efficient geometric computing. They form the theory of advanced invariants, and capture the intrinsic beauty of geometric languages and geometric computing.
| Code Generation for Geometric Algebra: Combining Geometric, Algebraic, and Software Abstractions for Scientific Computations (2016)
Ahmad Hosny Eid
Geometry is an essential part of almost every solution to problems in computer science and engineering. The process of manually creating geometry-enabled software for representing and processing geometric data is tedious and error-prone. The use of automatic code generators for such process is more suitable, especially for low-dimensional geometric problems. Such problems can be commonly found in computer graphics, computer vision, robotics, and many other fields of application. A mathematical algebraic system with special characteristics must be used as the base of the code transformations required for final code generation. Geometric Algebra (GA) is one of the most suitable algebraic systems for such task. This work describes the design and use of one such GA-based prototype code generation system: GMac.
| Treatise of Plane Geometry through Geometric Algebra (2007)
Ramon González Calvet
The Clifford-Grassman Geometric Algebra is applied to solve geometric equations, which are like the algebraic equations but containing geometric (vector) unknowns instead of real quantities. The unique way to solve these kind of equations is by using an associative algebra of vectors, the Clifford-Grassmann Geometric Algebra. Using the CGGA we have the freedom of transposition and isolation of any geometric unknown in a geometric equation. Then the typical problems and theorems of geometry, which have been hardly proved till now by means of synthetic methods, are more easily solved through the CGGA. On the other hand, the formulas obtained from the CGGA can immediately be written in Cartesian coordinates, giving a very useful service for programming computer applications, as in the case of the notable points of a triangle.
| Modern Mathematics and Applications in Computer Graphics and Vision (2014)
Presents a concise exposition of modern mathematical concepts, models and methods with applications in computer graphics, vision and machine learning. The compendium is organized in four parts: Algebra, Geometry, Topology, and Applications. One of the features is a unique treatment of tensor and manifold topics to make them easier for the students. All proofs are omitted to give an emphasis on the exposition of the concepts.
| 幾何学と代数系 Geometric Algebra (2014)
アメリカの物理学者ヘステネスを中心に提唱された「幾何学的代数」(geometric algebra) は，幾何学に古典的な代数系を対応させる手法であり，現在，物理学や工学のさまざまな分野で関心が寄せられている．本書は，この幾何学的代数の和書初となる入門書である．まず，背景をなすハミルトン代数，グラスマン代数，クリフォード代数を初歩からていねいに解説しているため，初学者でも自然に幾何学的代数の考え方を学ぶことができる．また，現代数学とのつながりも随所に見せることで，より深い理解が得られるようになっている．
| Exterior Algebras: Elementary Tribute to Grassmann's Ideas (2017)
Provides the theoretical basis for exterior computations. It first addresses the important question of constructing (pseudo)-Euclidian Grassmmann's algebras. Then, it shows how the latter can be used to treat a few basic, though significant, questions of linear algebra, such as co-linearity, determinant calculus, linear systems analyzing, volumes computations, invariant endomorphism considerations, skew-symmetric operator studies and decompositions, and Hodge conjugation, amongst others. Presents a self-contained guide that does not require any specific algebraic background. Includes numerous examples and direct applications that are suited for beginners.