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

algorithmatomic extensorshomogeneous bracket polynomialmultilinear Cayley factorizationprimitive factor

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Exterior algebra, Grassmann algebras (15A75)

Related Items

Algorithms for detecting dependencies and rigid subsystems for CAD, Straightening Euclidean invariants, Mechanical theorem proving in projective geometry, Cayley factorization and a straightening algorithm, 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., 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, Arguesian identities in the congruence variety of Abelian groups, Cayley factorization and the area principle, Definable relations in finite dimensional subspace lattices with involution. II. Quantifier-free and homogeneous descriptions, Graphical operations on projective spaces, Grassmann-Cayley algebra and robotics, Geometric identities in lattice theory, Arguesian identities in linear lattices, On the Cayley factorization of calotte conditions, A Pascal's theorem for rational normal curves, The dotted straightening algorithm

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