𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On the synthetic factorization of projectively invariant polynomials

✍ Scribed by Bernd Sturmfels; Walter Whiteley


Publisher
Elsevier Science
Year
1991
Tongue
English
Weight
759 KB
Volume
11
Category
Article
ISSN
0747-7171

No coin nor oath required. For personal study only.

✦ Synopsis


We prove that, after multiplication with a suitable monomial, every homogeneous bracket polynomial of rank r > 3 can be factored into a meet and join expression in the Cayley algebra. The main tool in our construction is an explicit algorithm for rewriting polynomial functions in terms of synthetic constructions in projective geometry. We also discuss applications of Cayley factorization to automated geometry theorem proving.


πŸ“œ SIMILAR VOLUMES


On factorization of matrix polynomials
✍ J. Maroulas; P. Psarrakos πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 106 KB
On the number of invariant polynomials o
✍ Enide Andrade Martins; Fernando C. Silva πŸ“‚ Article πŸ“… 1997 πŸ› Elsevier Science 🌐 English βš– 534 KB

We study the possible numbers of noneonstant invariant polynomials of the matrix commutator XA -AX, when X varies.