Multilinear cayley factorization

Authors:
Neil L. White
Affiliations:
Department of Mathematics, University of Florida, USA Department of Mathematics, Institute for Mathematics and its Applications, USA
Venue:
Journal of Symbolic Computation
Year:
1991

Citing 6
Cited 15

On the application of Buchberger's algorithm to automated geometry theorem proving

Journal of Symbolic Computation
The algebraic geometry of motions of bar-and-body frameworks

SIAM Journal on Algebraic and Discrete Methods
On the synthetic factorization of projectively invariant polynomials

Journal of Symbolic Computation
The Dotted straightening algorithm

Journal of Symbolic Computation
Invariant-theoretic methods in scene analysis and structural mechanics

Journal of Symbolic Computation
Cayley Factorization

ISAAC '88 Proceedings of the International Symposium ISSAC'88 on Symbolic and Algebraic Computation

On the synthetic factorization of projectively invariant polynomials

Journal of Symbolic Computation
Invariant and geometric aspects of algebraic complexity theory I

Journal of Symbolic Computation
The Dotted straightening algorithm

Journal of Symbolic Computation
Invariant computations for analytic projective geometry

Journal of Symbolic Computation
Computational algebraic geometry of projective configurations

Journal of Symbolic Computation
Vectorial Equations Solving for Mechanical Geometry Theorem Proving

Journal of Automated Reasoning
An Application of Automatic Theorem Proving in Computer Vision

ADG '98 Proceedings of the Second International Workshop on Automated Deduction in Geometry
A Complex Change of Variables for Geometrical Reasoning

ADG '00 Revised Papers from the Third International Workshop on Automated Deduction in Geometry
Automated short proof generation for projective geometric theorems with Cayley and bracket algebras: I. incidence geometry

Journal of Symbolic Computation
Automated short proof generation for projective geometric theorems with Cayley and bracket algebras: II. conic geometry

Journal of Symbolic Computation
A recipe for symbolic geometric computing: long geometric product, BREEFS and Clifford factorization

Proceedings of the 2007 international symposium on Symbolic and algebraic computation
A symbolic approach to polyhedral scene analysis by parametric calotte propagation*

Robotica
Application of Grassmann-Cayley Algebra to Geometrical Interpretation of Parallel Robot Singularities

International Journal of Robotics Research
Polyhedral scene analysis combining parametric propagation with calotte analysis

IWMM'04/GIAE'04 Proceedings of the 6th international conference on Computer Algebra and Geometric Algebra with Applications
nD polyhedral scene reconstruction from single 2D line drawing by local propagation

ADG'04 Proceedings of the 5th international conference on Automated Deduction in Geometry

Quantified Score

Hi-index	0.01

Visualization

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. A Cayley factorization of a homogeneous bracket polynomial P is a Cayley algebra expression (using only the join and meet operations) which evaluates to P. We give an introduction to both Cayley algebra and bracket algebra for those readers not already familiar with them. The main result of this paper is an algorithm which solves the Cayley factorization problem in the important special case that P is multilinear.