Related papers: Symbolic Computations in Higher Dimensional Cliffo…
Cylindrical Algebraic Decomposition (CAD) has long been one of the most important algorithms within Symbolic Computation, as a tool to perform quantifier elimination in first order logic over the reals. More recently it is finding…
We study the notion of $\Gamma$-graded commutative algebra for an arbitrary abelian group $\Gamma$. The main examples are the Clifford algebras already treated by Albuquerque and Majid. We prove that the Clifford algebras are the only…
We introduce the \verb|Macaulay2| package \verb|RepHomology| for the computations of representation homology of certain spaces. The main methods implement computing the representation homology of surfaces (with group coefficients, and…
Computer algebra algorithms are developed for evaluating the coefficients in Airy-type asymptotic expansions that are obtained from integrals with a large parameter. The coefficients are defined from recursive schemes obtained from…
We introduce the notion of rank of multivector in Clifford geometric algebras of arbitrary dimension without using the corresponding matrix representations and using only geometric algebra operations. We use the concepts of characteristic…
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…
A Clifford algebra over the binary field 2 = {0,1} is a second-order classical logic that is substantially richer than Boolean algebra. We use it as a bridge to a Clifford algebraic quantum logic that is richer than the usual Hilbert space…
Cadabra is a new computer algebra system designed specifically for the solution of problems encountered in field theory. It has extensive functionality for tensor polynomial simplification taking care of Bianchi and Schouten identities, for…
It can be shown that it is possible to find a representation of Hecke algebras within Clifford algebras of multivectors. These Clifford algebras possess a unique gradation and a possibly non-symmetric bilinear form. Hecke algebra…
We obtain inductive and enumerative formulas for the multiplicities of the weights of the spin module for the Clifford algebra of a Levi subalgebra in a complex semisimple Lie algebra. Our formulas involve only matrices and tableaux, and…
In the past two decades, some major efforts have been made to reduce exact (e.g. integer, rational, polynomial) linear algebra problems to matrix multiplication in order to provide algorithms with optimal asymptotic complexity. To provide…
We introduce the umbral calculus formalism for hypercomplex variables starting from the fact that the algebra of multivariate polynomials $\BR[\underline{x}]$ shall be described in terms of the generators of the Weyl-Heisenberg algebra. The…
This paper presents a general and systematic discussion of various symbolic representations of iterated maps through subshifts. We give a unified model for all continuous maps on a metric space, by representing a map through a general…
Contemporary large models often exhibit behaviors suggesting the presence of low-level primitives that compose into modules with richer functionality, but these fundamental building blocks remain poorly understood. We investigate this…
We discuss how transformations in a three dimensional euclidean space can be described in terms of the Clifford algebra $\mathcal{C}\ell_{3,3}$ of the quadratic space $\mathbb{R}^{3,3}$. We show that this algebra describes in a unified way…
The main purpose of this work is the construction of an analytic functional calculus for Clifford operators, which are operators acting on certain modules over Clifford algebras. Unlike in some preceding works by other authors, we use a…
Existing computer algebra packages do not fully support quantum mechanics calculations in Dirac's notation. I present the foundation for building such support: a mathematical system for the symbolic manipulation of expressions used in the…
We propose a new numerical algorithm for computing the tensor rank decomposition or canonical polyadic decomposition of higher-order tensors subject to a rank and genericity constraint. Reformulating this computational problem as a system…
Cylindrical algebraic decomposition (CAD) is an important tool for the investigation of semi-algebraic sets, with applications in algebraic geometry and beyond. We have previously reported on an implementation of CAD in Maple which offers…
General braided counterparts of classical Clifford algebras are introduced and investigated. Braided Clifford algebras are defined as Chevalley-Kahler deformations of the corresponding braided exterior algebras. Analogs of the spinor…