Tropical computations in \texttt{polymake}
From MaRDI portal
Publication:4556580
DOI10.1007/978-3-319-70566-8_14zbMATH Open1400.14010arXiv1612.02581OpenAlexW2606357649MaRDI QIDQ4556580FDOQ4556580
Authors: Simon Hampe, Michael Joswig 
Publication date: 16 November 2018
Published in: Algorithmic and Experimental Methods in Algebra, Geometry, and Number Theory (Search for Journal in Brave)
Abstract: We give an overview of recently implemented polymake features for computations in tropical geometry. The main focus is on explicit examples rather than technical explanations. Our computations employ tropical hypersurfaces, moduli of tropical plane curves, tropical linear spaces and Grassmannians, lines on tropical cubic surfaces as well as intersection rings of matroids
Full work available at URL: https://arxiv.org/abs/1612.02581
Recommendations
Software, source code, etc. for problems pertaining to convex and discrete geometry (52-04) Computational aspects in algebraic geometry (14Q99) Software, source code, etc. for problems pertaining to algebraic geometry (14-04)
Cites Work
- Moduli of tropical plane curves
- Tropical convexity
- On nondegeneracy of curves
- Smooth tropical surfaces with infinitely many tropical lines
- a-tint: a polymake extension for algorithmic tropical intersection theory
- Obstructions to Lifting Tropical Curves in Surfaces in 3-Space
- Title not available (Why is that?)
- Obstructions to approximating tropical curves in surfaces via intersection theory
- On the tropical Torelli map
- Triangulations. Structures for algorithms and applications
- Title not available (Why is that?)
- Combinatorial optimization. Polyhedra and efficiency (3 volumes)
- Skeletons and tropicalizations
- Enumerative tropical algebraic geometry in ℝ²
- Equations of tropical varieties
- The Bergman complex of a matroid and phylogenetic trees
- Tropical Convex Hull Computations
- The tropical Grassmannian
- Title not available (Why is that?)
- Theory of Matroids
- First steps in tropical intersection theory
- Algorithms in invariant theory
- Stable intersections of tropical varieties
- Chow quotients of Grassmannian I
- How to draw tropical planes
- Computing tropical linear spaces
- Intersection theory on toric varieties
- Tropicalization of del Pezzo surfaces
- A Tropical Intersection Product in Matroidal Fans
- Tropical Linear Spaces
- Valuated matroids
- The diagonal of tropical matroid varieties and cycle intersections
- The intersection ring of matroids
- Combinatorial geometries, convex polyhedra, and Schubert cells
- On the facets of the secondary polytope
- Finding all closed sets: A general approach
- The realizability of curves in a tropical plane
- Flexible object hierarchies in polymake. (Extended abstract)
- Embeddings of small generalized polygons
- Tropical cycles and Chow polytopes
- Computing tropical varieties over fields with valuation using classical standard basis techniques
- The Orlik-Solomon algebra and the Bergman fan of a matroid
- Linear Programs and Convex Hulls Over Fields of Puiseux Fractions
Cited In (20)
- On the frontiers of polynomial computations in tropical geometry
- Computing tropical points and tropical links
- Moduli spaces of codimension-one subspaces in a linear variety and their tropicalization
- The Schläfli Fan
- Cellular sheaf cohomology in polymake
- Tropicalized quartics and canonical embeddings for tropical curves of genus 3
- Generalised cone complexes and tropical moduli in polymake
- a-tint: a polymake extension for algorithmic tropical intersection theory
- A framework for generalized tropical homotopy continuation
- Massively parallel computation of tropical varieties, their positive part, and tropical Grassmannians
- Numerical software to compute Newton polytopes and tropical membership
- Computing tropical linear spaces
- Tropical compactification via Ganter's algorithm
- Tropical Convex Hull Computations
- libtropicon: a scalable library for computing intersection points of generic tropical hyper-surfaces
- Tropical Lines on Cubic Surfaces
- Enumerating polytropes
- On realizability of lines on tropical cubic surfaces and the Brundu-Logar normal form
- Tropical Implicitization and Mixed Fiber Polytopes
- Computing Tropical Curves via Homotopy Continuation
Uses Software
This page was built for publication: Tropical computations in \texttt{polymake}
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4556580)
