Invariant computations for analytic projective geometry
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 4181339 (Why is no real title available?)
- scientific article; zbMATH DE number 3151727 (Why is no real title available?)
- scientific article; zbMATH DE number 3846996 (Why is no real title available?)
- scientific article; zbMATH DE number 3851896 (Why is no real title available?)
- scientific article; zbMATH DE number 3868113 (Why is no real title available?)
- scientific article; zbMATH DE number 4029737 (Why is no real title available?)
- scientific article; zbMATH DE number 17666 (Why is no real title available?)
- scientific article; zbMATH DE number 3470697 (Why is no real title available?)
- scientific article; zbMATH DE number 3995865 (Why is no real title available?)
- scientific article; zbMATH DE number 3008446 (Why is no real title available?)
- scientific article; zbMATH DE number 3249766 (Why is no real title available?)
- scientific article; zbMATH DE number 3392414 (Why is no real title available?)
- scientific article; zbMATH DE number 3068536 (Why is no real title available?)
- scientific article; zbMATH DE number 3078149 (Why is no real title available?)
- A matroid on hypergraphs, with applications in scene analysis and geometry
- Anneaux preordonnes
- Computational algebraic geometry of projective configurations
- Gröbner bases and invariant theory
- Infinitesimal motions of a bipartite framework
- Invariant theory, old and new
- Logic and Invariant Theory III: Axiom Systems and Basic Syzygies
- Logic and Invariant Theory. I: Invariant Theory of Projective Properties
- Logic and invariant theory. II: Homogeneous coordinates, the introduction of higher quantities, and structural geometry
- Logic and invariant theory. IV: Invariants and syzygies in combinatorial geometry
- Multilinear Cayley factorization
- On the Foundations of Combinatorial Theory: IX Combinatorial Methods in Invariant Theory
- On the Metamathematics of Rings and Integral Domains
- On the application of Buchberger's algorithm to automated geometry theorem proving
- On the synthetic factorization of projectively invariant polynomials
- Proof theory
- Rigidity and polarity. I: Statics of sheet structures
- Some examples of the use of distances as coordinates for euclidean geometry
- Some remarks on Hilbert's Nullstellensatz
- The Algebraic Geometry of Motions of Bar-and-Body Frameworks
- The Algebraic Geometry of Stresses in Frameworks
Cited in
(11)- Cayley factorization and the area principle
- Definable relations in finite-dimensional subspace lattices with involution
- Symbolic geometric reasoning with advanced invariant algebras
- On geometric theorem proving with null geometric algebra
- On the synthetic factorization of projectively invariant polynomials
- Affine bracket algebra theory and algorithms and their applications in mechanical theorem proving
- A geometric approach for the theory and applications of 3D projective invariants
- Projectively invariant classes of geometric continuity for CAGD
- Automated short proof generation for projective geometric theorems with Cayley and bracket algebras. I: Incidence geometry.
- scientific article; zbMATH DE number 194382 (Why is no real title available?)
- scientific article; zbMATH DE number 66693 (Why is no real title available?)
This page was built for publication: Invariant computations for analytic projective geometry
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1176391)
