Invariant computations for analytic projective geometry

DOI10.1016/S0747-7171(08)80119-8zbMath0756.68059MaRDI QIDQ1176391

Walter J. Whiteley

Publication date: 25 June 1992

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

zbMATH Keywords

symbolic computationsynthetic geometryinvariant language

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Computational aspects in algebraic geometry (14Q99) Projective analytic geometry (51N15)

Related Items

Automated short proof generation for projective geometric theorems with Cayley and bracket algebras. I: Incidence geometry. ⋮ On the synthetic factorization of projectively invariant polynomials ⋮ Affine bracket algebra theory and algorithms and their applications in mechanical theorem proving ⋮ Definable relations in finite-dimensional subspace lattices with involution ⋮ Cayley factorization and the area principle

Cites Work

• Some remarks on Hilbert's Nullstellensatz
• Gröbner bases and invariant theory
• On the application of Buchberger's algorithm to automated geometry theorem proving
• A matroid on hypergraphs, with applications in scene analysis and geometry
• Infinitesimal motions of a bipartite framework
• Multilinear Cayley factorization
• On the synthetic factorization of projectively invariant polynomials
• Some examples of the use of distances as coordinates for euclidean geometry
• Computational algebraic geometry of projective configurations
• Logic and invariant theory. IV: Invariants and syzygies in combinatorial geometry
• Logic and invariant theory. II: Homogeneous coordinates, the introduction of higher quantities, and structural geometry
• Rigidity and polarity. I: Statics of sheet structures
• Anneaux preordonnes
• Invariant theory, old and new
• The Algebraic Geometry of Stresses in Frameworks
• The Algebraic Geometry of Motions of Bar-and-Body Frameworks
• On the Foundations of Combinatorial Theory: IX Combinatorial Methods in Invariant Theory
• Logic and Invariant Theory III: Axiom Systems and Basic Syzygies
• On the Metamathematics of Rings and Integral Domains
• Logic and Invariant Theory. I: Invariant Theory of Projective Properties
• Proof theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item