Abstract
An important problem in computer-aided geometric reasoning is to automatically find geometric interpretations for algebraic expressions. For projective geometry this question can be reduced to the Cayley factorization problem. Before describing this problem, we give a brief introduction to the Cayley algebra for those readers not already familiar with it. The Cayley algebra is essentially the same as the classical Grassmann algebra. This algebra provides projectively invariant algebraic interpretations of synthetic geometric statements. A more thorough exposition may be found in Barnabei et al. (1985), Doubilet et al. (1974), or Rota & Stein (1976).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Barnabei, M., Brini, A., Rota, G.-C. (1985). On the exterior calculus of invariant theory. J. Algebra 96, 120–160.
Bokowski, J., Sturmfels, B. (1987). Polytopal and nonpolytopal spheres: an algorithmic approach. Israel J. Math. 57, 257–271.
Chou, S., Schelter, W.F., Yang, J. (1987). Characteristic sets and Gröbner bases in geometry theorem proving. In:(H. Crapo, ed.) Computer-aided geometric reasoning, pp. 29–56. INRIA Rocquencourt, France.
Crapo, H. (1991). Invariant-theoretic methods in scene analysis and structural mechanics, J. Symbolic Computation, to appear.
Désarménien, J., Kung, J. P. S., Rota, G.-C. (1978). Invariant theory, Young bitableaux, and combinatorics. Advances in Math. 27, 63–92.
Doubilet, P., Rota, G.-C., Stein, J. (1974). On the foundations of combinatorial theory IX: Combinatorial methods in invariant theory, Studies in Applied Math. 57, 185–216.
Grosshans, F., Rota, G.-C., Stein, J. (1987). Invariant theory and superalgebras, C.B.M.S. Regional Conference Series, No. 69, American Math. Society.
Havel, T. (1991). The use of distances as coordinates in computer-aided proofs of theorems in Euclidean geometry, J. Symbolic Computation, to appear.
Kutzler, B., Stifter, S. (1986). On the application of Buchberger’s algorithm to automated geometry theorem proving, J. Symbolic Computation 2, 389–398.
McMillan, T. (1990). Invariants of Antisymmetric Tensors. Ph.D. thesis, University of Florida, Gainesville, FL, in preparation.
McMillan, T., White, N. (1991). The dotted straightening algorithm, J. Symbolic Computation, to appear.
Rota, G.-C., Stein, J. (1976). Applications of Cayley algebras, Accademia Nazionale dei Lincei atti dei Convegni Lincei 17, Colloquio Internazionale sulle Teorie Combinatoire, Tomo 2, Roma.
Rota, G.-C., Stein, J. (1986). Symbolic method in invariant theory, Proc. Nat. Acad. Sci. U.S.A., Mathematics 83, 844–847.
Rota, G.-C., Stein, J., Wang, R. (to appear). Supersymmetric algebra, supersymmetric spaces, and invariant theory.
Sturmfels, B., Whiteley, W. (1991). On the synthetic factorization of projectively invariant polynomials, J. Symbolic Computation, to appear.
White, N., (1991). Multilinear Cayley factorization, J. Symbolic Computation, to appear.
White, N., Whiteley, W. (1983). The algebraic geometry of stresses in frameworks. S.I.A.M. J. Algebraic and Discrete Methods 4, 481–511.
White, N., Whiteley, W. (1987). The algebraic geometry of motions of bar-and-body frameworks, S.I.A.M. J. Algebraic and Discrete Methods 8, 1–32.
Whiteley, W. (1990). The geometry of bivariate C<Stack><Subscript>2</Subscript><Superscript>1</Superscript></Stack>-splines, preprint.
Young, A. (1928). On quantitative substitutional analysis, (3rd paper), Proc. London Math Soc., Ser. 2, 28, 255–292.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1990 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
White, N.L. (1990). Cayley Factorization and a Straightening Algorithm. In: Cattaneo, G.M.P., Strickland, E. (eds) Topics in Computational Algebra. Springer, Dordrecht. https://doi.org/10.1007/978-94-011-3424-8_7
Download citation
DOI: https://doi.org/10.1007/978-94-011-3424-8_7
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-010-5514-7
Online ISBN: 978-94-011-3424-8
eBook Packages: Springer Book Archive