Multilinear Cayley factorization

DOI10.1016/S0747-7171(08)80113-7zbMath0747.15009MaRDI QIDQ1176387

Neil L. White

Publication date: 25 June 1992

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

zbMATH Keywords

algorithm; atomic extensors; homogeneous bracket polynomial; multilinear Cayley factorization; primitive factor

Mathematics Subject Classification ID

68W30: Symbolic computation and algebraic computation

15A75: Exterior algebra, Grassmann algebras

Related Items

The dotted straightening algorithm, Cayley factorization and a straightening algorithm, On the synthetic factorization of projectively invariant polynomials, Invariant and geometric aspects of algebraic complexity theory. I, Invariant computations for analytic projective geometry, Computational algebraic geometry of projective configurations, Graphical operations on projective spaces, Arguesian identities in linear lattices, On the Cayley factorization of calotte conditions, Automated short proof generation for projective geometric theorems with Cayley and bracket algebras. I: Incidence geometry., Automated short proof generation for projective geometric theorems with Cayley and bracket algebras. II: Conic geometry., Geometric identities in lattice theory, Grassmann-Cayley algebra and robotics, Straightening Euclidean invariants, Mechanical theorem proving in projective geometry, Arguesian identities in the congruence variety of Abelian groups

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The dotted straightening algorithm
• Gröbner bases and invariant theory
• On the exterior calculus of invariant theory
• On the application of Buchberger's algorithm to automated geometry theorem proving
• Polytopal and nonpolytopal spheres. An algorithmic approach
• On the synthetic factorization of projectively invariant polynomials
• Invariant-theoretic methods in scene analysis and structural mechanics
• Some examples of the use of distances as coordinates for euclidean geometry
• The Algebraic Geometry of Stresses in Frameworks
• Symbolic method in invariant theory
• The Algebraic Geometry of Motions of Bar-and-Body Frameworks
• On the Foundations of Combinatorial Theory: IX Combinatorial Methods in Invariant Theory
• The Bracket Ring of a Combinatorial Geometry. I
• Multilinear Algebra