The following pages link to On the finding of final polynomials (Q584273):
Displaying 19 items.
- The complete enumeration of 4-polytopes and 3-spheres with nine vertices (Q161299) (← links)
- Combinatorial obstructions to the lifting of weaving diagrams (Q688013) (← links)
- Abstract order type extension and new results on the rectilinear crossing number (Q870421) (← links)
- Nonrealizability proofs in computational geometry (Q912857) (← links)
- Euclideaness and final polynomials in oriented matroid theory (Q1311016) (← links)
- Spatial polyhedra without diagonals (Q1327516) (← links)
- Automated short proof generation for projective geometric theorems with Cayley and bracket algebras. I: Incidence geometry. (Q1426143) (← links)
- Realizability and inscribability for simplicial polytopes via nonlinear optimization (Q1683692) (← links)
- Algebraic algorithms for sampling from conditional distributions (Q1807063) (← links)
- Mechanical theorem proving in projective geometry (Q1924746) (← links)
- Complete enumeration of small realizable oriented matroids (Q1943649) (← links)
- General non-realizability certificates for spheres with linear programming (Q2156365) (← links)
- Faradžev Read-type enumeration of non-isomorphic CC systems (Q2230397) (← links)
- The geometry of gaussoids (Q2317379) (← links)
- A FLAG VECTOR OF A 3‐SPHERE THAT IS NOT THE FLAG VECTOR OF A 4‐POLYTOPE (Q2970178) (← links)
- Cancellation Patterns in Automatic Geometric Theorem Proving (Q3102732) (← links)
- Enumerating Neighborly Polytopes and Oriented Matroids (Q3194584) (← links)
- Complex psd-minimal polytopes in dimensions two and three (Q6089230) (← links)
- (Q6179339) (← links)
