
Gfan
 Referenced in 113 articles
[sw04698]
 Gröbner bases, initial ideals and tropical geometry. The full list of commands can be found...

polymake
 Referenced in 297 articles
[sw00724]
 open source software for research in polyhedral geometry. It deals with polytopes, polyhedra and fans ... well as simplicial complexes, matroids, graphs, tropical hypersurfaces, and other objects. Supported platforms include various...

TropLi
 Referenced in 18 articles
[sw10180]
 making some computational applications of tropical geometry now viable. Our C++ implementation, called TropLi...

tropical.lib
 Referenced in 10 articles
[sw10839]
 library for certain computations concerned with tropical geometry...

triangulation
 Referenced in 5 articles
[sw10357]
 intractable. It is faster than tropical geometry software up to dimension 5 or 6. Hashing...

cellularSheaves
 Referenced in 3 articles
[sw25131]
 summarize some results from toric and tropical geometry linking cellular sheaf cohomologies to cohomologies ... extension with examples from toric and tropical geometry...

polyDB
 Referenced in 3 articles
[sw26610]
 lattice polytopes, combinatorial polytopes, matroids and tropical geometry. In this short note we introduce...

atint
 Referenced in 11 articles
[sw08418]
 intersection products on tropical cycles can actually be computed using polyhedral geometry. The main focus ... much more efficient way of computing certain tropical cycles. The algorithms discussed here have been...

tropicalNewton
 Referenced in 1 article
[sw27179]
 Singular library tropicalNewton: Computations in Tropical Geometry using Newton Polygon methods. This libraries contains algorithms ... computing: nontrivial points on tropical varieties, zerodimensional tropical varieties, onecodimensional links...

realizationMatroids
 Referenced in 1 article
[sw19075]
 realizability questions on tropical curves. In tropical geometry, one question to ask is the following ... which is set theoretically contained in the tropicalization trop(Y) of an algebraic variety...

libtropicon
 Referenced in 2 articles
[sw25573]
 generic tropical hypersurfaces is a fundamental problem in computational algebraic geometry. An efficient algorithm ... many higher level algorithms for studying tropical varieties, computing mixed volume, enumerating mixed cells, constructing ... library for computing intersection points of generic tropical hypersurfaces that provides a unified framework ... existing ecosystem of software in computational algebraic geometry...

gfanlib
 Referenced in 6 articles
[sw15679]
 Singular that enables basic features of convex geometry through an interface to Gfanlib. It contains ... computing Gröbner fans, Gröbner complexes and tropical varieties. For example, given a cone by inequalities...

CASA
 Referenced in 96 articles
[sw00108]
 CASA is a specialpurpose system for computational...

cdd
 Referenced in 110 articles
[sw00114]
 The program cdd+ (cdd, respectively) is a C...

Cinderella
 Referenced in 151 articles
[sw00127]
 An Interactive Geometry Software. Besides support for dynamic...

CoCoA
 Referenced in 631 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

DEMiCs
 Referenced in 21 articles
[sw00196]
 DEMiCs is a software package written in C...

FGb
 Referenced in 242 articles
[sw00286]
 FGb/Gb libraryGb is a program (191 420 lines...

GAP
 Referenced in 2876 articles
[sw00320]
 GAP is a system for computational discrete algebra...