On the finding of final polynomials
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 3475463 (Why is no real title available?)
- scientific article; zbMATH DE number 3637614 (Why is no real title available?)
- scientific article; zbMATH DE number 4114647 (Why is no real title available?)
- Altshuler's sphere \(M^{10}_{425}\) is not polytopal
- An infinite family of minor-minimal nonrealizable 3-chirotopes
- Boundary Complexes of Convex Polytopes cannot Be Characterized Locally
- Computational synthetic geometry
- Computing final polynomials and final syzygies using Buchberger's Gröbner bases method
- Neighborly 4-Polytopes and Neighborly Combinatorial 3-Manifolds with Ten Vertices
- Neighborly polytopes
- Nonrealizability proofs in computational geometry
- Polytopal and nonpolytopal spheres. An algorithmic approach
- The classification of simplicial 3-spheres with nine vertices into polytopes and nonpolytopes
Cited in
(21)- Combinatorial obstructions to the lifting of weaving diagrams
- Abstract order type extension and new results on the rectilinear crossing number
- Cancellation patterns in automatic geometric theorem proving
- Arrangements of pseudocircles: on circularizability
- Mechanical theorem proving in projective geometry
- Realizability and inscribability for simplicial polytopes via nonlinear optimization
- Invariant theory-like theorems for matroids and oriented matroids
- A flag vector of a 3-sphere that is not the flag vector of a 4-polytope
- Complete enumeration of small realizable oriented matroids
- The geometry of gaussoids
- Nonrealizability proofs in computational geometry
- General non-realizability certificates for spheres with linear programming
- Spatial polyhedra without diagonals
- Algebraic algorithms for sampling from conditional distributions
- Automated short proof generation for projective geometric theorems with Cayley and bracket algebras. I: Incidence geometry.
- A SAT attack on Erdős-Szekeres numbers in \(\mathbb{R}^d\) and the empty hexagon theorem
- Complex psd-minimal polytopes in dimensions two and three
- Euclideaness and final polynomials in oriented matroid theory
- Enumerating neighborly polytopes and oriented matroids
- The complete enumeration of 4-polytopes and 3-spheres with nine vertices
- Faradžev Read-type enumeration of non-isomorphic CC systems
This page was built for publication: On the finding of final polynomials
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q584273)