The following pages link to polymake (Q13478):
Displaying 50 items.
- The Minimum Evolution Problem in Phylogenetics: Polytopes, Linear Programming, and Interpretation (Q4627744) (← links)
- Geometry of $\nu $-Tamari lattices in types $A$ and $B$ (Q4645094) (← links)
- Construction Techniques for Cubical Complexes, Odd Cubical 4-Polytopes, and Prescribed Dual Manifolds (Q4663070) (← links)
- Solving Polynomial Systems via Truncated Normal Forms (Q4689237) (← links)
- Software integration and computer proofs (Q4790432) (← links)
- On the Monotone Upper Bound Problem (Q4818674) (← links)
- (Q4826730) (← links)
- Gröbner Techniques for Low-Degree Hilbert Stability (Q4915372) (← links)
- Mixture decompositions of exponential families using a decomposition of their sample spaces (Q4917828) (← links)
- Geometrical realisations of the simple permutoassociahedron by Minkowski sums (Q4988981) (← links)
- Tropical Lines on Cubic Surfaces (Q5028361) (← links)
- Real Tropical Hyperfaces by Patchworking in polymake (Q5039573) (← links)
- Hyperplane Arrangements in polymake (Q5041056) (← links)
- Polymake.jl: A New Interface to polymake (Q5041077) (← links)
- Formalizing the Face Lattice of Polyhedra (Q5049001) (← links)
- Period collapse in Ehrhart quasi-polynomials of \(\{1,3\}\)-graphs (Q5051472) (← links)
- The isospectral problem for flat tori from three perspectives (Q5055339) (← links)
- Tropicalized Quartics and Canonical Embeddings for Tropical Curves of Genus 3 (Q5068160) (← links)
- Short Presburger Arithmetic Is Hard (Q5073520) (← links)
- Essentials of Tropical Combinatorics (Q5073839) (← links)
- Toric Fano manifolds of dimension at most eight with positive second Chern characters (Q5076381) (← links)
- Topological Prismatoids and Small Simplicial Spheres of Large Diameter (Q5094480) (← links)
- Tropical Geometry (Q5118414) (← links)
- The Newton polytope of the discriminant of a quaternary cubic form (Q5140683) (← links)
- On realizability of lines on tropical cubic surfaces and the Brundu-Logar normal form (Q5140695) (← links)
- What Tropical Geometry Tells Us about the Complexity of Linear Programming (Q5150211) (← links)
- Uniqueness of Nonnegative Matrix Factorizations by Rigidity Theory (Q5150834) (← links)
- Decomposable Pauli diagonal maps and tensor squares of qubit maps (Q5154267) (← links)
- simpcomp (Q5175272) (← links)
- Defect polytopes and counter-examples with polymake (Q5175314) (← links)
- Examples and Exercises (Q5176427) (← links)
- On the Convergence to Stationary Points of Deterministic and Randomized Feasible Descent Directions Methods (Q5210513) (← links)
- Order-chain polytopes (Q5225041) (← links)
- Directed acyclic decomposition of Kuramoto equations (Q5242040) (← links)
- (Q5251430) (← links)
- When Does a Mixture of Products Contain a Product of Mixtures? (Q5251565) (← links)
- On Lower Bounds for the Matching Number of Subcubic Graphs (Q5272918) (← links)
- Exact algorithms and software in optimization and polyhedral computation (Q5301640) (← links)
- Convexity in Tree Spaces (Q5357960) (← links)
- (Q5358292) (← links)
- DEGREE CONES AND MONOMIAL BASES OF LIE ALGEBRAS AND QUANTUM GROUPS (Q5369111) (← links)
- Schottky algorithms: Classical meets tropical (Q5380105) (← links)
- Higher-Level Conformal Blocks Divisors on (Q5398462) (← links)
- The Newton polytope of the implicit equation (Q5421080) (← links)
- (Q5432051) (← links)
- Affine Buildings and Tropical Convexity (Q5434827) (← links)
- (Q5441386) (← links)
- Parametric inference for biological sequence analysis (Q5460861) (← links)
- (Q5701854) (← links)
- Generation of Oriented Matroids Using Satisfiability Solvers (Q5747814) (← links)
