The dotted straightening algorithm

DOI10.1016/S0747-7171(08)80116-2zbMath0733.15019MaRDI QIDQ810115

Tim McMillan, Neil L. White

Publication date: 1991

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

zbMATH Keywords

antisymmetricbracket polynomialdotted bracket expressiondotted straightening algorithm

Mathematics Subject Classification ID

Vector and tensor algebra, theory of invariants (15A72) Exterior algebra, Grassmann algebras (15A75)

Related Items

Cayley factorization and a straightening algorithm, Automated short proof generation for projective geometric theorems with Cayley and bracket algebras. I: Incidence geometry., Multilinear Cayley factorization, Invariants of sets of lines in projective 3-space

Cites Work

• Gröbner bases and invariant theory
• On the exterior calculus of invariant theory
• Multilinear Cayley factorization
• Invariant theory, Young bitableaux, and combinatorics
• Supersymmetric bracket algebra and invariant theory
• Symbolic method in invariant theory
• On the Foundations of Combinatorial Theory: IX Combinatorial Methods in Invariant Theory
• The Hook Graphs of the Symmetric Group
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item