Straightening Euclidean invariants

DOI10.1007/BF01531325zbMath0855.68094MaRDI QIDQ1924744

John P. Dalbec

Publication date: 14 January 1997

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

zbMATH Keywords

automated geometry theorem provingGröbner basis method

Mathematics Subject Classification ID

Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10)

Cites Work

• Unnamed Item
• Gröbner bases and invariant theory
• The fundamental theorems of vector invariants
• Multilinear Cayley factorization
• On the synthetic factorization of projectively invariant polynomials
• Some examples of the use of distances as coordinates for euclidean geometry
• Invariant theory, Young bitableaux, and combinatorics
• Gröbner bases of ideals of minors of a symmetric matrix
• Stanley decompositions of the Bracket ring.
• Higher-order syzygies for the bracket algebra and for the ring of coordinates of the Grassmanian.