Automated short proof generation for projective geometric theorems with Cayley and bracket algebras. II: Conic geometry.

DOI10.1016/S0747-7171(03)00066-XzbMath1047.03011MaRDI QIDQ1426144

Yihong Wu, Hong-Bo Li

Publication date: 14 March 2004

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

zbMATH Keywords

automated theorem provingCayley algebraconic geometrybracket algebra

Mathematics Subject Classification ID

Computational aspects related to convexity (52B55) Mechanization of proofs and logical operations (03B35)

Related Items

Automated short proof generation for projective geometric theorems with Cayley and bracket algebras. I: Incidence geometry. ⋮ Affine bracket algebra theory and algorithms and their applications in mechanical theorem proving

Cites Work

• On the exterior calculus of invariant theory
• Elimination methods
• Projective geometry with Clifford algebra
• 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
• Computational synthetic geometry
• Automated short proof generation for projective geometric theorems with Cayley and bracket algebras. I: Incidence geometry.
• Mechanical theorem proving in projective geometry
• Realization spaces of polytopes
• On the Foundations of Combinatorial Theory: IX Combinatorial Methods in Invariant Theory
• The Bracket Ring of a Combinatorial Geometry. I
• Machine Proofs in Geometry
• Geometry. I, II. Transl. from the French by M. Cole and S. Levy
• Algorithms in invariant theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item